Stem versus$ (all stems)

203 papers:

DATE-2015-TemanKGMB #embedded #energy #logic #trade-off

Energy versus data integrity trade-offs in embedded high-density logic compatible dynamic memories (AT, GK, RG, PAM, APB), pp. 489–494.

ITiCSE-2015-PalI #programming

Classroom Versus Screencast for Native Language Learners: Effect of Medium of Instruction on Knowledge of Programming (YP, SI), pp. 290–295.

CHI-2015-MatthewsSRCSLG #elicitation #realtime #representation

Real-Time Representation Versus Response Elicitation in Biosensor Data (MM, JS, LR, JTC, AS, JWL, GG), pp. 605–608.

CHI-2015-PolitisBP #multimodal

To Beep or Not to Beep?: Comparing Abstract versus Language-Based Multimodal Driver Displays (IP, SAB, FEP), pp. 3971–3980.

CSCW-2015-VashisthaCT

Increasing the Reach of Snowball Sampling: The Impact of Fixed versus Lottery Incentives (AV, EC, WT), pp. 1359–1363.

HCI-UC-2015-Sorum #quality

The Role of Quality in Websites: A Discussion Focusing on Public Versus Private Sector Organizations (HS), pp. 92–101.

ICEIS-v3-2015-GhezziCRB #agile #approach #case study #comparative #design #mobile #performance

A Comparative Study on the Impact of Business Model Design & Lean Startup Approach versus Traditional Business Plan on Mobile Startups Performance (AG, AC, AR, RB), pp. 196–203.

SAC-2015-CalvagnaFT #case study #combinator #consistency #effectiveness #random #testing

Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.

SCAM-2014-RaemaekersDV #case study #repository #semantics #version control

Semantic Versioning versus Breaking Changes: A Study of the Maven Repository (SR, AvD, JV), pp. 215–224.

GRAPHITE-2014-DelzannoRT #analysis #protocol

Graph- versus Vector-Based Analysis of a Consensus Protocol (GD, AR, RT), pp. 44–57.

CSCW-2014-ZhuDKK #assessment #learning #performance

Reviewing versus doing: learning and performance in crowd assessment (HZ, SPD, REK, AK), pp. 1445–1455.

ICEIS-v3-2014-SilvaOAL #declarative #empirical #imperative #process

Declarative Versus Imperative Business Process Languages — A Controlled Experiment (NCS, CALdO, FALAA, RMFL), pp. 394–401.

CIKM-2014-ShaoKTG #case study #complexity #distance #navigation #network #query

Travel distance versus navigation complexity: a study on different spatial queries on road networks (JS, LK, ET, LG), pp. 1791–1794.

KR-2014-BartholomewL #modelling #multi

Stable Models of Multi-Valued Formulas: Partial versus Total Functions (MB, JL).

SEKE-2014-WuCZX #c++ #empirical #library

An empirical study on the adoption of C++ templates: Library templates versus user defined templates (DW, LC, YZ, BX), pp. 144–149.

SAC-2014-RanaKS #algorithm #evaluation #ranking #social

The strength of social strength: an evaluation study of algorithmic versus user-defined ranking (JR, JK, KS), pp. 658–659.

ISSTA-2014-LanzaroNWCS #empirical #fault #injection #interface

An empirical study of injected versus actual interface errors (AL, RN, SW, DC, NS), pp. 397–408.

DRR-2013-SchusterHME #documentation #how #rule-based

Rule-based versus training-based extraction of index terms from business documents: how to combine the results (DS, MH, KM, DE).

STOC-2013-Williams #proving

Natural proofs versus derandomization (RW), pp. 21–30.

DLT-J-2012-Csuhaj-Varju13 #automaton

P and DP Automata: Unconventional versus Classical Automata (ECV), pp. 995–1008.

DUXU-WM-2013-SauckenML #approach #case study #design #experience #how #metaprogramming #user interface

How to Design Experiences: Macro UX versus Micro UX Approach (CvS, IM, UL), pp. 130–139.

