Stem advanc$ (all stems)

344 papers:

CASE-2015-Malik #composition #verification

Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.

DocEng-2015-WidlocherBLMR #information retrieval

Combining Advanced Information Retrieval and Text-Mining for Digital Humanities (AW, NB, JML, YM, JR), pp. 157–166.

ICSME-2015-Hegedus #evolution #metric #quality #roadmap

Advances in software product quality measurement and its applications in software evolution (PH), pp. 590–593.

CHI-2015-AmmaKBS #interface

Advancing Muscle-Computer Interfaces with High-Density Electromyography (CA, TK, JB, TS), pp. 929–938.

CHI-2015-KnavingWFB #comprehension #design #motivation

Flow is Not Enough: Understanding the Needs of Advanced Amateur Runners to Design Motivation Technology (KK, PW, MF, SB), pp. 2013–2022.

HIMI-IKD-2015-YamamotoYKTK

Proposal of Advance Care Planning Support System (SY, TY, CK, MT, TK), pp. 560–568.

ICEIS-v3-2015-BauerBTR #analysis #flexibility #maintenance #repository

A SOA Repository with Advanced Analysis Capabilities — Improving the Maintenance and Flexibility of Service-Oriented Applications (TB, SB, JT, MR), pp. 238–248.

ECIR-2015-Martinez-Alvarez #information management #named #realtime

Signal: Advanced Real-Time Information Filtering (MMA, UK, WH, MP), pp. 793–796.

SIGIR-2015-ChuklinMR #information retrieval #modelling #tutorial

Advanced Click Models and their Applications to IR: SIGIR 2015 Tutorial (AC, IM, MdR), pp. 1111–1112.

SAC-2015-TudorAP #framework

Harnessing the unknown in advanced metering infrastructure traffic (VT, MA, MP), pp. 2204–2211.

SLE-2015-BousseCCGB #debugging #performance

Supporting efficient and advanced omniscient debugging for xDSMLs (EB, JC, BC, JGG, BB), pp. 137–148.

ICLP-2015-Nys #deduction #roadmap

Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN).

WICSA-2014-HarperD #agile #architecture #data analysis

Agile Software Architecture in Advanced Data Analytics (KEH, AD), pp. 243–246.

CASE-2014-AfaghaniA #concurrent #online

Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands (AYA, YA), pp. 1244–1251.

CASE-2014-YenLLKWH #in the cloud #industrial #network

Advanced manufacturing solution to industry 4.0 trend through sensing network and Cloud Computing technologies (CTY, YCL, CCL, CCK, WBW, YRH), pp. 1150–1152.

CASE-2014-YugmaBDV #bibliography #integration #process #scheduling

Integration of scheduling and advanced process control in semiconductor manufacturing: review and outlook (CY, JB, SDP, PV), pp. 93–98.

DAC-2014-HuangW #estimation #multi

Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects (RHMH, CHPW), p. 6.

DAC-2014-ReimannGTCGUWEA #architecture #integration

Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures (FR, MG, JT, AC, LRG, DU, HJW, PE, UA), p. 9.

DAC-2014-TsoutsosKM #design #hardware

Advanced Techniques for Designing Stealthy Hardware Trojans (NGT, CK, MM), p. 4.

DATE-2014-AbeleinCEGRGRTUW #architecture #integration

Non-intrusive integration of advanced diagnosis features in automotive E/E-architectures (UA, AC, PE, MG, FR, LRG, TR, JT, DU, HJW), pp. 1–6.

DATE-2014-BoettcherAEGR #architecture

Advanced SIMD: Extending the reach of contemporary SIMD architectures (MB, BMAH, ME, GG, AR), pp. 1–4.

DATE-2014-DijkR #protocol

Protocol attacks on advanced PUF protocols and countermeasures (MvD, UR), pp. 1–6.

DATE-2014-GaillardonAZM #design

Advanced system on a chip design based on controllable-polarity FETs (PEG, LGA, JZ, GDM), pp. 1–6.

DATE-2014-Kreupl

Advancing CMOS with carbon electronics (FK), pp. 1–6.

SIGMOD-2014-HuaiCGHHOPYL0

Major technical advancements in apache hive (YH, AC, AG, GH, ENH, OO, JP, YY, RL, XZ), pp. 1235–1246.

VLDB-2014-BrunoKW #distributed #scalability

Advanced Join Strategies for Large-Scale Distributed Computation (NB, YK, MCW), pp. 1484–1495.

VLDB-2014-TozunAAM #named #transaction

ADDICT: Advanced Instruction Chasing for Transactions (PT, IA, AA, AM), pp. 1893–1904.

VLDB-2014-WoodsIA #named #sql

Ibex — An Intelligent Storage Engine with Support for Advanced SQL Off-loading (LW, ZI, GA), pp. 963–974.

ITiCSE-2014-Marttila-KontioKH #data analysis #education #student

Advanced data analytics education for students and companies (MMK, MK, VH), pp. 249–254.

HIMI-AS-2014-TerwilligerIVL #interface

Advancement and Application of Unmanned Aerial System Human-Machine-Interface (HMI) Technology (BAT, DCI, DAV, DL), pp. 273–283.

ICEIS-v1-2014-DominguezAERLE #data mining #fuzzy #logic #mining #roadmap #using

Advances in the Decision Making for Treatments of Chronic Patients Using Fuzzy Logic and Data Mining Techniques (MD, JA, JGE, IMR, JMLS, MJE), pp. 325–330.

KDD-2014-TangTL #future of #recommendation #social #social media

Recommendation in social media: recent advances and new frontiers (JT, JT, HL), p. 1977.

KDD-2014-ZhengZLJXLSZLTLDLW #data mining #mining #optimisation #process

Applying data mining techniques to address critical process optimization needs in advanced manufacturing (LZ, CZ, LL, YJ, WX, JL, CS, WZ, HL, LT, TL, BD, ML, PW), pp. 1739–1748.

SAC-2014-GomesE #adaptation #classification #data type #named #social

SAE2: advances on the social adaptive ensemble classifier for data streams (HMG, FE), pp. 798–804.

ICLP-J-2014-HoosLS #algorithm #programming #set

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.

ICST-2014-BardinKC #execution #performance #symbolic computation #test coverage

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria (SB, NK, FC), pp. 173–182.

CASE-2013-CecilGCS #collaboration #framework #generative

A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.

CASE-2013-HungLHHYC #development #industrial

Development of an advanced manufacturing cloud for machine tool industry based on AVM technology (MHH, YCL, HCH, MHH, HCY, FTC), pp. 189–194.

DAC-2013-MallikZLCBBBCRBMV #analysis #evaluation #framework #named

TEASE: a systematic analysis framework for early evaluation of FinFET-based advanced technology nodes (AM, PZ, TTL, BC, BB, PRDB, RB, KC, JR, MB, AM, DV), p. 6.