HCI-AS-2013-SelvarajahCMCVR #question #web

Native Apps versus Web Apps: Which Is Best for Healthcare Applications? (KS, MPC, AM, JC, KV, NRF), pp. 189–196.

HILT-2013-Alagic #automation #interactive #verification

Automatic versus interactive program verification (SA), pp. 87–88.

CIKM-2013-ManiuC #performance #social

Network-aware search in social tagging applications: instance optimality versus efficiency (SM, BC), pp. 939–948.

CIKM-2013-MoffatTS #effectiveness #metric #modelling #what

Users versus models: what observation tells us about effectiveness metrics (AM, PT, FS), pp. 659–668.

ICML-c3-2013-DembczynskiJKWH #approach #classification #multi #optimisation #plugin

Optimizing the F-Measure in Multi-Label Classification: Plug-in Rule Approach versus Structured Loss Minimization (KD, AJ, WK, WW, EH), pp. 1130–1138.

ICML-c3-2013-LongS #classification #consistency #multi

Consistency versus Realizable H-Consistency for Multiclass Classification (PML, RAS), pp. 801–809.

STOC-2012-Ajtai #nondeterminism #testing

Determinism versus nondeterminism with arithmetic tests and computation: extended abstract (MA), pp. 249–268.

DLT-J-2011-ChaturvediOT12 #game studies #infinity

Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.

DLT-2012-Csuhaj-Varju #automaton

P and dP Automata: Unconventional versus Classical Automata (ECV), pp. 7–22.

ICALP-v1-2012-Bauwens #complexity

Complexity of Complexity and Maximal Plain versus Prefix-Free Kolmogorov Complexity (BB), pp. 100–108.

ICML-2012-NeufeldYZKS #reduction

Regularizers versus Losses for Nonlinear Dimensionality Reduction: A Factored View with New Convex Relaxations (JN, YY, XZ, RK, DS), p. 191.

SIGIR-2012-LuCL #information retrieval

Fixed versus dynamic co-occurrence windows in TextRank term weights for information retrieval (WL, QC, CL), pp. 1079–1080.

OOPSLA-2012-DattaSS #collaboration #developer #framework

Talk versus work: characteristics of developer collaboration on the jazz platform (SD, RS, BS), pp. 655–668.

SAT-2012-BalintS #probability

Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break (AB, US), pp. 16–29.

SAT-2012-LiL #satisfiability

Satisfying versus Falsifying in Local Search for Satisfiability — (Poster Presentation) (CML, YL), pp. 477–478.

DAC-2011-ChangS #approach

Plugging versus logging: a new approach to write buffer management for solid-state disks (LPC, YCS), pp. 23–28.

ITiCSE-2011-BreimerCCY #case study #information management

A study of video-based versus text-based labs for a management information systems course (EB, MC, JC, RY), pp. 128–132.

ICPC-J-2009-MoraGRP11 #empirical #metric #modelling #visual notation

Graphical versus textual software measurement modelling: an empirical study (BM, FG, FR, MP), pp. 201–233.

MSR-2011-ZamanAH #case study #debugging #performance #security

Security versus performance bugs: a case study on Firefox (SZ, BA, AEH), pp. 93–102.

IFL-2011-KoopmanAP #logic #modelling #state machine #testing

Model Based Testing with Logical Properties versus State Machines (PWMK, PA, RP), pp. 116–133.

CSCW-2011-ReynoldsGMMVWBH #student

Contact stratification and deception: blackberry messenger versus SMS use among students (LR, SG, JM, ZM, PV, AW, JPB, JTH), pp. 221–224.

ECIR-2011-Tjin-Kam-JetTH #web

Free-Text Search versus Complex Web Forms (KTKJ, DT, DH), pp. 670–674.

ICML-2011-CoatesN #encoding

The Importance of Encoding Versus Training with Sparse Coding and Vector Quantization (AC, AYN), pp. 921–928.

TOOLS-EUROPE-2011-HillsKSV #interpreter #visitor

A Case of Visitor versus Interpreter Pattern (MH, PK, TvdS, JJV), pp. 228–243.

REFSQ-2011-LauesenK #case study

Use Cases versus Task Descriptions (SL, MAK), pp. 106–120.

DocEng-2010-GiannettiDLSC #estimation #on-demand #performance #profiling

PDF profiling for B&W versus color pages cost estimation for efficient on-demand book printing (FG, GD, RDL, GPeS, AC), pp. 177–180.

DLT-2010-GeffertP #automaton

Two-Way Unary Automata versus Logarithmic Space (VG, GP), pp. 197–208.

GT-VMT-2010-HoffmannM #graph grammar #metamodelling #modelling

Defining Models — Meta Models versus Graph Grammars (BH, MM).

CHI-2010-WuDM #detection #enterprise #network #social #using

Detecting professional versus personal closeness using an enterprise social network site (AW, JMD, DRM), pp. 1955–1964.

ICPR-2010-GuoMR #database #performance #recognition #scalability #using

Cross-Age Face Recognition on a Very Large Database: The Performance versus Age Intervals and Improvement Using Soft Biometric Traits (GG, GM, KR), pp. 3392–3395.

ICPR-2010-NegiK

SubXPCA versus PCA: A Theoretical Investigation (AN, VKK), pp. 4170–4173.

ICPR-2010-ZhaoLZZ #parallel

Parallel versus Hierarchical Fusion of Extended Fingerprint Features (QZ, FL, LZ, DZ), pp. 1132–1135.

KDD-2010-SrikantBWP #modelling

User browsing models: relevance versus examination (RS, SB, NW, DP), pp. 223–232.

SIGIR-2010-HauffJ #automation #evaluation #retrieval

Retrieval system evaluation: automatic evaluation versus incomplete judgments (CH, FdJ), pp. 863–864.

MoDELS-v2-2010-GorpE #execution #java #modelling #process

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.

SAC-2010-CappelliCGL #analysis #requirements #security

Transparency versus security: early analysis of antagonistic requirements (CC, HdSC, BGB, JCSdPL), pp. 298–305.

SAC-2010-IndermuhleBSB #documentation #online

Text versus non-text distinction in online handwritten documents (EI, HB, FS, TMB), pp. 3–7.

ICDAR-2009-KanounSGIAH #approach #recognition

Affixal Approach versus Analytical Approach for Off-Line Arabic Decomposable Vocabulary Recognition (SK, FS, HG, RI, AMA, JH), pp. 661–665.

ICSM-2009-GrechanikXF #assessment #maintenance #testing

Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts (MG, QX, CF), pp. 9–18.

DLT-2009-BolligG #logic #probability

Weighted versus Probabilistic Logics (BB, PG), pp. 18–38.

CHI-2009-HsiaoCHCHH #comparison #multi #paradigm

To move or not to move: a comparison between steerable versus fixed focus region paradigms in multi-resolution tabletop display systems (CHH, LWC, TTH, MCC, JYjH, YPH), pp. 153–162.

HCI-NIMT-2009-ElliottCR #bibliography #visual notation

Overview of Meta-analyses Investigating Vibrotactile versus Visual Display Options (LRE, MDC, ESR), pp. 435–443.

HIMI-II-2009-FicarraCG #2d #3d #e-commerce #industrial #visualisation

Industrial E-Commerce and Visualization of Products: 3D Rotation versus 2D Metamorphosis (FVCF, MCF, DAG), pp. 249–258.

HIMI-II-2009-VuMNKRBS #performance #student

Situation Awareness and Performance of Student versus Experienced Air Traffic Controllers (KPLV, KM, JHN, JMK, HR, VB, TZS), pp. 865–874.

SIGIR-2009-YilmazR #learning #rank

Deep versus shallow judgments in learning to rank (EY, SR), pp. 662–663.

SAC-2009-BakkerI

Web-services in the dutch healthcare insurance sector: expected versus achieved benefits (HB, MEI), pp. 1617–1618.

CASE-2008-Froehlich #modelling

Mission control: Local versus global modeling of robot tasking and routing (RF), pp. 566–571.