DATE-2013-DiversiBTBB #identification

SCC thermal model identification via advanced bias-compensated least-squares (RD, AB, AT, FB, LB), pp. 230–235.

DATE-2013-KavousianosC #testing

Testing for SoCs with advanced static and dynamic power-management capabilities (XK, KC), pp. 737–742.

DATE-2013-YakovlevVR #industrial #logic #roadmap #tool support

Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.

SIGMOD-2013-BailisVFHS #consistency #data transformation #metric

PBS at work: advancing data management with consistency metrics (PB, SV, MJF, JMH, IS), pp. 1113–1116.

CSEET-2013-Jarzabek #design #education

Teaching advanced software design in team-based project course (SJ), pp. 31–40.

TACAS-2013-CranenGKSVWW #bibliography #tool support

An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.

ICALP-v2-2013-Albers #problem #scheduling

Recent Advances for a Classical Scheduling Problem (SA), pp. 4–14.

HCI-UC-2013-HsiehH #interface

The Effect of Information Quantity on Cbp Interface in the Advanced Nuclear Power Plant (MCH, SLH), pp. 166–173.

HIMI-HSM-2013-AndersenKM

NFC Provided User Friendliness for Technologically Advanced Services (AA, RK, AME), pp. 337–346.

KDD-2013-KermanyMBNM #analysis #framework

Analysis of advanced meter infrastructure data of water consumption in apartment buildings (EK, HM, DB, YN, HM), pp. 1159–1167.

KDD-2013-NishimuraU #algorithm #clustering #graph

Restreaming graph partitioning: simple versatile algorithms for advanced balancing (JN, JU), pp. 1106–1114.

POPL-2013-MayrC #automaton

Advanced automata minimization (RM, LC), pp. 63–74.

SAC-2013-AraujoGMSAB #approach #composition #feature model #modelling

Advanced modularity for building SPL feature models: a model-driven approach (JA, MG, AMDM, IS, VA, ELAB), pp. 1246–1253.

HPDC-2013-CuiBLD #optimisation #performance

Virtual TCP offload: optimizing ethernet overlay performance on advanced interconnects (ZC, PGB, JRL, PAD), pp. 49–60.

ICLP-J-2013-BusoniuOPST #debugging #ide #named #programming

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support (PAB, JO, JP, PS, HT), pp. 657–673.

QoSA-2012-Barnes #architecture #case study #evolution #multi

NASA’s advanced multimission operations system: a case study in software architecture evolution (JMB), pp. 3–12.

DAC-2012-GuoK #concurrent #detection #encryption #fault #standard

Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.

DATE-2012-JongheMGMTS #modelling #roadmap #testing #verification

Advances in variation-aware modeling, verification, and testing of analog ICs (DdJ, EM, GGEG, TM, BT, HGDS), pp. 1615–1620.

DATE-2012-MarinissenVGHRMB #detection #process

EDA solutions to new-defect detection in advanced process technologies (EJM, GV, SKG, FH, JR, NM, SB), pp. 123–128.

DATE-2012-Pyl #perspective #research

Research and innovation on Advanced Computing — an EU perspective (TVdP), p. 591.

DATE-2012-ShoaibJV

Enabling advanced inference on sensor nodes through direct use of compressively-sensed signals (MS, NKJ, NV), pp. 437–442.

SIGMOD-2012-ZhouBL #clustering #distributed

Advanced partitioning techniques for massively distributed computation (JZ, NB, WL), pp. 13–24.

VLDB-2012-LaptevZZ #pipes and filters

Early Accurate Results for Advanced Analytics on MapReduce (NL, KZ, CZ), pp. 1028–1039.

ITiCSE-2012-BaghdadiAR #case study #distance #learning #safety #tool support

Applying advanced technology tools in distance learning: case study: traffic data and road safety (MB, KA, JR), p. 389.

ITiCSE-2012-MeyerW #lessons learnt #programming

Programming studio: advances and lessons learned (CM, MW), p. 369.

IFL-2012-ReichNR #lazy evaluation #roadmap

Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.

ICEIS-J-2012-SilcherDMM12a #lifecycle

Advanced Product Lifecycle Management by Introducing Domain-Specific Service Buses (SS, MD, JM, BM), pp. 92–107.

ICPR-2012-Ohtsuka #analysis #detection

Advanced ridge flux analysis for fingerprint minutiae detection (TO), pp. 1225–1228.

SIGIR-2012-CarteretteKY #development #evaluation #metric

Advances on the development of evaluation measures (BC, EK, EY), pp. 1200–1201.

ECMFA-2012-RathHV #emf #query

Derived Features for EMF by Integrating Advanced Model Queries (IR, ÁH, DV), pp. 102–117.

PADL-2012-LooGLMMSWZ #declarative #network

Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.

SAC-2012-GiuntaPT #aspect-oriented #composition #design pattern #named #refactoring

AODP: refactoring code to provide advanced aspect-oriented modularization of design patterns (RG, GP, ET), pp. 1243–1250.

CC-2012-JimboreanMLC #framework #named #program analysis

VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework (AJ, LM, VL, PC), pp. 220–239.

DATE-2011-MicheliGBVC #framework

An integrated platform for advanced diagnostics (GDM, SSG, CB, FV, SC), pp. 1454–1459.

ICDAR-2011-ClausnerPA #documentation #layout #named

Aletheia — An Advanced Document Layout and Text Ground-Truthing System for Production Environments (CC, SP, AA), pp. 48–52.

SIGMOD-2011-GulloDT #clustering

Advancing data clustering via projective clustering ensembles (FG, CD, AT), pp. 733–744.

SCAM-J-2009-Giffhorn11 #concurrent #source code

Advanced chopping of sequential and concurrent programs (DG), pp. 239–294.

AGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification

Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.

HIMI-v2-2011-Najjar #design #e-commerce #roadmap #user interface

Advances in E-commerce User Interface Design (LJN), pp. 292–300.

ICEIS-v3-2011-LuLC #hybrid

An Advanced Hybrid P2P Botnet 2.0 (TTL, HYL, MFC), pp. 273–276.

CIKM-2011-AbedjanN

Advancing the discovery of unique column combinations (ZA, FN), pp. 1565–1570.

CIKM-2011-KrishnaswamyGG #data type #mining #mobile #roadmap #ubiquitous

Advances in data stream mining for mobile and ubiquitous environments (SK, JG, MMG), pp. 2607–2608.

CIKM-2011-WangC #information retrieval #modelling #probability #ranking #statistics

Statistical information retrieval modelling: from the probability ranking principle to recent advances in diversity, portfolio theory, and beyond (JW, KCT), pp. 2603–2604.