LATA-2008-BordihnH #distributed #random

Random Context in Regulated Rewriting VersusCooperating Distributed Grammar Systems (HB, MH), pp. 125–136.

CHI-2008-EverettGBWDST #performance

Electronic voting machines versus traditional methods: improved preference, similar performance (SPE, KKG, MDB, DSW, KD, DS, TT), pp. 883–892.

ECIR-2008-ScholerSBT #using

Using Clicks as Implicit Judgments: Expectations Versus Observations (FS, MS, BB, AT), pp. 28–39.

SIGIR-2008-RavanaM #evaluation #metric

Exploring evaluation metrics: GMAP versus MAP (SDR, AM), pp. 687–688.

SAC-2008-MutschlerWR #empirical #workflow

Workflow management versus case handling: results from a controlled software experiment (BM, BW, MR), pp. 82–89.

CC-2008-LogozzoF #analysis #bytecode #on the #source code

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis (FL, MF), pp. 197–212.

ICLP-2008-SchulteS #bound #dynamic analysis

Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.

LICS-2008-ChenF #axiom #equivalence #on the

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (TC, WF), pp. 156–165.

ICSM-2007-CossetteW #analysis #dependence #evaluation #semiparsing #using

Polylingual Dependency Analysis Using Island Grammars: A Cost Versus Accuracy Evaluation (BC, RJW), pp. 214–223.

LATA-2007-MesserschmidtO #automaton #nondeterminism #on the

On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.

CHI-2007-TerrenghiKSI #interactive #physics

Affordances for manipulation of physical versus digital media on interactive surfaces (LT, DSK, AS, SI), pp. 1157–1166.

HCI-AS-2007-Hsu #performance #visual notation

The Effects of Visual Versus Verbal Metaphors on Novice and Expert Learners’ Performance (YcH), pp. 264–269.

KDD-2007-TandonC #detection #network #validation

Weighting versus pruning in rule validation for detecting network and host anomalies (GT, PKC), pp. 697–706.

DATE-2006-KanajanZPS #architecture #distributed #integration #trade-off #using

Exploring trade-off’s between centralized versus decentralized automotive architectures using a virtual integration environment (SK, HZ, CP, ALSV), pp. 548–553.

DATE-2006-ParkCR #adaptation #energy #image #quality #trade-off

Dynamic bit-width adaptation in DCT: image quality versus computation energy trade-off (JP, JHC, KR), pp. 520–521.

ICGT-2006-BerwangerJ #automaton #graph

Automata on Directed Graphs: Edge Versus Vertex Marking (DB, DJ), pp. 46–60.

CHI-2006-MorrisPWS #named

TeamTag: exploring centralized versus replicated controls for co-located tabletop groupware (MRM, AP, TW, JAS), pp. 1273–1282.

ICML-2006-YeX #analysis #linear #null #orthogonal

Null space versus orthogonal linear discriminant analysis (JY, TX), pp. 1073–1080.

ICPR-v2-2006-BertolamiB #classification #integration #multi #recognition

Early feature stream integration versus decision level combination in a multiple classifier system for text line recognition (RB, HB), pp. 845–848.

ICPR-v3-2006-WangB06a #challenge #image #string #trade-off

CAPTCHA Challenge Tradeoffs: Familiarity of Strings versus Degradation of Images (SYW, JLB), pp. 164–167.

KDD-2006-XiongWC #clustering #metric #perspective #validation

K-means clustering versus validation measures: a data distribution perspective (HX, JW, JC), pp. 779–784.

SIGIR-2006-TurpinS #metric #performance #precise

User performance versus precision measures for simple search tasks (AT, FS), pp. 11–18.

FSE-2006-NgCCY #design pattern #empirical #experience #refactoring

Work experience versus refactoring to design patterns: a controlled experiment (THN, SCC, WKC, YTY), pp. 12–22.

DATE-2005-Hughes #challenge

Striking a New Balance in the Nanometer Era: First-Time-Right and Time-to-Market Demands Versus Technology Challenges (GH), p. 3.