KDIR-2011-ZalikZ #algorithm #clustering #network

Network Clustering by Advanced Label Propagation Algorithm (KRZ, BZ), pp. 444–447.

KEOD-2011-ModicaT #semantics

A Semantic Model to Support Advanced Supply-demand Matchmaking in Future Cloud Resources Market (GDM, OT), pp. 429–432.

SIGIR-2011-LiuJWZ #named #twitter

QuickView: advanced search of tweets (XL, LJ, FW, MZ), pp. 1275–1276.

ECMFA-2011-Schafer

Building Advanced Mechatronic Systems (WS), pp. 1–2.

TOOLS-EUROPE-2011-BockischSMA #bibliography #execution

An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.

SAC-2011-FosterS #composition #monitoring

Advanced service monitoring configurations with SLA decomposition and selection (HF, GS), pp. 1582–1589.

SAC-2011-KalendarJTD #architecture #novel

Novel processor architecture for modified advanced routing in NGN (MK, DJ, AT, GD), pp. 486–491.

ESEC-FSE-2011-Schafer

Building advanced mechatronic systems (WS), p. 1.

ICSE-2011-SoffaWM #debugging #hardware #testing

Exploiting hardware advances for software testing and debugging (MLS, KRW, JM), pp. 888–891.

CADE-2011-Cook #liveness #proving #roadmap #termination

Advances in Proving Program Termination and Liveness (BC), p. 4.

ICST-2011-CasadoTY #framework #transaction #web #web service

A Framework to Test Advanced Web Services Transactions (RC, JT, MY), pp. 443–446.

CASE-2010-GeK #contract

Integrating advance demand information in supply chain contracts (DG, AK), pp. 380–385.

DAC-2010-MitraSN #challenge #validation

Post-silicon validation opportunities, challenges and recent advances (SM, SAS, NN), pp. 12–17.

DRR-2010-Sako #self

Technologies for developing an advanced intelligent ATM with self-defence capabilities (HS), pp. 1–10.

VLDB-2010-CaliGP #ontology #query

Advanced Processing for Ontological Queries (AC, GG, AP), pp. 554–565.

CSEET-2010-LewHS #re-engineering #using

Using LEGO MINDSTORMS NXT and LEJOS in an Advanced Software Engineering Course (MWL, TBH, MS), pp. 121–128.

CHI-2010-DixonF #behaviour #implementation #interface #named #reverse engineering #using

Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure (MD, JF), pp. 1525–1534.

KR-2010-SiddiqiH #roadmap

New Advances in Sequential Diagnosis (SAS, JH).

SIGIR-2010-ShenMYPH #effectiveness #modelling #music #statistics

Effective music tagging through advanced statistical modeling (JS, WM, SY, HP, XSH), pp. 635–642.

MoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named #tool support

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.

PPDP-2010-DemeyerALV #declarative #flexibility #process #workflow

Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.

PADL-2010-LeoneRRT #integration #performance #programming #set

Efficient Application of Answer Set Programming for Advanced Data Integration (NL, FR, LAR, GT), pp. 10–24.

SAC-2010-ChengHR #detection #video

Advanced motion detection for intelligent video surveillance systems (FCC, SCH, SJR), pp. 983–984.

SAC-2010-ElliottMCOO #database #interface #network #query

Advanced querying interface for biochemical network databases (BE, SM, AC, GÖ, ZMÖ), pp. 1526–1533.

SAC-2010-HautakorpiM #algorithm #network #using

Load balancing for structured P2P networks using the advanced finger selection algorithm (AFSA) (JH, JM), pp. 655–662.

ICSE-2010-NordioMM #distributed #outsourcing #re-engineering

Advanced hands-on training for distributed and outsourced software engineering (MN, RM, BM), pp. 555–558.

PPoPP-2010-AliMP #algorithm #communication #modelling

Modeling advanced collective communication algorithms on cell-based systems (QA, SPM, VSP), pp. 293–304.

VMCAI-2010-Katoen #model checking #probability #roadmap

Advances in Probabilistic Model Checking (JPK), p. 25.

CASE-2009-WuCLZCH

Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.

DATE-2009-GrabBCCFLS #layout #synthesis

Analog layout synthesis — Recent advances in topological approaches (HG, FB, RCL, YWC, FVF, MPHL, MS), pp. 274–279.

DATE-2009-KasperskiPDS #architecture #configuration management #development #flexibility

High data rate fully flexible SDR modem advanced configurable architecture & development methodology (FK, OP, FD, MS), pp. 1040–1044.

DATE-2009-MadridSNGAVMA #framework #integration

Integration of an advanced emergency call subsystem into a car-gateway platform (NMM, RS, ARN, JSG, AlSA, PSV, CRM, FA), pp. 1100–1105.

DRR-2009-Ding #analysis #documentation #image #recognition #research #topic

Advanced topics in character recognition and document analysis: Research works in Intelligent Image & Document Research Lab, Tsinghua University (XD), pp. 1–10.

SIGMOD-2009-LeeMP #database #enterprise #memory management #roadmap

Advances in flash memory SSD technology for enterprise database applications (SWL, BM, CP), pp. 863–870.

ITiCSE-2009-Popyack #game studies

Blackjack-playing agents in an advanced AI course (JLP), pp. 208–212.

DHM-2009-PaolisPA #interactive #modelling #visualisation

An Advanced Modality of Visualization and Interaction with Virtual Models of the Human Body (LTDP, MP, GA), pp. 13–18.

HCI-AUII-2009-BamidisFKLLKBPP #approach #recognition

An Integrated Approach to Emotion Recognition for Advanced Emotional Intelligence (PDB, CAF, EIK, AL, CDL, MAK, CB, CLP, CP), pp. 565–574.

HCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive

Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.

HCI-VAD-2009-LinYYC #automation #interface

Allocating Human-System Interfaces Functions by Levels of Automation in an Advanced Control Room (CJL, CWY, TCY, LYC), pp. 741–750.

CIKM-2009-Yu

Advanced metasearch engines (CTY), p. 5.

KDIR-2009-Fathi #information management #modelling #nondeterminism

Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.

KEOD-2009-Fathi #information management #modelling #nondeterminism

Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.

KMIS-2009-Fathi #information management #modelling #nondeterminism

Modelling Uncertainties in Advanced Knowledge Management (MF), pp. 7–8.

RecSys-2009-TsatsouMKD #analysis #framework #personalisation #recommendation #semantics

A semantic framework for personalized ad recommendation based on advanced textual analysis (DT, FM, IK, PCD), pp. 217–220.

GPCE-2009-VillazonBAM #adaptation #java #runtime

Advanced runtime adaptation for Java (AV, WB, DA, PM), pp. 85–94.

ISSTA-2009-AdlerFKPRSUZ #analysis #string #test coverage #using