WCRE-2005-HassanJH #architecture

Source versus Object Code Extraction for Recovering Software Architecture (AEH, ZMJ, RCH), pp. 67–76.

STOC-2005-FischerN #estimation #graph #testing

Testing versus estimation of graph properties (EF, IN), pp. 138–146.

ICEIS-v4-2005-JuellRS

J2EE versus ZOPE (PLJ, SMR, AS), pp. 64–71.

ICML-2005-PernkopfB #classification #generative #learning #network #parametricity

Discriminative versus generative parameter and structure learning of Bayesian network classifiers (FP, JAB), pp. 657–664.

ICML-2005-RayC #comparison #empirical #learning #multi

Supervised versus multiple instance learning: an empirical comparison (SR, MC), pp. 697–704.

ICALP-2004-HarshaIKNV #communication

Communication Versus Computation (PH, YI, JK, KN, SV), pp. 745–756.

ICALP-2004-Skelley #quantifier #reasoning #source code

Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas (AS), pp. 1163–1175.

ICALP-2004-Volzer #distributed #on the

On Randomization Versus Synchronization in Distributed Systems (HV), pp. 1214–1226.

SIGIR-2004-WuMMTWLLB #topic

Human versus machine in the topic distillation task (MW, GM, AM, MC(T, RW, YL, HJL, NJB), pp. 385–392.

VMCAI-2004-EnglerM #debugging #model checking #static analysis

Static Analysis versus Software Model Checking for Bug Finding (DRE, MM), pp. 191–210.

ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.

ITiCSE-2003-Rasala #maturity #object-oriented

Embryonic object versus mature object: object-oriented style and pedagogical theme (RR), pp. 89–93.

STOC-2003-BuchsbaumKKRT

OPT versus LOAD in dynamic storage allocation (ALB, HJK, CK, NR, MT), pp. 556–564.

ICALP-2003-HromkovicS03a #automaton #finite #nondeterminism

Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.

ICEIS-v2-2003-HogoLS #clustering #network #using

Conventional Versus Interval Clustering Using Kohonen Networks (MH, PL, MS), pp. 250–257.

ICEIS-v3-2003-BarjisG #requirements

Requirements Engineering Versus Language/Action Perspective: Different Facets and Possible Contribution (JB, TG), pp. 14–22.

ICML-2003-KotnikK #learning #self

The Significance of Temporal-Difference Learning in Self-Play Training TD-Rummy versus EVO-rummy (CK, JKK), pp. 369–375.

ICLP-2003-KingL #logic programming #source code #verification

Forward versus Backward Verification of Logic Programs (AK, LL), pp. 315–330.

CIAA-2002-Balik #array

DAWG versus Suffix Array (MB), pp. 233–238.

SIGIR-2002-TurpinH #user interface

User interface effects in past batch versus user experiments (AT, WRH), pp. 431–432.

ECOOP-2002-Szyperski #component #named #web #web service

Objectively: Components versus Web Services (CAS), p. 256.

ICALP-2001-GottlobP #clique #model checking

Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width (GG, RP), pp. 708–719.

AdaEurope-2001-Amey #logic

Logic versus Magic in Critical Systems (PA), pp. 49–67.

CIKM-2001-RosenthalW #data access #documentation #question

Document Release versus Data Access Controls: Two Sides of the Same Coin? (AR, GW), pp. 544–546.

ICSE-2001-LorenzV #approach #component #design

Designing Components Versus Objects: A Transformational Approach (DHL, JMV), pp. 253–224.

ESOP-2000-Thielecke #continuation #exception #on the

On Exceptions Versus Continuations in the Presence of State (HT), pp. 397–411.

WRLA-2000-BasinD #analysis #comparison #haskell #maude #protocol #security

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis (DAB, GD), pp. 235–256.

SAS-2000-FosterFA #analysis #c #points-to #polymorphism

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C (JSF, MF, AA), pp. 175–198.

ICPR-v2-2000-GuillametV #comparison #recognition

A Comparison of Global versus Local Color Histograms for Object Recognition (DG, JV), pp. 2422–2425.

SIGIR-2000-LuM #information retrieval #replication

Partial collection replication versus caching for information retrieval systems (ZL, KSM), pp. 248–255.

ICSE-2000-Horn

Dot com versus bricks and mortar — the impact of portal technology (abstract of invited presentation) (CH), p. 4.

ICDAR-1999-VelosoC #recognition

Neural versus Syntactic Recognition of Handwritten Numerals (LRV, JMdC), pp. 233–236.

SAS-1999-Volpano #safety

Safety versus Secrecy (DMV), pp. 303–311.

STOC-1999-Ajtai #linear #nondeterminism

Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract) (MA), pp. 632–641.

IFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.

HCI-CCAD-1999-HedmanL #community #human-computer #requirements

Orientation versus accomodation — new requirements for the HCI of digital communities (AH, SL), pp. 457–461.

DATE-1998-Catthoor #architecture #design #energy #performance

Energy-Delay Efficient Data Storage and Transfer Architectures: Circuit Technology versus Design Methodology Solutions (FC), pp. 709–714.

VLDB-1998-Tygar #distributed #transaction

Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce (JDT), pp. 1–12.

ITiCSE-1998-LeeP #design #education #programming #student

Programming versus design (poster): teaching first year students (PAL, CP), p. 289.

STOC-1998-Damaschke #adaptation #learning

Adaptive versus Nonadaptive Attribute-Efficient Learning (PD), pp. 590–596.

CHI-1998-Moon #distance #human-computer #interactive

The Effects of Distance in Local versus Remote Human-Computer Interaction (YM), pp. 103–108.

SIGIR-1998-KaszkielZ #database #documentation #evaluation #query #scalability

Term-Ordered Query Evaluation versus Document-Ordered Query Evaluation for Large Document Databases (MK, JZ), pp. 343–344.

ALP-PLILP-1998-Pitts #higher-order #semantics

Operational Versus Denotational Methods in the Semantics of Higher Order Languages (AMP), pp. 282–283.

POPL-1998-BallMS #profiling

Edge Profiling versus Path Profiling: The Showdown (TB, PM, SS), pp. 134–148.

RTA-1998-OttoSM #automation #convergence #finite #monad

Automatic Monoids Versus Monoids with Finite Convergent Presentations (FO, ASK, KM), pp. 32–46.

DAC-1997-SmailagicSMS #agile #case study #design #off the shelf #prototype #smarttech

Very Rapid Prototyping of Wearable Computers: A Case Study of Custom versus Off-the-Shelf Design Methodologies (AS, DPS, RM, JS), pp. 315–320.

CSEET-1997-Ganesan #re-engineering

Software Engineering: On Theory Versus Practice (RG), pp. 84–85.

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.

HCI-CC-1997-Donskoy #adaptation #locality

The Cultural Adaptation Versus Localization (MVD), pp. 137–139.

HCI-SEC-1997-Hollnagel97b #dependence

Control Versus Dependence: Striking the Balance in Function Allocation (EH), pp. 243–246.

SAC-1997-KaiserLMGP #algorithm #hybrid #predict #search-based

Polypeptide structure prediction: real-value versus binary hybrid genetic algorithms (CEK, GBL, LDM, GHGJ, RP), pp. 279–286.

HPCA-1997-ZhangT

Reducing Remote Conflict Misses: NUMA with Remote Cache versus COMA (ZZ, JT), pp. 272–281.

PODS-1996-AbiteboulHB #database #first-order #logic #query

Temporal Versus First-Order Logic to Query Temporal Databases (SA, LH, JVdB), pp. 49–57.

CHI-1996-GrahamM #physics

Physical versus Virtual Pointing (EDG, CLM), pp. 292–299.

ICML-1996-PendrithR #difference #learning

Actual Return Reinforcement Learning versus Temporal Differences: Some Theoretical and Experimental Results (MDP, MRKR), pp. 373–381.

KDD-1996-JohnL #data mining #mining