Advanced code coverage analysis using substring holes (YA, EF, MK, DP, OR, MS, SU, AZ), pp. 37–46.

SAT-2009-LewisMSNBG #distributed #named

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.

VMCAI-2009-Cook #liveness #roadmap #termination

Advances in Program Termination and Liveness (BC), p. 4.

CASE-2008-FischionePRST #architecture #automation #communication #mining

Mining ventilation automation: Wireless sensing, communication architecture and advanced services (CF, LP, CR, FS, ST), pp. 851–857.

DAC-2008-NowakCCR #design

Holistic pathfinding: virtual wireless chip design for advanced technology and design exploration (MN, JC, CC, RR), p. 593.

DATE-2008-MatteisDB

Advanced Analog Filters for Telecommunications (MDM, SD, AB), pp. 1316–1321.

CSEET-2008-HayesB #education #re-engineering

Nancy Mead and Software Engineering Education: Advancements through Action (JHH, MB), pp. 244–249.

CSCW-2008-AgustinaLXSS #3d #collaboration #design #named #tool support

CoMaya: incorporating advanced collaboration capabilities into 3d digital media design tools (A, FL, SX, HS, CS), pp. 5–8.

ICPR-2008-GuehamBC #automation #classification #correlation #forensics #using

Automatic classification of partial shoeprints using Advanced Correlation Filters for use in forensic science (MG, AB, DC), pp. 1–4.

RecSys-2008-Sampaio #internet #network #performance #process #recommendation

A network performance recommendation process for advanced internet applications users (LNS), pp. 315–318.

SAC-2008-ChbeirCLY #information management

Track on Advances in Spatial and Image-Based Information Systems (ASIIS): editorial message (RC, CC, KJL, KY), p. 851.

SAC-2008-DoringPE #e-commerce #query

Advanced preference query processing for e-commerce (SD, TP, ME), pp. 1457–1462.

ICSE-2008-ReichertKSMH #analysis #network #protocol

A language for advanced protocol analysis in automotive networks (TR, EK, WS, AM, DH), pp. 593–602.

HPDC-2008-AidaC #scheduling

Scheduling mixed-parallel applications with advance reservations (KA, HC), pp. 65–74.

HPDC-2008-NurmiWB #named

VARQ: virtual advance reservations for queues (DN, RW, JB), pp. 75–86.

PPoPP-2008-NurmiWB #parallel #probability

Probabilistic advanced reservations for batch-scheduled parallel machines (DN, RW, JB), pp. 289–290.

CASE-2007-AlbieriBBC #design #simulation

A Simulation Environment for the Design of Advanced Chiller Control Systems (MA, AB, CB, LC), pp. 962–967.

CASE-2007-BoettnerCJ #assembly #collaboration #framework

An Advanced Collaborative Framework for Micro Assembly (SSB, JC, YJ), pp. 806–811.

CASE-2007-MolterMZHBLM #algorithm #metric

Algorithm Advancements for the Measurement of Single Cell Oxygen Consumption Rates (TWM, SM, MZ, MH, LWB, MEL, DRM), pp. 386–391.

CASE-2007-MorrisonM #clustering #on the #throughput #tool support

On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss (JRM, MKM), pp. 88–93.

DATE-2007-LinC #design

Testable design for advanced serial-link transceivers (ML, KT(C), pp. 695–700.

ICDAR-2007-Schomaker07a #identification #roadmap #verification

Advances in Writer Identification and Verification (LS), pp. 1268–1273.

ITiCSE-2007-BenayaZ #comprehension #java #thread

Understanding threads in an advanced java course (TB, EZ), p. 323.

GT-VMT-2007-HorvathVV #graph

Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).

CHI-2007-HolleisOHS #interactive #mobile

Keystroke-level model for advanced mobile phone interaction (PH, FO, HH, AS), pp. 1505–1514.

DHM-2007-Godil #analysis #representation

Advanced Human Body and Head Shape Representation and Analysis (AG), pp. 92–100.

DHM-2007-Heng #roadmap

Advances in Visible Human Based Virtual Medicine (PAH), pp. 623–632.

DHM-2007-UpadrastaKL

Advanced Technology Training for Operating the Microlithography Panel Printer (BU, MTK, SSL), pp. 998–1007.

HCI-IPT-2007-CaleefatoMT #automation

Advanced Drivers Assistant Systems in Automation (CC, RM, FT), pp. 768–777.

HIMI-IIE-2007-Nirschl #development

Human-Centered Development of Advanced Driver Assistance Systems (GN), pp. 1088–1097.

AdaEurope-2007-PanunzioV #analysis #metamodelling #modelling #process

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis (MP, TV), pp. 128–141.

CAiSE-2007-SilvaAMC #design #social #using

Designing Social Patterns Using Advanced Separation of Concerns (CTLLS, JA, AMDM, JC), pp. 309–323.

ICEIS-AIDSS-2007-Cuzzocrea #multi

MRE-KDD+: A Multi-Resolution, Ensemble-Based Model for Advanced Knolwedge Discovery (AC), pp. 152–158.

ECIR-2007-QuarteroniMMB #classification #ranking

Advanced Structural Representations for Question Classification and Answer Re-ranking (SQ, AM, SM, RB), pp. 234–245.

SEKE-2007-IlhanAB #named #semantics

SAM: Semantic Advanced Matchmaker (ESI, GBA, ABB), pp. 698–703.

SEKE-2007-Urban #education #research #specification

A View on Software Specification Research and Education Advancement (JU), p. 1.

SIGIR-2007-WhiteM #behaviour #query

Investigating the querying and browsing behavior of advanced search engine users (RWW, DM), pp. 255–262.

POPL-2007-Murthy #design #enterprise #programming language #λ-calculus

Advanced programming language design in enterprise software: a λ-calculus theorist wanders into a datacenter (CM), pp. 263–264.

ICSE-2007-BurmesterGHHTGMV #perspective #realtime #tool support

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (SB, HG, SH, MH, MT, AG, EM, HV), pp. 801–804.

ICSE-2007-JensenS #case study #comparative #migration #process

Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study (CJ, WS), pp. 364–374.

ICLP-2007-Gebser #programming #set

Advanced Techniques for Answer Set Programming (MG), pp. 458–459.

DATE-2006-BurgBWSB #algorithm

Advanced receiver algorithms for MIMO wireless communications (AB, MB, MW, CS, HB), pp. 593–598.

VLDB-2006-Kim #in memory #memory management #roadmap

Advances in Memory Technology (CK), p. 1105.

ITiCSE-2006-SpaccoHPEHP #case study #design #experience #programming #testing #using

Experiences with marmoset: designing and using an advanced submission and testing system for programming courses (JS, DH, WP, FE, JKH, NPP), pp. 13–17.

ICSM-2006-JaffriK #performance #using

Efficient Delivery of Software Updates Using Advanced Compression Techniques (TJ, KK), pp. 267–268.

STOC-2006-AbrahamBN #metric #roadmap

Advances in metric embedding theory (IA, YB, ON), pp. 271–286.

CHI-2006-BoehnerH #ambiguity

Advancing ambiguity (KB, JTH), pp. 103–106.

SIGAda-2006-LudwigP #named

DEGAS: discrete event Gnu advanced scheduler (LL, PP), pp. 35–42.

EDOC-2006-DijkmanDQ #concept #design #interactive #towards

Towards Advanced Interaction Design Concepts (RMD, TD, DACQ), pp. 331–344.

ICEIS-HCI-2006-LiSB #correlation #hybrid #recognition #sketching #synthesis #using

Face Recognition from Sketches Using Advanced Correlation Filters Using Hybrid Eigenanalysis for Face Synthesis (YhL, MS, VB), pp. 11–18.

RE-2006-AxenathGKF #evaluation #synthesis

Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.

SAC-2006-BaloghV #framework #model transformation

Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.

SAC-2006-FabryD #aspect-oriented #kernel #named #transaction

KALA: Kernel Aspect language for advanced transactions (JF, TD), pp. 1615–1620.

SAT-2006-Thurley #component #modelling #named

sharpSAT — Counting Models with Advanced Component Caching and Implicit BCP (MT), pp. 424–429.

DAC-2005-GilbertCS #network

MIMO technology for advanced wireless local area networks (JMG, WJC, QS), pp. 413–415.

DAC-2005-GuptaKKS #analysis

Advanced Timing Analysis Based on Post-OPC Extraction of Critical Dimensions (PG, ABK, YK, DS), pp. 365–368.

DAC-2005-YangCS #analysis

Advanced timing analysis based on post-OPC extraction of critical dimensions (JY, LC, DS), pp. 359–364.

SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration

The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.

VLDB-2005-LiHHB #named #xml

Hubble: An Advanced Dynamic Folder Technology for XML (NL, JH, HIH, KSB), pp. 541–552.

CSEET-2005-JarzabekE #design #education

Teaching an Advanced Design, Team-Oriented Software Project Course (SJ, PKE), pp. 223–230.

ITiCSE-2005-BenayaZ #education #java #programming

Advanced programming in java workshop: teaching methodology (TB, EZ), p. 348.

FM-2005-EislerSJSS #case study #model checking

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications (SE, CS, BJ, GS, JS), pp. 533–536.

CHI-2005-TollingerLMTVHP #constraints #development #modelling #multi #performance

Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based modeling (IT, RLL, MM, PT, AHV, AH, LP), pp. 411–420.

ECOOP-2005-Lopez-HerrejonBC #composition

Evaluating Support for Features in Advanced Modularization Technologies (RELH, DSB, WRC), pp. 169–194.

SAC-2005-SartorPV

Computer-aided law and advanced technologies (GS, JVP, AV), pp. 280–281.

SAC-2005-WojnickiL #query

Jelly view: a technology for arbitrarily advanced queries within RDBMS (IW, AL), pp. 629–633.

AMOST-2005-BinderH #mobile #testing

The advanced mobile application testing environment (RVB, JEH), p. 1.

ICLP-2005-RochaLSC #modelling #named #prolog

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling (RR, RL, FMAS, VSC), pp. 416–417.

ICLP-2005-TompitsW #equivalence #implementation #programming #towards

Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming (HT, SW), pp. 189–203.

ICSM-2004-Krinke04a #concurrent #slicing #source code

Advanced Slicing of Sequential and Concurrent Programs (JK), pp. 464–468.

STOC-2004-Fischer #graph #morphism #testing

The difficulty of testing for isomorphism against a graph that is given in advance (EF), pp. 391–397.

ECIR-2004-NottelmannF #approach

Combining CORI and the Decision-Theoretic Approach for Advanced Resource Selection (HN, NF), pp. 138–153.

ICPR-v3-2004-JiaQD #detection #markov #modelling #online

An Advanced Segmental Semi-Markov Model Based Online Series Pattern Detection (SJ, YQ, GD), pp. 634–637.

ICPR-v3-2004-SakoM #automation #towards

Image-Recognition Technologies towards Advanced Automated Teller Machines (HS, TM), pp. 282–285.

KDD-2004-AksoyKTM #classification #image #interactive #mining

Interactive training of advanced classifiers for mining remote sensing image archives (SA, KK, CT, GBM), pp. 773–782.

KR-2004-Doherty #research

Advanced Research with Autonomous Unmanned Aerial Vehicles (PD), pp. 731–732.

HPDC-2004-HongLKLP #grid #information management #named

GAIS: Grid Advanced Information Service based on P2P Mechanism (WH, ML, EK, JL, HP), pp. 276–277.

LCTES-2004-LiZ #control flow #java #programming

Advanced control flow in Java card programming (PL, SZ), pp. 165–174.

CAV-2004-Arons #algorithm #execution #verification

Verification of an Advanced mips-Type Out-of-Order Execution Algorithm (TA), pp. 414–426.

DAC-2003-HsuTCT #debugging

Advanced techniques for RTL debugging (YCH, BT, YAC, FST), pp. 362–367.

DAC-2003-Wasshuber

Recent advances and future prospects in single-electronics (CW), pp. 274–275.

VLDB-2003-NicklasGS #distributed #framework #named

NexusScout: An Advanced Location-Based Application on a Distributed, Open Mediation Platform (DN, MG, TS), pp. 1089–1092.

FASE-2003-VanderperrenSWJ #component #composition #visual notation

PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features (WV, DS, BW, VJ), pp. 166–169.

VISSOFT-2003-EichelbergerW #diagrams #layout #uml

Demonstration of Advanced Layout of UML Class Diagrams by SugiBib (HE, JW), pp. 58–59.

AdaEurope-2003-BriotGDCW #ada #memory management

Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.

ECIR-2003-NottelmannF #information retrieval #nondeterminism #probability

From Uncertain Inference to Probability of Relevance for Advanced IR Applications (HN, NF), pp. 235–250.

ICSE-2003-SimEH #benchmark #challenge #metric #re-engineering #research #using

Using Benchmarking to Advance Research: A Challenge to Software Engineering (SES, SME, RCH), pp. 74–83.

CC-2003-AzatchiP #garbage collection

Integrating Generations with Advanced Reference Counting Garbage Collectors (HA, EP), pp. 185–199.

CGO-2003-LinCHY #using

Speculative Register Promotion Using Advanced Load Address Table (ALAT) (JL, TC, WCH, PCY), pp. 125–134.

LCTES-2003-VanbroekhovenCC #array

Advanced copy propagation for arrays (PV, HC, FC), pp. 24–33.