Static Versus Dynamic Sampling for Data Mining (GHJ, PL), pp. 367–370.

POPL-1996-Pippenger #lisp

Pure versus Impure LISP (NP), pp. 104–109.

CSEE-1995-Stinson #assurance #quality

Academic Freedom versus Quality Assurance (MCS), p. 263.

ICSM-1995-Schneberger #complexity #component #distributed #maintenance

Software maintenance in distributed computer environments: system complexity versus component simplicity (SLS), pp. 304–317.

STOC-1995-KivinenW #linear #predict

Additive versus exponentiated gradient updates for linear prediction (JK, MKW), pp. 209–218.

ICALP-1995-BeckerDT

OKFDDs versus OBDDs and OFDDs (BB, RD, MT), pp. 475–486.

ICALP-1995-DurisG #automaton

Sensing Versus Nonsensing Automata (PD, ZG), pp. 455–463.

CHI-1995-ParikhL #design #interface

Electronic Futures Markets versus Floor Trading: Implications for Interface Design (SSP, GLL), pp. 296–303.

KR-1994-BeekD #consistency #constraints

Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.

OOPSLA-1994-Seidewitz #inheritance #self #using

Genericity versus Inheritance Reconsidered: Self-Reference Using Generics (ES), pp. 153–163.

CC-1994-HoogerbruggeC

Transport-Triggering versus Operation-Triggering (JH, HC), pp. 435–449.

DLT-1993-HromkovicRS #nondeterminism

Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines (JH, BR, AS), pp. 314–325.

ICALP-1993-KarpinskiV #on the #random

On Randomized Versus Deterministic Computation (MK, RV), pp. 227–240.

INTERCHI-1993-MonkNGMM #case study #communication

Mixing oil and water?: Ethnography versus experimental psychology in the study of computer-mediated communication (AFM, BAN, NG, MMM, JCM), pp. 3–6.

CAiSE-1993-Motschnig-Pitrik #modelling #semantics

The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling (RMP), pp. 352–373.

ICML-1993-Tan #independence #learning #multi

Multi-Agent Reinforcement Learning: Independent versus Cooperative Agents (MT), pp. 330–337.

TOOLS-EUROPE-1993-LaurentS #approach #case study #industrial #object-oriented

“Traditional” versus Object-Oriented Approach: a Case Study in an Industrial Environment (PL, NS), pp. 109–114.

TLCA-1993-Otth

Monotonic versus Antimonotonic Exponentation (DFO), pp. 318–327.

DAC-1992-Jones #incremental

Zero Delay versus Positive Delay in an Incremental Switch-Level Simulator (LGJ), pp. 424–427.

STOC-1992-BeameL #communication #complexity #nondeterminism #random

Randomized versus Nondeterministic Communication Complexity (PB, JL), pp. 188–199.

STOC-1992-Sipser

The History and Status of the P versus NP Question (MS), pp. 603–618.

TRI-Ada-C-1992-Cleveland #implementation

Implementation versus Binding to the X Window Environment (SC), pp. 477–481.

ML-1992-Venturini #classification #named

AGIL: Solving the Exploration Versus Exploration Dilemma in a single Classifier System Applied to Simulated Robotics (GV), pp. 458–463.

PLILP-1992-Holzbaur #unification

Metastructures versus Attributed Variables in the Context of Extensible Unification (CH), pp. 260–268.

SIGMOD-1991-Lenat

Computers versus Common Sense (DBL), p. 1.

CSL-1991-Gonzalez-MorenoHR #declarative #functional #programming #semantics

Denotational Versus Declarative Semantics for Functional Programming (JCGM, MTHG, MRA), pp. 134–148.

ICLP-1991-Meier #prolog #recursion

Recursion versus Iteration in Prolog (MM), pp. 157–169.

ISLP-1991-RamakrishnanS #bottom-up #revisited #top-down

Top-Down versus Bottom-Up Revisited (RR, SS), pp. 321–336.

TAV-1991-Young #formal method #question #re-engineering