CAV-2003-LahiriB #deduction #verification

Deductive Verification of Advanced Out-of-Order Microprocessors (SKL, REB), pp. 341–353.

DATE-2002-MichelWWM #hardware #trade-off

Hardware/Software Trade-Offs for Advanced 3G Channel Coding (HM, AW, NW, MM), pp. 396–401.

VLDB-2002-HsuLOMTX #database

Advanced Database Technologies in a Diabetic Healthcare System (WH, MLL, BCO, PKM, KLT, CX), pp. 1059–1062.

VLDB-2002-ZellerK #case study #database #experience #optimisation #scalability

Experience Report: Exploiting Advanced Database Optimization Features for Large-Scale SAP R/3 Installations (BZ, AK), pp. 894–905.

CSEET-2002-Armarego #design #learning #problem

Advanced Software Design: A Case in Problem-Based Learning (JA), pp. 44–54.

ICEIS-2002-PanMMARV #query

A Model for Advanced Query Capability Description in Mediator Systems (AP, PM, AM, MÁ, JR, ÁV), pp. 140–147.

ICPR-v3-2002-Bourlard #pattern matching #pattern recognition #recognition #speech #statistics

Some Recent Advances in Speech Recognition with Potential Applications in Other Statistical Pattern Recognition Areas (HB), p. 727.

ICPR-v3-2002-MullerH #linear

Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.

SAC-2002-BryK #documentation #modelling

Advanced modeling and browsing of technical documents (FB, MK), pp. 520–524.

ICSE-2002-GilHK #modelling #uml #visual notation

Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.

ICSE-2002-GraunkeK #control flow #flexibility #user interface #visual notation

Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs (PTG, SK), pp. 277–287.

SAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #random #satisfiability #standard #towards #using

Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.

DAC-2001-YalcinPMBSH #dependence #using

An Advanced Timing Characterization Method Using Mode Dependency (HY, RP, MM, CB, KAS, JPH), pp. 657–660.

ICDAR-2001-MiledA #markov #modelling #recognition

Planar Markov Modeling for Arabic Writing Recognition: Advancement State (HM, NEBA), pp. 69–73.

ICDAR-2001-Nagy #recognition

Advanced Character Recognition 6610 (GN), p. 2.

VLDB-2001-SeegerBBKSDS #approach #database #implementation #library #named #performance #query

XXL — A Library Approach to Supporting Efficient Implementations of Advanced Database Queries (JVdB, BB, JPD, JK, TS, MS, BS), pp. 39–48.

ICEIS-v1-2001-PanticR #challenge #monitoring #multi #ubiquitous

Affect-Sensitive Multi-Modal Monitoring in Ubiquitous Computing: Advances and Challenges (MP, LJMR), pp. 466–474.

CIKM-2001-AmirES #roadmap #word

Advances in Phonetic Word Spotting (AA, AE, SS), pp. 580–582.

CIKM-2001-SchallehnSS #integration

Advanced Grouping and Aggregation for Data Integration (ES, KUS, GS), pp. 547–549.

KDD-2001-ApteBNPTCN #modelling

Segmentation-based modeling for advanced targeted marketing (CA, EB, RN, EPDP, FT, DC, BN), pp. 408–413.

KDD-T-2001-GehrkeL #roadmap

Advances in decision tree construction (JG, WYL), pp. 119–185.

DATE-2000-HergenhanR #analysis #architecture #embedded

Static Timing Analysis of Embedded Software on Advanced Processor Architectures (AH, WR), pp. 552–559.

ITiCSE-2000-Normark #tool support

A suite of WWW-based tools for advanced course management (KN), pp. 65–68.

WCRE-2000-BalazinskaMDLK #object-oriented #refactoring

Advanced Clone-Analysis to Support Object-Oriented System Refactoring (MB, EM, MD, BL, KK), pp. 98–107.

ICFP-2000-HarperP

Advanced module systems: a guide for the perplexed (abstract of invited talk) (RH, BCP), p. 130.

EDOC-2000-KawamuraHOH #development #framework

Rental Application to Rental Service Development of Advanced ASP Framework (TK, TH, AO, SH), p. 58–?.

ICEIS-2000-Belo #monitoring #process #realtime

Monitoring Production Plants Activities in Real Time as a Way to Gather Decision Support Information in Advance (OB), pp. 27–31.

ICEIS-2000-ChevalierV #information retrieval #interface #named #visualisation

ISIDOR: A Visualisation Interface for Advanced Information Retrieval (MC, MV), pp. 414–418.

ICPR-v4-2000-Hata #visual notation

Practical Visual Inspection Techniques — Optics, Micro-Electronics and Advanced Software Technology (SH), pp. 4114–4117.

KDD-2000-Senator #case study #detection #information management #scalability

Ongoing management and application of discovered knowledge in a large regulatory organization: a case study of the use and impact of NASD Regulation’s Advanced Detection System (RADS) (TES), pp. 44–53.

TOOLS-EUROPE-2000-GilHK #modelling #uml #visual notation

Advanced Visual Modeling: Beyond UML (JYG, JH, SK), p. 474.

ICSE-2000-GilHK #modelling #tutorial #uml #visual notation

Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.

CC-2000-Kim #compilation #embedded #optimisation

Advanced Compiler Optimization for Calm RISC8 Low-End Embedded Processor (DHK), pp. 173–188.

CC-2000-Roth #array #syntax

Advanced Scalarization of Array Syntax (GR), pp. 219–231.

CAV-2000-HosabettuGS #architecture #exception #verification

Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.

ASE-1999-Pecheur #clustering #file system #modelling #verification

Advanced Modelling and Verification Techniques Applied to a Cluster File System (CP), pp. 119–126.

DAC-1999-BrunvandNY #design #interface

Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces (EB, SMN, KYY), pp. 104–109.

ICDAR-1999-KosmalaWR #clustering #online #recognition #scalability

Advanced State Clustering for Very Large Vocabulary HMM-based On-Line Handwriting Recognition (AK, DW, GR), pp. 442–445.

ICDAR-1999-LuSNBM #roadmap

Advances in the BBN BYBLOS OCR System (ZL, RMS, PN, IB, JM), pp. 337–340.

VLDB-1999-NinkHR #database #generative #interface #programming

Generating Call-Level Interfaces for Advanced Database Application Programming (UN, TH, NR), pp. 575–586.

ITiCSE-1999-Ackermann #education #internet

Poster session. Internet curriculum. two courses: introductory and advanced (ECA), pp. 179–180.

HCI-CCAD-1999-PapandroouA #architecture #framework #towards

Towards a teleworking framework based on advanced telematic service architectures (CAP, DXA), pp. 497–501.

ICEIS-1999-Pinto #bibliography #distributed #framework #network