Formal Methods versus Software Engineering: Is There a Conflict? (WDY), pp. 188–189.

CSL-1990-Goerdt #proving

Cuting Plane Versus Frege Proof Systems (AG), pp. 174–194.

SIGMOD-1989-Christodoulakis #performance #retrieval

Retrieval Performance Versus Disc Space Utilization on WORM Optical Discs (SC, DAF), pp. 306–314.

ICALP-1989-MehlhornP #source code

Two Versus One Index Register and Modifiable Versus Non-modifiable Programs (KM, WJP), pp. 603–609.

ICALP-1989-RaghavanS #algorithm #memory management #online

Memory Versus Randomization in On-line Algorithms (Extended Abstract) (PR, MS), pp. 687–703.

ASPLOS-1989-Mulder #runtime

Data Buffering: Run-Time Versus Compile-Time Support (HM), pp. 144–151.

CSL-1989-Goerdt #strict

Davis-Putnam Resolution versus Unrestricted Resolution (AG), pp. 143–162.

PLDI-1988-Wall

Register Windows versus Register Allocation (DWW), pp. 67–78.

CSL-1988-Gradel #complexity #modelling #nondeterminism

Size of Models versus Length of Computations: On Inseparability by Nondeterministic Time Complexity Classes (EG), pp. 118–137.

ASPLOS-1987-BorrielloCDN #case study #prolog

RISCs versus CISCs for Prolog: A Case Study (GB, ARC, PBD, MNN), pp. 136–145.

STOC-1986-GoldwasserS #interactive #proving

Private Coins versus Public Coins in Interactive Proof Systems (SG, MS), pp. 59–68.

OOPSLA-1986-Meyer #inheritance

Genericity versus Inheritance (BM), pp. 391–405.

PODS-1985-BancilhonS #algebra #database #independence #probability

Algebraic Versus Probabilistic Independence in Data Bases (FB, NS), pp. 149–153.

STOC-1984-SlotB #on the #performance

On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space (CFS, PvEB), pp. 391–400.

ICALP-1984-Reisig #partial order #semantics

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness (WR), pp. 403–413.

SIGIR-1984-Defude #architecture #design #knowledge base #problem

Knowledge Based Systems Versus Thesaurus: An Architecture Problem About Expert Systems Design (BD), pp. 267–280.

STOC-1983-HartmanisSI #set

Sparse Sets in NP-P: EXPTIME versus NEXPTIME (JH, VS, NI), pp. 382–391.

POPL-1983-EmersonH #branch #linear

“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.

GG-1982-Paz #geometry

Geometry versus topology in map grammars (AP), pp. 288–296.

VLDB-1981-Ries #database #distributed

Distributed Data Processing Versus Distributed Data Base Processing (DRR), p. 386.

DAC-1980-ChaoHY #approach #consistency #layout

A hierarchical approach for layout versus circuit consistency check (SPC, YSH, LMY), p. 269.

DAC-1980-ChaoHY80a #approach #consistency #layout

A hierarchical approach for layout versus circuit consistency check (SPC, YSH, LMY), pp. 270–276.

SIGIR-1980-KracsonyKM #analysis #comparative #hardware

Comparative Analysis of Hardware Versus Software Text Search (PK, GJK, AM), pp. 268–279.

STOC-1979-Long #on the #polynomial

On γ-Reducibility versus Polynomial Time Many-One Reducibility (Extended Abstract) (TJL), pp. 278–287.

GG-1978-GrotschN #graph #parallel

Explicit versus Implicit Parallel Rewriting on Graphs (EG, MN), pp. 237–254.

VLDB-1977-Fagin #approach #composition #database #design #relational

The Decomposition Versus Synthetic Approach to Relational Database Design (RF), pp. 441–446.

ICALP-1977-Alton #complexity #memory management #metric

“Natural” Complexity Measures and Time versus Memory: Some Definitional Proposals (DAA), pp. 16–29.

POPL-1973-GellerH #lr #parsing #strict

Strict Deterministic Versus LR(0) Parsing (MMG, MAH), pp. 22–32.