Distributed Networking Computer Model: SUNs JINI as an Advance in the Technology-An Overview of Javas Distributed Platform (HJPBPP), p. 790.

MLDM-1999-HongW #data mining #mining #predict

Advanced in Predictive Data Mining Methods (SJH, SMW), pp. 13–20.

TOOLS-EUROPE-1999-McKim #contract #programming

Advanced Programming by Contract (JCM), p. 402.

TOOLS-USA-1999-Henderson-Sellers #metamodelling #modelling

Advanced 00 Modelling: Metamodels and Notations for the Next Millenium (BHS), p. 464.

RE-1999-Crawford #concept

Advancing Business Concepts in a JAD Workshop Setting (TC), p. 31–?.

DATE-1998-SchmerlerTM #logic #simulation

Advanced Optimistic Approaches in Logic Simulation (SS, YT, KDMG), pp. 362–368.

CHI-1998-WolfZ #case study #evolution

Evolution of the Conversation Machine: A Case Study of Bringing Advanced Technology to the Marketplace (CGW, WZ), pp. 488–495.

CAiSE-1998-SteinerKN #java #named

OMS/Java: Model Extensibility of OODBMS for Advanced Application Domains (AS, AK, MCN), pp. 115–138.

ICPR-1998-TaxtLSH #roadmap

Advances in medical imaging (TT, AL, JS, SH), pp. 505–508.

HPDC-1998-McRobbieMAGPRWW #education #network #performance #research

Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications (MAM, DFM, KHA, DG, DDP, RAR, SSW, JGW), pp. 252–259.

ITiCSE-WGR-1997-DomingoGLRM #approach #generative #programming #using

SEDA, an advanced software tool in its generation: developing a Windows tutor using SEDA versus a classical programming approach (poster) (PD, ÁGC, ML, BR, VMO), p. 148.

TOOLS-ASIA-1997-Coplien97a #c++ #programming #using

Advanced C++ Programming Styles: Using C++ as a Higher-Level Language (JC), pp. 418–419.

TOOLS-PACIFIC-1997-Coplien #c++ #programming

Advanced C++ Programming Styles and Idioms (JC), p. 352.

TOOLS-PACIFIC-1997-Henderson-Sellers #generative #named #object-oriented

OPEN: A Third Generation OO Methodology — Advanced Tasks and Techniques (BHS), pp. 363–365.

TOOLS-USA-1997-Ege #design #encapsulation

Class Design: Advanced Encapsulation Techniques (RKE), p. 376.

RE-1997-Wieringa #object-oriented #requirements #specification

Advanced Object-Oriented Requirements Specification Methods (RW), p. 266.

HPCA-1997-JanikLM #architecture #pipes and filters

Advances of the Counterflow Pipeline Microarchitecture (KJJ, SLL, MFM), pp. 230–236.

CAV-1997-VarpaaniemiHL #analysis #performance #reachability

prod 3.2: An Advanced Tool for Efficient Reachability Analysis (KV, KH, JL), pp. 472–475.

ILPS-1997-Tarau #internet #logic programming #tool support

Logic Programming Tools for Advanced Internet Programming (Abstract) (PT), pp. 33–34.

DAC-1996-BrownMVCGGGLZS #design #experience #multi #programmable #scalability #tool support #using

Experience in Designing a Large-scale Multiprocessor using Field-Programmable Devices and Advanced CAD Tools (SDB, NM, ZGV, SC, AG, RG, MG, KL, ZZ, SS), pp. 427–432.

ITiCSE-1996-AndreevaG

Informatics in an advanced mathematical high school (EA, IG), p. 231.

CAiSE-1996-Beeche #database

Advanced Principles for Changing Schemas of Object Databases (PB), pp. 476–495.

ICML-1996-RaviseS #evolution #fault

An Advanced Evolution Should Not Repeat its Past Errors (CR, MS), pp. 400–408.

CADE-1996-GrafM

Advanced Indexing Operations on Substitution Trees (PG, CM), pp. 553–567.

DAC-1995-JainMF #learning #verification

Advanced Verification Techniques Based on Learning (JJ, RM, MF), pp. 420–426.

SIGMOD-1995-ThomasDM #design #implementation

Design and Implementation of Advanced Knowledge Processing in the KDMS KRISYS (Demonstration Description) (JT, SD, NMM), p. 479.

TRI-Ada-1995-BarbeyKS #ada #object-oriented #programming

Advanced Object-Oriented Features and Programming in Ada 95 (SB, MK, AS), pp. 359–489.

EDAC-1994-DongenR #array #design

Advanced Analog Circuit Design on a Digital Sea-of-Gates Array (RvD, VR), pp. 70–74.

KBSE-1994-Benner #development #knowledge-based

Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.

SIGMOD-1994-Mohan #bibliography #modelling #transaction

A Survey and Critique of Advanced Transaction Models (CM), p. 521.

CSEE-1994-HabraD #re-engineering #student

Putting into Practice Advanced Software Engineering Techniques through Students Project (NH, ED), pp. 303–316.

CHI-1994-IrvingPI94a #analysis #automation

A GOMS analysis of the advanced automated cockpit (SI, PGP, JEI), pp. 344–350.

AdaEurope-1994-GerlichW #ada #source code

Tuning Ada Programs in Advance (RG, UW), pp. 440–464.

SAC-1994-RosenG #network #using

Training hard to learn networks using advanced simulated annealing methods (BER, JMG), pp. 256–260.

SIGMOD-1993-SuLEAPZ #knowledge base #object-oriented

OSAM*KBMS: An Object-Oriented Knowledge Base Management System for Supporting Advanced Applications (SYWS, HL, SE, JA, NP, RZ), pp. 540–541.

FME-1993-ValmariKCL #analysis #reachability

Putting Advanced Reachability Analysis Techniques Together: the “ARA” Tool (AV, JK, MC, ML), pp. 597–616.

HCI-ACS-1993-Marcus #design #user interface

Metaphor Design and Cultural Diversity in Advanced User Interfaces (AM), pp. 469–474.

HCI-ACS-1993-PrzygoddaS #development #evaluation

Development and Evaluation of a Productivity Management System for Autonomous Work Groups in Advanced Manufacturing Systems (MP, KHS), pp. 38–43.

HCI-ACS-1993-Sundstrom-Frisk

Near-Accidents in the Use of Advanced Medical Equipment (CSF), pp. 821–826.

HCI-ACS-1993-WeberU #evaluation

Psychological Criteria for the Evaluation of Different Forms of Group Work in Advanced Manufacturing Systems (WGW, EU), pp. 26–31.

HCI-SHI-1993-DohiI #human-computer #interactive #realtime #synthesis #towards

Realtime Synthesis of a Realistic Anthropomorphous Agent Toward Advanced Human-Computer Interaction (HD, MI), pp. 152–157.

HCI-SHI-1993-KoubekS #concept #requirements

A Conceptual Model of Human Skill Requirements for Advanced Manufacturing Settings (RJK, GS), pp. 356–361.

INTERCHI-1993-JohnsonWMP #design #modelling #named #prototype

ADEPT: Advanced Design Environment for Prototyping with Task Models (PJ, SW, PM, JP), p. 56.

INTERCHI-1993-Wenzel #design #hardware #interface #performance

Perceptual vs. hardware performance in advanced acoustic interface design (EMW), pp. 363–366.

TOOLS-PACIFIC-1993-Wall93a #c++

Advanced C++ (PW), p. 333.

ESEC-1993-AueB #distributed #information management

Distributed Information Systems: An Advanced Methology (AA, MB), pp. 263–282.

DAC-1992-RuehliH #analysis #challenge

Challenges and Advances in Electrical Interconnect Analysis (AER, HH), pp. 460–465.

CHI-1992-BallasHP #aspect-oriented

Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits (JAB, CLH, MAP), pp. 127–134.

CHI-1992-Shackel #human-computer #named #research

HUSAT — 21 Years of HCI: The Human Sciences and Advanced Technology Research Institute (BS), pp. 281–283.

ICSE-1992-Fairley #estimation

Recent Advances in Software Estimation Techniques (REF), pp. 382–391.

JICSLP-1992-Tick #concurrent #logic programming #tutorial

Advanced Tutorial: Concurrent Logic Programming (ET), p. 25.

SIGMOD-1991-ShyyS #database #knowledge base #named #programming language

K: A High-Level Knowledge Base Programming Language for Advanced Database Applications (YMS, SYWS), pp. 338–347.

CHI-1991-Gomoll #interface

Apple computer’s human interface group: advanced technology group (KMG), pp. 473–474.

SIGIR-1991-JarvelinN #database #deduction #integration #retrieval

Advanced Retrieval From Heterogeneous Fact Databases: Integration of Data Retrieval, Conversion, Aggregation and Deductive Techniques (KJ, TN), pp. 173–182.

TOOLS-USA-1991-Caseau

An O-O Language for Advanced Applications (YC), pp. 153–166.

TOOLS-USA-1991-Wirfs-Brock #design #object-oriented #topic

Advanced Topics in Object-Oriented Design (RWB), pp. 429–430.

ESEC-1991-Lang #automation #problem #process

CASE Support for the Software Process: Advances and Problems (BL), pp. 512–515.

IWPTS-1991-GuareneM #network #testing #tool support

Advanced Testing Tools For Intelligent Network (EG, PM), pp. 219–230.

IWPTS-1991-HordiesS #concept #testing

OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products (MH, SS), pp. 179–193.

SIGMOD-1990-StonebrakerRLGCB #database #generative #quote

“The Committee for Advanced DBMS Function”: Third Generation Data Base System Manifesto (MS, LAR, BGL, JG, MJC, DB), p. 396.

VLDB-1990-KemperM #data access #query #using

Advanced Query Processing in Object Bases Using Access Support Relations (AK, GM), pp. 290–301.

CHI-1990-PoltrockB #bibliography

Boeing Advanced Technology Center (lab review) (SEP, KAB), pp. 381–382.

ICSE-1990-Basili #metric

Recent Advances in Software Measurement (Abstract for Talk) (VRB), pp. 44–49.

VLDB-1989-SaakeLPW #information management #prototype #sorting

Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype (GS, VL, PP, LMW), pp. 307–316.

CHI-1989-RobertsE #usability

The effects of device technology on the usability of advanced telephone functions (TLR, GE), pp. 331–337.

DAC-1988-LathropHDAK #abstraction #functional #roadmap

Advances in Functional Abstraction from Structure (RHL, RJH, GD, KMA, RSK), pp. 708–711.

SEI-1988-Stevens #learning

SEI Demonstration: Advanced Learning Technologies Project (SS), p. 120.

ICSE-1988-Wasserman #development #hardware

Implications of Hardware Advances for Software Development (AIW), pp. 250–253.

VLDB-1987-KuspertDG #information management #prototype

Cooperative Object Buffer Management in the Advanced Information Management Prototype (KK, PD, JG), pp. 483–492.

SIGIR-1987-SmithWF #analysis #named #retrieval

MICROARRAS: An Advanced Full-Text Retrieval and Analysis System (JBS, SFW, GJF), pp. 187–195.

OOPSLA-1987-AndrewsH #database #development #object-oriented

Combining Language and Database Advances in an Object-Oriented Development Environment (TA, CH), pp. 430–440.

GG-1986-Siromoney #array #roadmap

Advances in array languages (RS), pp. 549–563.

CSCW-1986-DanielsenPPPPSS #communication

The AMIGO Project: advanced group communication model for computer-based communications environment (TD, UPB, WP, AP, PAP, KS, RS), pp. 115–142.

DAC-1985-CollinsK #programmable #tutorial

The impact of technological advances on programmable controller s(tutorial session) (RPC, WJK), pp. 498–502.

DAC-1985-DwyerMBG #array #automation #design #integration

The integration of an advanced gate array router into a fully automated design system (RD, SM, EB, DG), pp. 770–772.

DAC-1985-GranackiKP #automation #bibliography #design #interface #natural language

The ADAM advanced design automation system: overview, planner and natural language interface (JJG, DK, ACP), pp. 727–730.

DAC-1984-GuillaumeK #named #proximity

MINUPROX — an advanced proximity correction technique for the IBM EL-2 electron beam tool (WJG, AK), pp. 452–453.

VLDB-1984-Walter #approach #commit #database #multi #transaction

Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications (BW), pp. 161–171.

SIGIR-1984-EstallS

Shared Processing with an Advanced Intelligent Terminal (CE, FJS), pp. 153–166.

SIGIR-1984-KraftB #behaviour #information retrieval #roadmap

Advances in a Bayesian Decision Model of User Stopping Behaviour for Scanning the Output of an Information Retrieval System (DHK, DAB), pp. 421–433.

ICSE-1984-TaylorS #ada #programming

Steps to an Advanced Ada Programming Environment (RNT, TAS), pp. 116–125.

ICALP-1982-Pippenger #roadmap

Advances in Pebbling (Preliminary Version) (NP), pp. 407–417.

ICALP-1979-Karp #algorithm #analysis #graph #probability

Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract) (RMK), pp. 338–339.

DAC-1974-BreuerF #automation #concept #design

Initial design concepts for an advanced design automation system (MAB, ADF), pp. 366–371.

DAC-1974-KozawaHISS #automation #generative #layout

Advanced LILAC — an Automated Layout Generation system for MOS/LSIs (TK, HH, TI, JS, SS), pp. 26–46.