BibSLEIGH — two stem

Used together with:

dimension (106)
use (91)
level (87)
base (83)
stage (78)

Stem two$ (all stems)

989 papers:

CASE-2015-DafleMSRR: A two-phase gripper to reorient and grasp (NCD, MTM, HS, GFR, AR), pp. 1249–1255.
CASE-2015-QuZJCL #2d: A MEMS microgripper with two-axis actuators and force sensors for microscale mechanical characterization of soft materials (JQ, WZ, AJ, SSDC, XL), pp. 1620–1625.
CASE-2015-SaksenaNKK #2d #assembly #automation #parametricity #using: Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
CASE-2015-ShinarTG #fault tolerance #robust: Fault-tolerant robust capture zone with respect to two faults (JS, VT, VYG), pp. 1036–1041.
CASE-2015-SuWCRT #adaptation #fuzzy #learning: Adaptive PD fuzzy control with dynamic learning rate for two-wheeled balancing six degrees of freedom robotic arm (SFS, KJW, MCC, IJR, CCT), pp. 1258–1261.
DATE-2015-RustLP #approximate #architecture: QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
DATE-2015-RustP #approximate #design #multi: Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.
DRR-2015-BideaultMCP #architecture #regular expression #using #word: Spotting handwritten words and REGEX using a two stage BLSTM-HMM architecture (GB, LM, CC, TP).
VLDB-2015-ZhouLLZ #graph #named #optimisation #performance: GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
ITiCSE-2015-AbidBA #education #refactoring: Reflections on Teaching Refactoring: A Tale of Two Projects (SA, HAB, NA), pp. 225–230.
ESOP-2015-FrielinghausPS #interprocedural: Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.
ICPC-2015-Roehm #comprehension #developer: Two user perspectives in program comprehension: end users and developer users (TR), pp. 129–139.
ICSME-2015-BavotaR #code review #quality: Four eyes are better than two: On the impact of code reviews on software quality (GB, BR), pp. 81–90.
ICSME-2015-NittaM #abstraction #why: Delta extraction: An abstraction technique to comprehend why two objects could be related (NN, TM), pp. 61–70.
MSR-2015-Zacchiroli #dataset #metadata #source code: The Debsources Dataset: Two Decades of Debian Source Code Metadata (SZ), pp. 466–469.
SCAM-2015-AivaloglouHH #dataset #scalability #spreadsheet: A grammar for spreadsheet formulas evaluated on two large datasets (EA, DH, FH), pp. 121–130.
STOC-2015-HardtP #bound #learning: Tight Bounds for Learning a Mixture of Two Gaussians (MH, EP), pp. 753–760.
CIAA-2015-Hulden #automaton #finite #regular expression: From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
DLT-2015-BianchiHK #automaton #liveness #on the #problem: On the Size of Two-Way Reasonable Automata for the Liveness Problem (MPB, JH, IK), pp. 120–131.
DLT-2015-CzybaST #automaton #finite #infinity #modelling: Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (CC, CS, WT), pp. 203–214.
ICALP-v1-2015-CsehHK: Popular Matchings with Two-Sided Preferences and One-Sided Ties (ÁC, CCH, TK), pp. 367–379.
ICALP-v1-2015-KawaseKY #graph: Finding a Path in Group-Labeled Graphs with Two Labels Forbidden (YK, YK, YY), pp. 797–809.
ICALP-v1-2015-WangW #algorithm #online: Two-sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm (YW, SCwW), pp. 1070–1081.
ICALP-v2-2015-GiannakopoulosK: Selling Two Goods Optimally (YG, EK), pp. 650–662.
LATA-2015-AnselmoGM #2d #decidability: Structure and Measure of a Decidable Class of Two-dimensional Codes (MA, DG, MM), pp. 315–327.
LATA-2015-GamardR #2d: Coverability in Two Dimensions (GG, GR), pp. 402–413.
LATA-2015-HalavaNP #game studies #on the: On Robot Games of Degree Two (VH, RN, IP), pp. 224–236.
ICFP-2015-Russo #functional #haskell: Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
CHI-2015-DittmarH #design: Two-Level Personas for Nested Design Spaces (AD, MH), pp. 3265–3274.
CSCW-2015-GaoXHYCF #collaboration #multi: Two is Better Than One: Improving Multilingual Collaboration by Giving Two Machine Translation Outputs (GG, BX, DCH, ZY, DC, SRF), pp. 852–863.
DUXU-DD-2015-Fernandez #analysis #health #human-computer #interactive: Interactive Digital Storytelling and HCI Techniques Applied for Edutainment in Interactive Health Projects: Analysis of Two USC’s Labyrinth Projects (JIMF), pp. 621–633.
HCI-IT-2015-KinemuchiKY: Synchronization Between Utterance Rhythm and Body Movement in a Two-Person Greeting (KK, HK, TY), pp. 305–316.
HCI-IT-2015-SatoAOO #analysis #automation #classification #image: Automatic Classification Between Involuntary and Two Types of Voluntary Blinks Based on an Image Analysis (HS, KA, SO, MO), pp. 140–149.
ICEIS-v2-2015-CanutMOPS #algorithm #case study #comparative #empirical #profiling: A Comparative Study of Two Egocentric-based User Profiling Algorithms — Experiment in Delicious (CMFC, MM, SOa, AP, FS), pp. 632–639.
ICML-2015-NarasimhanK0 #metric #optimisation #performance: Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICML-2015-PerolatSPP #approximate #game studies #markov #programming: Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.
ICML-2015-WeissN #alias #learning: Learning Parametric-Output HMMs with Two Aliased States (RW, BN), pp. 635–644.
RecSys-2015-SahebiB #collaboration: It Takes Two to Tango: An Exploration of Domain Pairs for Cross-Domain Collaborative Filtering (SS, PB), pp. 131–138.
SEKE-2015-NetoSZD #network #using: Using implications from FCA to represent a two mode network data (SMN, MAJS, LEZ, SMD), pp. 256–259.
ECMFA-2015-RossiniLGN #comparison #modelling #multi: A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications (AR, JdL, EG, NN), pp. 18–32.
MoDELS-2015-LettnerEGP #case study #experience #feature model #industrial #lessons learnt #modelling #scalability: Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (DL, KE, PG, HP), pp. 386–395.
ECOOP-2015-VekrisCJ #trust #type system #verification: Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
POPL-2015-Buneman #database #programming #question: Databases and Programming: Two Subjects Divided by a Common Language? (PB), p. 487.
CSL-2015-CartonD #transducer: Aperiodic Two-way Transducers and FO-Transductions (OC, LD), pp. 160–174.
CSL-2015-Charatonik0 #linear #logic #order: Two-variable Logic with Counting and a Linear Order (WC, PW), pp. 631–647.
CSL-2015-GasconST #polynomial #strict #unification: Two-Restricted One Context Unification is in Polynomial Time (AG, MSS, AT), pp. 405–422.
CSL-2015-Paperman #first-order #logic: Finite-Degree Predicates and Two-Variable First-Order Logic (CP), pp. 616–630.
ISSTA-2015-WangGMC #android #approach #clone detection #detection #named #scalability: WuKong: a scalable and accurate two-phase approach to Android app clone detection (HW, YG, ZM, XC), pp. 71–82.
LICS-2015-BlondinFGHM #2d #reachability: Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
LICS-2015-ChatterjeeKK #markov #multi #process: Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
LICS-2015-KrebsV #bound #logic #refinement: Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
LICS-2015-Place #quantifier #regular expression: Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.
RTA-2015-KotsireasKS #design #equation #orthogonal #unification: Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification (ISK, TK, DES), pp. 241–256.
WICSA-2014-JavedZ #architecture #comprehension #traceability: The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments (MAJ, UZ), pp. 215–224.
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-TrikiGX #approach #health: A two-phase approach for periodic home health care planning (NT, TG, XX), pp. 518–523.
CASE-2014-YangWQZ #clustering #multi #scheduling #tool support: Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules (FY, NW, YQ, MZ), pp. 75–80.
DAC-2014-DengBZW #performance: An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DATE-2014-KimKKYL #design: Coarse-grained Bubble Razor to exploit the potential of two-phase transparent latch designs (HK, DK, JJK, SY, SL), pp. 1–6.
DATE-2014-MullerM #scheduling: The schedulability region of two-level mixed-criticality systems based on EDF-VD (DM, AM), pp. 1–6.
DocEng-2014-SouzaMH #metadata #named #using: ARCTIC: metadata extraction from scientific papers in pdf using two-layer CRF (AS, VPM, CAH), pp. 121–130.
DRR-2014-HajiABSP #approach #documentation #keyword: Two-stage approach to keyword spotting in handwritten documents (MMH, MRA, TDB, CYS, DP), p. ?–12.
HT-2014-ChengKWT #architecture #distributed #memory management #performance #rdf #scalability: A two-tier index architecture for fast processing large RDF data over distributed memory (LC, SK, TEW, GT), pp. 300–302.
ESOP-2014-MangalNY #analysis #interprocedural: A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
ICPC-2014-ShahinLL #architecture #comprehension #design: Do architectural design decisions improve the understanding of software architecture? two controlled experiments (MS, PL, ZL), pp. 3–13.
DLT-J-2013-AnselmoGM14 #2d #decidability: Prefix Picture codes: a Decidable class of Two-Dimensional codes (MA, DG, MM), pp. 1017–1032.
AFL-2014-BarashO: Grammars with two-sided contexts (MB, AO), pp. 94–108.
AFL-2014-CarninoL #ambiguity #automaton #on the: On Determinism and Unambiguity of Weighted Two-way Automata (VC, SL), pp. 188–200.
CIAA-2014-BiasiY #automaton: Unary Languages Recognized by Two-Way One-Counter Automata (MDB, AY), pp. 148–161.
CIAA-2014-GusevP #automaton: Reset Thresholds of Automata with Two Cycle Lengths (VVG, EVP), pp. 200–210.
DLT-2014-Berlinkov #algorithm #automaton #on the #problem: On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.
DLT-2014-BrzozowskiS #bound #complexity: Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals (JAB, MS), pp. 13–24.
ICALP-v1-2014-BjorklundH #polynomial: Shortest Two Disjoint Paths in Polynomial Time (AB, TH), pp. 211–222.
ICALP-v2-2014-CooperER #distributed #power of: The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
LATA-2014-BednarovaG #automaton: Two Double-Exponential Gaps for Automata with a Limited Pushdown (ZB, VG), pp. 113–125.
LATA-2014-OttoM #automaton #order: Extended Two-Way Ordered Restarting Automata for Picture Languages (FO, FM), pp. 541–552.
SEFM-2014-DeganoFG #adaptation #reliability #static analysis: A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
CHI-2014-LiuGFXHK #analysis: CHI 1994-2013: mapping two decades of intellectual progress through co-word analysis (YL, JG, DF, BX, SH, VK), pp. 3553–3562.
CHI-2014-NgBW #interactive #mobile: Investigating the effects of encumbrance on one- and two- handed interactions with mobile devices (AN, SAB, JHW), pp. 1981–1990.
CHI-2014-SoloveyZPRM #performance #using: Classifying driver workload using physiological and driving performance data: two field studies (ETS, MZ, EAGP, BR, BM), pp. 4057–4066.
CHI-2014-TsandilasABB #coordination: Coordination of tilt and touch in one- and two-handed use (TT, CA, AB, DB), pp. 2001–2004.
CHI-2014-XuGFC: Improving machine translation by showing two outputs (BX, GG, SRF, DC), pp. 3743–3746.
CHI-2014-ZaczynskiW #design #game studies #guidelines #interactive: Establishing design guidelines in interactive exercise gaming: preliminary data from two posing studies (MZ, ADW), pp. 1875–1884.
DUXU-TMT-2014-SchmuntzschF #design #how #smarttech: How Two become One — Creating Synergy Effects by Applying the Joint Interview Method to Design Wearable Technology (US, LHF), pp. 173–184.
HIMI-AS-2014-Coelho #analysis: Association of CCR and BCC Efficiencies to Market Variables in a Retrospective Two Stage Data Envelope Analysis (DAC), pp. 151–159.
HIMI-DE-2014-KaramT #gesture #interactive #symmetry: Two-Handed Interactive Menu: An Application of Asymmetric Bimanual Gestures and Depth Based Selection Techniques (HK, JT), pp. 187–198.
HIMI-DE-2014-Rodriguez #algorithm #image #matlab #predict: Prediction or Guess? Decide by Looking at Two Images Generated by a “MATLAB MySQL” Algorithm (CR0), pp. 87–97.
CIKM-2014-LiuWZNZM #web: From Skimming to Reading: A Two-stage Examination Model for Web Search (YL, CW, KZ, JYN, MZ, SM), pp. 849–858.
ECIR-2014-HuangDHL #approach: A Two-level Approach for Subtitle Alignment (JH, HD, XH, YL), pp. 468–473.
ICML-c2-2014-WangSSMK #learning #metric: Two-Stage Metric Learning (JW, KS, FS, SMM, AK), pp. 370–378.
ICPR-2014-DuanHZCZ #image #segmentation #using: A Two-Stage Image Segmentation Method Using Euler’s Elastica Regularized Mumford-Shah Model (YD, WH, JZ, HC, TZ), pp. 118–123.
ICPR-2014-HuWSC #detection #framework #robust #using: Robust Head-Shoulder Detection Using a Two-Stage Cascade Framework (RH, RW, SS, XC), pp. 2796–2801.
ICPR-2014-ItohIS #2d #image #linear #using: Two-Dimensional Global Image Registration Using Local Linear Property of Image Manifold (HI, AI, TS), pp. 3862–3867.
ICPR-2014-OnoKKF #2d #automation #recognition #robust: A Two-Dimensional Barcode with Robust Decoding against Distortion and Occlusion for Automatic Recognition of Garbage Bags (SO, YK, HK, SF), pp. 2879–2884.
ICPR-2014-RingLRE #assessment #using: A Two-Stage Regression Using Bioimpedance and Temperature for Hydration Assessment During Sports (MR, CL, MR, BE), pp. 4519–4524.
ICPR-2014-TouaziMB #feature model #game studies: Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.
ICPR-2014-YuCK #distance #recognition #set #using: Pill Recognition Using Imprint Information by Two-Step Sampling Distance Sets (JY, ZC, SiK), pp. 3156–3161.
KDIR-2014-MeguebliKDP14a #personalisation #recommendation: Stories Around You — A Two-Stage Personalized News Recommendation (YM, MK, BLD, FP), pp. 473–479.
KDIR-2014-SuciuICDP #learning #word: Learning Good Opinions from Just Two Words Is Not Bad (DAS, VVI, ACC, MD, RP), pp. 233–241.
SEKE-2014-GaoKN #estimation #learning #quality #ranking: Comparing Two Approaches for Adding Feature Ranking to Sampled Ensemble Learning for Software Quality Estimation (KG, TMK, AN), pp. 280–285.
SEKE-2014-SantosM #detection #identification: Identifying strategies on god class detection in two controlled experiments (JAMS, MGM), pp. 244–249.
SEKE-2014-XuL14a #ontology #reasoning #semantics #using: Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.
SIGIR-2014-LiDWDCZ #2d #query: A two-dimensional click model for query auto-completion (YL, AD, HW, HD, YC, CZ), pp. 455–464.
PADL-2014-SonPL #multi #prolog #source code: Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
SAC-2014-SwamyIG #2d #image: Two level reversible data hiding in 2D images (NRS, SI, PG), pp. 58–59.
ICSE-2014-StolF #case study #crowdsourcing #development: Two’s company, three’s a crowd: a case study of crowdsourcing software development (KJS, BF), pp. 187–198.
CC-2014-FranzHKSV #c #compilation #named: CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
CAV-2014-HadareanBJBT #lazy evaluation: A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors (LH, KB, DJ, CB, CT), pp. 680–695.
LICS-CSL-2014-BlumensathCKPB #automaton #infinity #logic: Two-way cost automata and cost logics over infinite trees (AB, TC, DK, PP, MVB), p. 9.
LICS-CSL-2014-DemriD #logic: Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.
CASE-2013-SunSZS #approach #optimisation: A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.
CASE-2013-WangJLC #capacity #policy: Integrated capacity allocation policies for a production service system with two-class customers and items (KW, ZJ, GL, JC), pp. 83–88.
CASE-2013-ZhuGX #scheduling: MDP-based appointment scheduling for one examination of two types of outpatients (LZ, NG, XX), pp. 764–769.
DATE-2013-ChenL #2d #architecture #data access #memory management: Dual-addressing memory architecture for two-dimensional memory access patterns (YHC, YYL), pp. 71–76.
DATE-2013-Mueller-GritschnederLWGS #case study #framework #prototype #realtime: A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.
ICDAR-2013-TarafdarPRRR #approach #documentation #visual notation #word: A Two-Stage Approach for Word Spotting in Graphical Documents (AT, UP, PPR, NR, JYR), pp. 319–323.
VLDB-2014-KaulWYJ13: Finding Shortest Paths on Terrains by Killing Two Birds with One Stone (MK, RCWW, BY, CSJ), pp. 73–84.
ITiCSE-2013-BillingsleyS #comparison #integration: A comparison of two iterations of a software studio course based on continuous integration (WB, JS), pp. 213–218.
DLT-J-2012-HromkovicKKS13 #automaton #logic #nondeterminism #representation: Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 955–978.
CIAA-2013-GrathwohlHNR #parsing #regular expression: Two-Pass Greedy Regular Expression Parsing (NBBG, FH, LN, UTR), pp. 60–71.
CIAA-2013-PrusaMO #2d #automaton: Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata (DP, FM, FO), pp. 268–279.
DLT-2013-AnselmoGM #2d: Two Dimensional Prefix Codes of Pictures (MA, DG, MM), pp. 46–57.
DLT-2013-Pin #regular expression: An Explicit Formula for the Intersection of Two Polynomials of Regular Languages (JÉP), pp. 31–45.
ICALP-v1-2013-DemainePRSSW #assembly: The Two-Handed Tile Assembly Model Is Not Intrinsically Universal (EDD, MJP, TAR, RTS, SMS, DW), pp. 400–412.
ICALP-v1-2013-KonradR #approximate #communication #streaming: Approximating Semi-matchings in Streaming and in Two-Party Communication (CK, AR), pp. 637–649.
ICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic: Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
ICALP-v2-2013-FearnleyJ #automaton #reachability: Reachability in Two-Clock Timed Automata Is PSPACE-Complete (JF, MJ), pp. 212–223.
LATA-2013-ChamparnaudDJM #regular expression: Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions (JMC, JPD, HJ, LM), pp. 202–213.
LATA-2013-Souza #transducer: Uniformisation of Two-Way Transducers (RdS), pp. 547–558.
CHI-2013-DruckerFSHs #case study #data analysis #interface #named: TouchViz: a case study comparing two interfaces for data analytics on tablets (SMD, DF, RS, JH, MMCS), pp. 2301–2310.
CHI-2013-OulasvirtaRLZBVK: Improving two-thumb text entry on touchscreen devices (AO, AR, WL, YZ, MB, KV, POK), pp. 2765–2774.
DHM-HB-2013-BotterBCKME: The Biomechanical and Physiological Effect of Two Dynamic Workstations (JB, EMB, DC, RK, SHvM, RPE), pp. 196–204.
DUXU-CXC-2013-Chang #evaluation #segmentation #usability: Usability Evaluation of Two Chinese Segmentation Methods in Subtitles to Scaffold Chinese Novice (CKC), pp. 28–37.
DUXU-CXC-2013-MenardKD #behaviour #image #online: Two Solitudes Revisited: A Cross-Cultural Exploration of Online Image Searcher’s Behaviors (EM, NK, JD), pp. 79–88.
DUXU-NTE-2013-Schieder: Merging Two Worlds Together (AS), pp. 199–204.
HCI-AS-2013-AndujarEGM #learning: Evaluating Engagement Physiologically and Knowledge Retention Subjectively through Two Different Learning Techniques (MA, JIE, JEG, PM), pp. 335–342.
HCI-IMT-2013-EbisawaF #detection #using #video: Head-Free, Remote Gaze Detection System Based on Pupil-Corneal Reflection Method with Using Two Video Cameras — One-Point and Nonlinear Calibrations (YE, KF), pp. 205–214.
HCI-IMT-2013-GalatasPM #artificial reality #distance #multi #recognition #robust #speech #video: Robust Multi-Modal Speech Recognition in Two Languages Utilizing Video and Distance Information from the Kinect (GG, GP, FM), pp. 43–48.
HCI-IMT-2013-SchwallerBL #gesture #human-computer: Two Handed Mid-Air Gestural HCI: Point + Command (MS, SB, DL), pp. 388–397.
HIMI-D-2013-KoedaKN #estimation: Relative Position Calibration between Two Haptic Devices Based on Minimum Variance Estimation (MK, YK, HN), pp. 72–79.
CIKM-2013-BarahmandGY #comparison #design #interactive #network #physics #social: A comparison of two physical data designs for interactive social networking actions (SB, SG, JY), pp. 949–958.
CIKM-2013-BonomiX #algorithm #difference #mining #privacy: A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
ECIR-2013-DangBC #information retrieval #learning #rank: Two-Stage Learning to Rank for Information Retrieval (VD, MB, WBC), pp. 423–434.
ICML-c3-2013-HonorioJ #bound #exponential #fault: Two-Sided Exponential Concentration Bounds for Bayes Error Rate and Shannon Entropy (JH, TSJ), pp. 459–467.
MLDM-2013-BijaksanaLA #classification: A Pattern Based Two-Stage Text Classifier (MAB, YL, AA), pp. 169–182.
SEKE-2013-HansenM #analysis #ecosystem #network #towards: Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems (KMH, KM), pp. 326–331.
SIGIR-2013-RossiMCS #performance #query #using: Fast document-at-a-time query processing using two-tier indexes (CR, ESdM, ALC, ASdS), pp. 183–192.
POPL-2013-UpadrastaC #scheduling #using: Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (RU, AC), pp. 483–496.
SAC-2013-BhattacharjeeJ #algorithm #named #repository #scalability #similarity: CodeBlast: a two-stage algorithm for improved program similarity matching in large software repositories (AB, HMJ), pp. 846–852.
SAC-2013-LeitaoC #adaptation #detection #optimisation #performance #using #xml: Efficient XML duplicate detection using an adaptive two-level optimization (LL, PC), pp. 832–837.
ICSE-2013-Kukreja #approach #requirements #towards: Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.
HPCA-2013-BonannoCLMPS #branch #predict: Two level bulk preload branch prediction (JB, AC, DL, UM, BP, AS), pp. 71–82.
LCTES-2013-MehiaouiWPMNZBLG #clustering #distributed #optimisation: A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems (AM, EW, STP, CM, MDN, HZ, JPB, LL, SG), pp. 121–132.
CSL-2013-ManuelZ #2d #logic: Two-Variable Logic on 2-Dimensional Structures (AM, TZ), pp. 484–499.
LICS-2013-CharatonikW #logic: Two-Variable Logic with Counting and Trees (WC, PW), pp. 73–82.
LICS-2013-FiliotGRS #finite #transducer: From Two-Way to One-Way Finite State Transducers (EF, OG, PAR, FS), pp. 468–477.
VMCAI-2013-ZhengS0LD0 #network #partial order #reduction #using: State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.
CASE-2012-CostantinoDEFS #analysis #evaluation #fuzzy #novel #performance: A novel fuzzy Data Envelopment Analysis methodology for performance evaluation in a two-stage supply chain (NC, MD, NE, MF, FS), pp. 974–979.
CASE-2012-HanXZLW #concurrent #policy: Two-stage deadlock prevention policy based on resource-transition circuits (LH, KX, MZ, HL, FW), pp. 741–746.
CASE-2012-TonkeL #clustering #independence #scheduling: Scheduling of a dual-armed cluster tool with two independent robot arms (DT, TEL), pp. 200–205.
VLDB-2012-AlyAO #query: Spatial Queries with Two kNN Predicates (AMA, WGA, MO), pp. 1100–1111.
VLDB-2012-GuanYK #correlation #graph: Measuring Two-Event Structural Correlations on Graphs (ZG, XY, LMK), pp. 1400–1411.
MSR-2012-BirdN #development #distributed #open source #scalability #what: Who? Where? What? Examining distributed development in two large open source projects (CB, NN), pp. 237–246.
MSR-2012-SouzaC #debugging #ide #open source #verification: Characterizing verification of bug fixes in two open source IDEs (RS, CC), pp. 70–73.
AFL-J-2011-IbarraS12 #bound #linear: Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
DLT-J-2011-ZhengQL12 #automaton #finite #quantum: Some Languages Recognized by Two-Way Finite Automata with Quantum and Classical States (SZ, DQ, LL), pp. 1117–1130.
DLT-2012-Carton #transducer: Two-Way Transducers with a Two-Way Output Tape (OC), pp. 263–272.
DLT-2012-HromkovicKKS #automaton #logic #nondeterminism #representation: Determinism vs. Nondeterminism for Two-Way Automata — Representing the Meaning of States by Logical Formulæ (JH, RK, RK, RS), pp. 24–39.
DLT-2012-PrusaM #2d #automaton: Two-Dimensional Sgraffito Automata (DP, FM), pp. 251–262.
ICALP-v2-2012-OngT #game studies #recursion #semantics: Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
LATA-2012-GeffertGP #automaton: Two-Way Automata Making Choices Only at the Endmarkers (VG, BG, GP), pp. 264–276.
LATA-2012-KaraST #automaton #logic #word: Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.
CHI-2012-HarrisonH #2d #interactive #using: Using shear as a supplemental two-dimensional input channel for rich touchscreen interaction (CH, SEH), pp. 3149–3152.
CHI-2012-TeradaYI #adaptation #game studies: Experimental investigation of human adaptation to change in agent’s strategy through a competitive two-player game (KT, SY, AI), pp. 2807–2810.
CIKM-2012-AsadiL #documentation #generative #performance #ranking: Fast candidate generation for two-phase document ranking: postings list intersection with bloom filters (NA, JL), pp. 2419–2422.
CIKM-2012-DeepakVWS #documentation #segmentation: Two-part segmentation of text documents (PD, KV, NW, SS), pp. 793–802.
CIKM-2012-KurlandRS #clustering #predict #ranking: Query-performance prediction and cluster ranking: two sides of the same coin (OK, FR, AS), pp. 2459–2462.
ICML-2012-BootsG #identification #problem: Two Manifold Problems with Applications to Nonlinear System Identification (BB, GJG), p. 8.
ICML-2012-KumarNKD #classification #framework #kernel #learning #multi: A Binary Classification Framework for Two-Stage Multiple Kernel Learning (AK, ANM, KK, HDI), p. 173.
ICML-2012-NanCLC #optimisation: Optimizing F-measure: A Tale of Two Approaches (NY, KMAC, WSL, HLC), p. 202.
ICPR-2012-BoresB #monitoring #process: Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPR-2012-JetleyBKN #documentation #hybrid #image #segmentation: Two-stage hybrid binarization around fringe map based text line segmentation for document images (SJ, SB, VKK, AN), pp. 343–346.
ICPR-2012-MaLWZH #authentication #multimodal #security: Enhancing biometric security with wavelet quantization watermarking based two-stage multimodal authentication (BM, CL, YW, ZZ, DH), pp. 2416–2419.
ICPR-2012-MurataS #optimisation: Optimizing a triangular mesh by separately dealing with incorrectness of two patches (KM, YS), pp. 1318–1321.
ICPR-2012-YeKC #classification #multi: Combining general multi-class and specific two-class classifiers for improved customized ECG heartbeat classification (CY, BVKVK, MTC), pp. 2428–2431.
KDD-2012-Davidson #clustering #comprehension #constraints: Two approaches to understanding when constraints help clustering (ID), pp. 1312–1320.
SEKE-2012-DingS #architecture #collaboration #mobile #using: Proactive Two Way Mobile Advertisement Using a Collaborative Client Server Architecture (WD, XS), pp. 768–773.
SEKE-2012-LobatoMNAM #risk management #synthesis: Synthesizing Evidence on Risk Management: A Narrative Synthesis of two Mapping Studies (LLL, IdCM, PAdMSN, ESdA, SRdLM), pp. 641–646.
REFSQ-2012-EngelsmanW #architecture #case study #enterprise #lessons learnt #requirements: Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned (WE, RW), pp. 306–320.
SAC-2012-BromanFHA #comparison #domain-specific language #implementation: A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, JÅ), pp. 1919–1921.
SAC-2012-ChenNX #collaboration #recommendation: A common neighbour based two-way collaborative recommendation method (LC, RN, YX), pp. 214–215.
SAC-2012-ChiwiacowskyGMVG #algorithm #search-based: A two-level procedure based on genetic algorithms to optimize an aeronautical composite structure (LDC, PG, RM, HFdCV, ATG), pp. 259–260.
SAC-2012-SenarathneW #approach #coordination #multi: A two-level approach for multi-robot coordinated exploration of unstructured environments (PGCNS, DW), pp. 274–279.
SAC-2012-ShinC #comparative #evaluation #feedback #requirements #retrieval: A comparative evaluation of two user feedback techniques for requirements trace retrieval (YS, JCH), pp. 1069–1074.
SLE-2012-GuizzardiZ #concept #modelling: A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling (GG, VZ), pp. 286–310.
CSL-2012-KieronskiM #logic #transitive: Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.
ICLP-2012-Lifschitz #logic programming #source code: Two-Valued Logic Programs (VL), pp. 259–266.
ICST-2012-Runeson #case study #collaboration #experience #industrial: It Takes Two to Tango — An Experience Report on Industry — Academia Collaboration (PR), pp. 872–877.
LICS-2012-KieronskiMPT #equivalence #first-order #logic: Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
DATE-2011-KeezerG #synthesis: Two methods for 24 Gbps test signal synthesis (DCK, CEG), pp. 579–582.
DRR-2011-RamirezO: OMR of early plainchant manuscripts in square notation: a two-stage system (CR, JO), pp. 1–10.
ICDAR-2011-AlvaroSB #2d #context-free grammar #probability #recognition #using: Recognition of Printed Mathematical Expressions Using Two-Dimensional Stochastic Context-Free Grammars (FA, JAS, JMB), pp. 1225–1229.
ICDAR-2011-GaoWJ #2d #optimisation #recognition: A New Feature Optimization Method Based on Two-Directional 2DLDA for Handwritten Chinese Character Recognition (XG, WW, LJ), pp. 232–236.
ICDAR-2011-ShaoWXZZ #distance: Modified Two-Class LDA Based Compound Distance for Similar Handwritten Chinese Characters Discrimination (YS, CW, BX, RZ, LZ), pp. 653–657.
PODS-2011-ShengT11b #2d #memory management #orthogonal: New results on two-dimensional orthogonal range aggregation in external memory (CS, YT), pp. 129–139.
VLDB-2011-GrosseLWFL #in memory: Bridging Two Worlds with RICE Integrating R into the SAP In-Memory Computing Engine (PG, WL, TW, FF, WSL), pp. 1307–1317.
ITiCSE-2011-Goldweber #learning #process #turing machine: Two kinesthetic learning activities: turing machines and basic computer organization (MG), p. 335.
CSMR-2011-AbbesKGA #comprehension #empirical: An Empirical Study of the Impact of Two Antipatterns, Blob and Spaghetti Code, on Program Comprehension (MA, FK, YGG, GA), pp. 181–190.
CSMR-2011-LeottaRRA #architecture #maintenance: Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA (ML, FR, GR, EA), pp. 317–320.
ICPC-2011-Soh #comprehension: Context and Vision: Studying Two Factors Impacting Program Comprehension (ZS), pp. 258–261.
MSR-2011-BaysalDG: A Tale of Two Browsers (OB, IJD, MWG), pp. 238–241.
MSR-2011-GermanD #challenge #source code: Apples vs. oranges?: an exploration of the challenges of comparing the source code of two software systems (DMG, JD), pp. 246–249.
WCRE-2011-GravinoRST #comprehension #design pattern #documentation #source code: Does the Documentation of Design Pattern Instances Impact on Source Code Comprehension? Results from Two Controlled Experiments (CG, MR, GS, GT), pp. 67–76.
STOC-2011-KawarabayashiK #algorithm #approximate #problem: Breaking o(n1/2)-approximation algorithms for the edge-disjoint paths problem with congestion two (KiK, YK), pp. 81–88.
STOC-2011-ZewiB #approximate: From affine to two-source extractors via approximate duality (NZ, EBS), pp. 177–186.
CIAA-J-2010-CuiGKY11 #complexity: State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection (BC, YG, LK, SY), pp. 1797–1812.
CIAA-J-2010-KufleitnerL11 #automaton #order: Partially Ordered Two-Way BüChi Automata (MK, AL), pp. 1861–1876.
AFL-2011-IbarraS #bound #linear: Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
AFL-2011-Umeo #2d #algorithm #automaton #implementation: Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.
CIAA-2011-PajicPP #approach #finite #information management #transducer: Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach (VP, GPL, MP), pp. 282–289.
DLT-2011-CeceG #2d #automaton #online #simulation: Simulations over Two-Dimensional On-Line Tessellation Automata (GC, AG), pp. 141–152.
DLT-2011-IbarraY #on the #transducer: On Two-Way Transducers (OHI, HCY), pp. 300–311.
DLT-2011-KuncO #automaton #finite #using: Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups (MK, AO), pp. 324–336.
ICALP-v1-2011-AllenderW #algebra #branch #on the #power of #source code: On the Power of Algebraic Branching Programs of Width Two (EA, FW), pp. 736–747.
CHI-2011-HazlewoodSC #case study: Issues in evaluating ambient displays in the wild: two case studies (WRH, ES, KC), pp. 877–886.
CHI-2011-KellyG #interactive: An examination of two delivery modes for interactive search system experiments: remote and laboratory (DK, KG), pp. 1531–1540.
CHI-2011-WobbrockJS #2d #fault #modelling #predict: Modeling and predicting pointing errors in two dimensions (JOW, AJ, KS), pp. 1653–1656.
CSCW-2011-JiangGH #3d #case study #video: The video of Xland: two core use cases of 3D blog (YJ, RG, YH), pp. 583–584.
CSCW-2011-MunsonRR #twitter: Thanks and tweets: comparing two public displays (SAM, ER, PR), pp. 331–340.
CSCW-2011-TangCDRSH #facebook #self: A tale of two languages: strategic self-disclosure via language selection on facebook (DT, TC, ND, AR, WCS, JTH), pp. 387–390.
DHM-2011-NeumannD #empirical #visual notation: The Two-Point Visual Control Model of Steering — New Empirical Evidence (HN, BD), pp. 493–502.
DHM-2011-QinTD #type system #using: The Upper Extremity Loading during Typing Using One, Two and Three Fingers (JQ, MT, JTD), pp. 178–185.
HCI-DDA-2011-AlTaboliL #design #interface #metric #visual notation: Objective and Subjective Measures of Visual Aesthetics of Website Interface Design: The Two Sides of the Coin (AA, YL), pp. 35–44.
HCI-ITE-2011-LinD #modelling #verification: Verification of Two Models of Ballistic Movements (JFL, CGD), pp. 275–284.
AdaEurope-2011-CarnevaliLPV #approach #design #formal method #scheduling #verification: A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems (LC, GL, AP, EV), pp. 118–131.
CIKM-2011-DasSF #documentation #modelling: Simultaneous joint and conditional modeling of documents tagged from two perspectives (PD, RKS, YF), pp. 1353–1362.
CIKM-2011-MaLL #using: Selecting related terms in query-logs using two-stage SimRank (YM, HL, YL), pp. 1969–1972.
CIKM-2011-NavigliFSLA #ambiguity #categorisation #learning #modelling #semantics #word: Two birds with one stone: learning semantic models for text categorization and word sense disambiguation (RN, SF, AS, OLdL, EA), pp. 2317–2320.
CIKM-2011-RamanJS #learning #ranking: Structured learning of two-level dynamic rankings (KR, TJ, PS), pp. 291–296.
ECIR-2011-ArampatzisZC #database #image #multimodal #retrieval #scalability: Dynamic Two-Stage Image Retrieval from Large Multimodal Databases (AA, KZ, SAC), pp. 326–337.
ECIR-2011-ArampatzisZC11a #multimodal #retrieval: Fusion vs. Two-Stage for Multimodal Retrieval (AA, KZ, SAC), pp. 759–762.
KDD-2011-AchlioptasSB: Two-locus association mapping in subquadratic time (PA, BS, KMB), pp. 726–734.
KDD-2011-BoleyLPG #performance #random: Direct local pattern sampling by efficient two-step random procedures (MB, CL, DP, TG), pp. 582–590.
KDIR-2011-ArmengolP #case study #classification #information management #lazy evaluation #learning: Combining Two Lazy Learning Methods for Classification and Knowledge Discovery — A Case Study for Malignant Melanoma Diagnosis (EA, SP), pp. 200–207.
KDIR-2011-SethCRSB #analysis #query #similarity: A Tale of Two (Similar) Cities — Inferring City Similarity through Geo-spatial Query Log Analysis (RS, MC, DR, DS, SB), pp. 179–189.
KEOD-2011-IshakLA #approach #learning #modelling #ontology #probability #visual notation: A Two-way Approach for Probabilistic Graphical Models Structure Learning and Ontology Enrichment (MBI, PL, NBA), pp. 189–194.
KEOD-2011-SchmidtKL #automation #documentation #domain-specific language: Domain Specific Language in Technical Solution Documents — Discussion of Two Approaches to Improve the Semi-automated Annotation (HXS, AK, UL), pp. 159–166.
SIGIR-2011-ChatzichristofisZA #image #multimodal #retrieval: Bag-of-visual-words vs global image descriptors on two-stage multimodal retrieval (SAC, KZ, AA), pp. 1251–1252.
SIGIR-2011-LiWLKP #named #personalisation #recommendation #scalability: SCENE: a scalable two-stage personalized news recommendation system (LL, DW, TL, DK, BP), pp. 125–134.
SIGIR-2011-WengLCZZYZ #approach #documentation #query #retrieval: Query by document via a decomposition-based two-level retrieval approach (LW, ZL, RC, YZ, YZ, LTY, LZ), pp. 505–514.
MoDELS-2011-ReggioRSCD #modelling #precise #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
MoDELS-2011-ReggioRSCD #modelling #precise #process: A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.
OOPSLA-2011-BurckhardtLSYB #incremental #parallel: Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
PLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel #programming language: Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.
QAPL-2011-Rutkowski #automaton #game studies: Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.
SAC-2011-GafurovBBY #authentication: Fusion in fingerprint authentication: two finger types vs. two scanner types (DG, CB, PB, BY), pp. 13–18.
SAC-2011-LiuZ #memory management #predict #realtime: Exploiting time predictable two-level scratchpad memory for real-time systems (YL, WZ), pp. 395–396.
SAC-2011-MacielH #commit #protocol #rest: Extending timestamp-based two phase commit protocol for RESTful services to meet business rules (LAHdSM, CMH), pp. 778–785.
PPoPP-2011-Ding #concurrent #parallel #programming: Two examples of parallel programming without concurrency constructs (PP-CC) (CD), pp. 299–300.
CSL-2011-Kieronski #decidability #linear #logic #order: Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.
CSL-2011-LoschP #semantics: Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.
ICLP-2011-Zombori #information retrieval #logic #performance #reasoning: Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.
LICS-2011-BrazdilBCFK #markov #multi #process: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
LICS-2011-Figueira #decidability #logic #word: A Decidable Two-Way Logic on Data Words (DF), pp. 365–374.
LICS-2011-KontinenKLV #complexity #dependence #logic: Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.
ASE-2010-BavotaLMO #refactoring: A two-step technique for extract class refactoring (GB, ADL, AM, RO), pp. 151–154.
CASE-2010-JingL #assembly #hybrid #scheduling: A MILP-based batch scheduling for two-stage hybrid flowshop with sequence-dependent setups in semiconductor assembly and test manufacturing (XJ, ZL), pp. 87–92.
CASE-2010-OuCGWL #energy: A two-mass cantilever beam model for vibration energy harvesting applications (QO, XC, SG, ARW, NL), pp. 301–306.
CASE-2010-ZhangWPTCPJ #analysis: Micro-thermal-fluid transient analysis and active control for two-phase microelectronics cooling (TZ, JTW, YP, TT, JYC, RP, MKJ), pp. 750–755.
DAC-2010-YanC: Two-sided single-detour untangling for bus routing (JTY, ZWC), pp. 206–211.
DocEng-2010-RivaSOMP #metric: Two new aesthetic measures for item alignment (ADR, AKS, JBSdO, IHM, RFBP), pp. 263–266.
HT-2010-HsiehPJNS #generative #hypermedia: Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.
VLDB-2010-Martinez-PalauDL: Two-way Replacement Selection (XMP, DDS, JLLP), pp. 871–881.
FoSSaCS-2010-AsarinCV #game studies: Fair Adversaries and Randomization in Two-Player Games (EA, RCYF, DV), pp. 64–78.
ICSM-2010-Alves #assessment #maintenance: Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
ICSM-2010-LiSKC #empirical #maintenance: Cost drivers of software corrective maintenance: An empirical study in two companies (JL, TS, JMWK, RC), pp. 1–8.
STOC-2010-KalaiMV #learning: Efficiently learning mixtures of two Gaussians (ATK, AM, GV), pp. 553–562.
STOC-2010-Sherstov #bound: Optimal bounds for sign-representing the intersection of two halfspaces by polynomials (AAS), pp. 523–532.
AFL-J-2008-KlimaP10a: Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
AFL-J-2008-KutribMO10 #automaton #on the: On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 781–798.
CIAA-2010-KufleitnerL #automaton #order: Partially Ordered Two-Way Büchi Automata (MK, AL), pp. 181–190.
CIAA-2010-KutribM: Two-Party Watson-Crick Computations (MK, AM), pp. 191–200.
DLT-2010-GeffertP #automaton: Two-Way Unary Automata versus Logarithmic Space (VG, GP), pp. 197–208.
DLT-2010-Giammarresi #2d: A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages (DG), pp. 4–15.
DLT-2010-LodayaPS: Around Dot Depth Two (KL, PKP, SSS), pp. 303–315.
CHI-2010-NakatsumaS #2d #communication #detection #network: High accuracy position and orientation detection in two-dimensional communication network (KN, HS), pp. 2297–2306.
CHI-2010-ViewegHSP #microblog #twitter #what: Microblogging during two natural hazards events: what twitter may contribute to situational awareness (SV, ALH, KS, LP), pp. 1079–1088.
ICEIS-HCI-2010-Campos #agile #case study #development #interactive: Agile Development of Interactive Installations — Two Case Studies (PC), pp. 174–179.
CIKM-2010-Nomoto #detection #similarity: Two-tier similarity model for story link detection (TN), pp. 789–798.
CIKM-2010-ZhouLBXL #information management #mining #reasoning #set: Rough sets based reasoning and pattern mining for a two-stage information filtering system (XZ, YL, PB, YX, RYKL), pp. 1429–1432.
ICML-2010-CortesMR #algorithm #kernel #learning: Two-Stage Learning Kernel Algorithms (CC, MM, AR), pp. 239–246.
ICPR-2010-Chicheva #2d #algorithm #data transformation #parallel #representation: Parallel Algorithm of Two-Dimensional Discrete Cosine Transform Based on Special Data Representation (MAC), pp. 2326–2328.
ICPR-2010-CordellaSFMF #classification #performance: Combining Single Class Features for Improving Performance of a Two Stage Classifier (LPC, CDS, FF, CM, ASdF), pp. 4352–4355.
ICPR-2010-HarirchiRMDG #algorithm #detection #using: Two-Level Algorithm for MCs Detection in Mammograms Using Diverse-Adaboost-SVM (FH, PR, HAM, FD, MG), pp. 269–272.
ICPR-2010-HuCY #estimation #interactive: Hand Pointing Estimation for Human Computer Interaction Based on Two Orthogonal-Views (KH, SJC, LY), pp. 3760–3763.
ICPR-2010-WangC #3d #estimation: 3D Human Pose Estimation by an Annealed Two-Stage Inference Method (YKW, KYC), pp. 535–538.
KDD-2010-SunCY #approach #reduction #scalability: A scalable two-stage approach for a class of dimensionality reduction techniques (LS, BC, JY), pp. 313–322.
KDIR-2010-BartikB #categorisation #documentation #web: Two-phase Categorization of Web Documents (VB, RB), pp. 458–462.
KEOD-2010-MurdockBA #ontology: Two Methods for Evaluating Dynamic Ontologies (JM, CB, CA), pp. 110–122.
SIGIR-2010-WeerkampBR: A two-stage model for blog feed search (WW, KB, MdR), pp. 877–878.
OOPSLA-2010-McCarthy #continuation: The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
PPDP-2010-Barbanerad #behaviour: Two notions of sub-behaviour for session-based client/server systems (FB, Ud), pp. 155–164.
RE-2010-EgyedGG #quality: Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments (AE, FG, PG), pp. 221–230.
SAC-2010-GuoH #algorithm #clustering: A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
SAC-2010-NaceraHAM #ad hoc #clustering #network: A new two level hierarchy structuring for node partitioning in ad hoc networks (BN, HG, HA, MM), pp. 719–726.
SAC-2010-PizzolatoAP #architecture #automation #recognition: Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture (EBP, MdSA, GCP), pp. 969–973.
ICSE-2010-Kruchten #agile #architecture #development #question: Software architecture and agile software development: a clash of two cultures? (PK), pp. 497–498.
LDTA-2010-GiorgettiMTK #case study #java #source code #specification: Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.
SPLC-2010-BergerSLCW #product line #scalability: Feature-to-Code Mapping in Two Large Product Lines (TB, SS, RL, KC, AW), pp. 498–499.
CGO-2010-BorinWWLBHNRR #named #optimisation: TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.
CGO-2010-Newburn: There are at least two sides to every heterogeneous system (CCJN), p. 120.
CSL-2010-SchwentickZ #logic #order: Two-Variable Logic with Two Order Relations — (Extended Abstract) (TS, TZ), pp. 499–513.
IJCAR-2010-MayerC #hybrid #logic #proving: Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
SAT-2010-Cotton #proving: Two Techniques for Minimizing Resolution Proofs (SC), pp. 306–312.
CASE-2009-LiZF #analysis: Analysis of two-loop closed production systems (NL, LZ, WF), pp. 460–465.
DATE-2009-Cilardo #architecture: A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
ICDAR-2009-ChandaPFP #approach #identification: Two-stage Approach for Word-wise Script Identification (SC, SP, KF, UP), pp. 926–930.
ICDAR-2009-LouloudisSG #evaluation #novel #segmentation #word: A Novel Two Stage Evaluation Methodology for Word Segmentation Techniques (GL, NS, BG), pp. 686–690.
ITiCSE-2009-MarcosFM #education #uml: The two states of the mind to teach UML (LdM, FF, JJM), p. 361.
ITiCSE-2009-Mohr #novel #prolog: Two novel prolog assignments (JM), p. 350.
DLT-2009-BehleKR #quantifier #regular expression: Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
DLT-2009-Kapoutsis #automaton #complexity #finite: Size Complexity of Two-Way Finite Automata (CAK), pp. 47–66.
DLT-2009-Shur #bound: Two-Sided Bounds for the Growth Rates of Power-Free Languages (AMS), pp. 466–477.
LATA-2009-Kasprzik: Two Equivalent Regularizations for Tree Adjoining Grammars (AK), pp. 469–480.
LATA-2009-MitranaT #network #on the: On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes (VM, BT), pp. 588–600.
CHI-2009-BrandtGLDK #learning #programming #web: Two studies of opportunistic programming: interleaving web foraging, learning, and writing code (JB, PJG, JL, MD, SRK), pp. 1589–1598.
HCI-AUII-2009-PirhonenK #comparison #design #interface: Flight Searching — A Comparison of Two User-Interface Design Strategies (AP, NK), pp. 179–188.
HCI-NIMT-2009-Pastel #2d #modelling: Modeling the Difficulty for Centering Rectangles in One and Two Dimensions (RP), pp. 879–888.
HCI-NT-2009-AgarwalP #how #interface #usability: Building on the Usability Study: Two Explorations on How to Better Understand an Interface (AA, MP), pp. 385–394.
HIMI-DIE-2009-BruinLB #case study #feedback #how: How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies (RdB, YL, AB), pp. 227–232.
HIMI-II-2009-HiremathPFFY #comparison: Comparison of Pilot Recovery and Response Times in Two Types of Cockpits (VH, RWP, ROF, RGF, JPY), pp. 766–775.
OCSC-2009-FalsteinR #multi: The First Two W’s: Fostering Multicultural Awareness in Children (NF, NR), pp. 462–470.
CAiSE-2009-MouratidisSJ #case study #experience #health #information management #lessons learnt: Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects (HM, AS, JJ), pp. 231–245.
CIKM-2009-LiuZ #classification #sentiment #using: Cross-domain sentiment classification using a two-stage method (KL, JZ), pp. 1717–1720.
ECIR-2009-NamNLL #difference #named: DiffPost: Filtering Non-relevant Content Based on Content Difference between Two Consecutive Blog Posts (SHN, SHN, YL, JHL), pp. 791–795.
ICML-2009-FloresGMP: GAODE and HAODE: two proposals based on AODE to deal with continuous variables (MJF, JAG, AMM, JMP), pp. 313–320.
KMIS-2009-SonntagM #image #information management #problem #query #repository #semantics: Unifying Semantic Annotation and Querying in Biomedical Image Repositories — One Solution for Two Problems of Medical Knowledge Engineering (DS, MM), pp. 89–94.
MLDM-2009-LoglisciM #mining #multi: Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies (CL, DM), pp. 251–265.
SIGIR-2009-Baeza-YatesMH #performance #trade-off #web: Efficiency trade-offs in two-tier web search systems (RABY, VM, CH), pp. 163–170.
SIGIR-2009-BenderskyCS #information retrieval #query #segmentation: Two-stage query segmentation for information retrieval (MB, WBC, DAS), pp. 810–811.
GPCE-2009-KongCY #parsing: Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
RE-2009-GrossD #diagrams #process #requirements #uml: EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.
SAC-2009-BrooksI #classification #detection #novel #visual notation: Visual detection of novel terrain via two-class classification (CAB, KI), pp. 1145–1150.
SAC-2009-LiuLC #2d #mobile: Two-dimensional non-photorealistic drawings on mobile devices (DSML, CHL, CIC), pp. 1843–1844.
SAC-2009-ManuchSS #bound #self: Two lower bounds for self-assemblies at temperature 1 (JM, LS, CS), pp. 808–809.
SAC-2009-RobertsSG #interface: Model interfaces for two-way obliviousness (NVR, ES, PCG), pp. 488–495.
SAC-2009-TokoroTT #smarttech #using: A pointing method using two accelerometers for wearable computing (YT, TT, MT), pp. 136–141.
SLE-2009-BartolomeiCLS #api #migration #xml: Study of an API Migration for Two XML APIs (TTB, KC, RL, TvdS), pp. 42–61.
SPLC-2009-OLearyRRT #case study #experience #independence #process #research: Important issues and key activities in product derivation: experiences from two independent research projects (PO, RR, IR, ST), pp. 121–130.
CGO-2009-CollinB #embedded #taxonomy: Two-Level Dictionary Code Compression: A New Scheme to Improve Instruction Code Density of Embedded Applications (MC, MB), pp. 231–242.
ISMM-2009-JulaR #locality #memory management: Two memory allocators that use hints to improve locality (AJ, LR), pp. 109–118.
CSL-2009-CockettS #communication #on the #problem #word: On the Word Problem for ΣΠ-Categories, and the Properties of Two-Way Communication (JRBC, LS), pp. 194–208.
ICLP-2009-Li #algorithm #constraints #difference #functional #integer #research #summary: Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality (CL), pp. 530–531.
ICST-2009-PostS #bound #equivalence #functional #implementation #model checking #proving #using: Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (HP, CS), pp. 31–40.
LICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability: On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
ECSA-2008-MendezA #architecture #comparison #how: How Do Agents Affect Modifiability? A Comparison between Two Architectures for Intelligent Virtual Environments for Training (GM, AdA), pp. 82–97.
WICSA-2008-LaMantiaCMR #design #evolution #matrix #scalability #using: Analyzing the Evolution of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory: Two Exploratory Cases (MJL, YC, AM, JR), pp. 83–92.
ASE-2008-MartinhoVD #approach #flexibility #modelling #process: A Two-Step Approach for Modelling Flexibility in Software Processes (RM, JV, DD), pp. 427–430.
CASE-2008-Andoh #identification #using: Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs (FA), pp. 265–272.
CASE-2008-GeorgievA: Two-stage robotic crystal mounting of protein crystals for X-ray data collection (AG, PKA), pp. 1019–1024.
CASE-2008-VahediS #towards: Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.
DocEng-2008-Oliveira #algorithm #automation #documentation #layout: Two algorithms for automatic document page layout (JBSdO), pp. 141–149.
PODS-2008-GollapudiP #power of #similarity: The power of two min-hashes for similarity search among hierarchical data objects (SG, RP), pp. 211–220.
PEPM-2008-GillenwaterMSZTGO #hardware #static typing #using: Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability (JG, GM, CS, AYZ, WT, JG, JO), pp. 41–50.
PEPM-2008-Mu #algorithm #bound #problem: Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths (SCM), pp. 31–39.
STOC-2008-GordonHKL: Complete fairness in secure two-party computation (SDG, CH, JK, YL), pp. 413–422.
STOC-2008-KhotS #learning #on the: On hardness of learning intersection of two halfspaces (SK, RS), pp. 345–354.
AFL-2008-KlimaP: Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
AFL-2008-KutribMO #automaton #on the: On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 257–268.
CIAA-2008-DolzhenkoJ #2d #complexity #on the #transducer: On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
DLT-2008-JiraskovaO #automaton #complexity #finite #on the: On the State Complexity of Operations on Two-Way Finite Automata (GJ, AO), pp. 443–454.
ICALP-A-2008-BorradaileK #graph #network #problem: The Two-Edge Connectivity Survivable Network Problem in Planar Graphs (GB, PNK), pp. 485–501.
ICALP-C-2008-KolesnikovR #authentication: Password Mistyping in Two-Factor-Authenticated Key Exchange (VK, CR), pp. 702–714.
LATA-2008-BaumeisterR #problem #reduction: The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions (DB, JR), pp. 76–87.
LATA-2008-OttoP #2d #taxonomy: A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata (FO, MP), pp. 409–420.
LATA-2008-Puzynina #2d #on the #word: On Periodicity of Generalized Two-Dimensional Words (SP), pp. 440–451.
ICFP-2008-AugustssonMS #domain-specific language #embedded #haskell #named: Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
ICGT-2008-Horvath #approach #graph transformation #towards #verification: Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
CHI-2008-LaukkanenIR #lazy evaluation #performance: The cone and the lazy bubble: two efficient alternatives between the point cursor and the bubble cursor (JL, PI, KJR), pp. 309–312.
CHI-2008-MoscovichH #multi #using: Indirect mappings of multi-touch input using one and two hands (TM, JFH), pp. 1275–1284.
CSCW-2008-DantecE: The view from the trenches: organization, power, and technology at two nonprofit homeless outreach centers (CALD, WKE), pp. 589–598.
SOFTVIS-2008-PilgrimD #3d #editing #framework #named #visual notation: Gef3D: a framework for two-, two-and-a-half-, and three-dimensional graphical editors (JvP, KD), pp. 95–104.
SOFTVIS-2008-XieKSDF #diagrams #sequence chart: Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
CIKM-2008-HoefelE #classification #learning #sequence: Learning a two-stage SVM/CRF sequence classifier (GH, CE), pp. 271–278.
CIKM-2008-LiZBXL #information management #mining: A two-stage text mining model for information filtering (YL, XZ, PB, YX, RYKL), pp. 1023–1032.
ICPR-2008-JeongK #estimation: Relative scale estimation between two camera motions (YJ, ISK), pp. 1–4.
ICPR-2008-KasuyaKKO #estimation #robust #using: Robust trajectory estimation of soccer players by using two cameras (NK, IK, YK, YO), pp. 1–4.
ICPR-2008-KottiK #classification #database #gender #speech: Gender classification in two Emotional Speech databases (MK, CK), pp. 1–4.
ICPR-2008-NguyenLV #2d #locality: Ridge Regression for Two Dimensional Locality Preserving Projection (NTN, WL, SV), pp. 1–4.
ICPR-2008-PaclikLND #analysis #estimation #multi #using: Variance estimation for two-class and multi-class ROC analysis using operating point averaging (PP, CL, JN, RPWD), pp. 1–4.
ICPR-2008-ZengLH #analysis: Analysis on two fishermethods and a synthesized discriminant projection (ZZ, CL, LH), pp. 1–4.
KDD-2008-BhattacharyaGJ #categorisation #documentation #identification: Structured entity identification and document categorization: two tasks with one joint model (IB, SG, SJ), pp. 25–33.
POPL-2008-Voigtlander #parallel: Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
REFSQ-2008-StrohmaierHYAE #modelling: Can Patterns Improve i* Modeling? Two Exploratory Studies (MS, JH, ESKY, JA, SME), pp. 153–167.
SAC-2008-SeoKRK #2d #algorithm #deployment #search-based: A genetic algorithm for sensor deployment based on two-dimensional operators (JHS, YHK, HBR, SJK), pp. 1812–1813.
ASPLOS-2008-BhargavaSSM #2d: Accelerating two-dimensional page walks for virtualized systems (RB, BS, FS, SM), pp. 26–35.
HPDC-2008-PasqualiBCRL #scalability: A two-level scheduler to dynamically schedule a stream of batch jobs in large-scale grids (MP, RB, GC, LR, DL), pp. 231–232.
ICLP-2008-DemoenN #implementation: Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.
ICST-2008-WagnerDAWS #debugging #evaluation #java #tool support: An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.
ASE-2007-AndrewsLM #generative #named #testing: Nighthawk: a two-level genetic-random unit test data generator (JHA, FCHL, TM), pp. 144–153.
CASE-2007-YangXL: Two-Degree-of-Freedom Based Cross-Coupled Control for High-Accuracy Tracking Systems (JY, JX, ZL), pp. 950–955.
DATE-2007-FaragES #2d #configuration management #using: Improving utilization of reconfigurable resources using two dimensional compaction (AAEF, HMEB, SIS), pp. 135–140.
DATE-2007-HongSCY #adaptation: A two-tone test method for continuous-time adaptive equalizers (DH, SS, KTC, CPY), pp. 1283–1288.
DATE-2007-SirowyWLV #clustering: Two-level microprocessor-accelerator partitioning (SS, YW, SL, FV), pp. 313–318.
HT-2007-Hall #hypermedia: Back to the future with hypertext: a tale of two or three conferences (WH), pp. 179–180.
ICDAR-2007-BhattacharyaGP07a #recognition: A Two Stage Recognition Scheme for Handwritten Tamil Characters (UB, SKG, SKP), pp. 511–515.
ICDAR-2007-ToujAA #segmentation #using: Two Approaches for Arabic Script Recognition-Based Segmentation Using the Hough Transform (ST, NEBA, HA), pp. 654–658.
ITiCSE-2007-CrescenziN #algorithm #experience #visualisation: Fully integrating algorithm visualization into a cs2 course.: a two-year experience (PC, CN), pp. 296–300.
ITiCSE-2007-HawthorneCK #education: Curricular resources from the acm two-year college education committee (EKH, RDC, KJK), p. 309.
ITiCSE-2007-XinogalosSD #education #experience #java: Teaching java with BlueJ: a two-year experience (SX, MS, VD), p. 345.
TACAS-2007-JurdzinskiLS #automaton #model checking #probability: Model Checking Probabilistic Timed Automata with One or Two Clocks (MJ, FL, JS), pp. 170–184.
CSMR-2007-LuciaDGR #approach #design pattern: A Two Phase Approach to Design Pattern Recovery (ADL, VD, CG, MR), pp. 297–306.
STOC-2007-Shpilka #multi: Interpolation of depth-3 arithmetic circuits with two multiplication gates (AS), pp. 284–293.
CIAA-2007-AnselmoGM #2d #automaton: Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 290–302.
CIAA-2007-JonoskaP #2d #automaton #finite #representation: Finite State Automata Representing Two-Dimensional Subshifts (NJ, JBP), pp. 277–289.
DLT-2007-AnselmoGM #2d #nondeterminism: From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.
DLT-2007-Blanchet-SadriBP #set #word: Two Element Unavoidable Sets of Partial Words (FBS, NCB, JP), pp. 96–107.
ICALP-2007-CaryRS #finite #metric: Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), p. 949.
ICALP-2007-KatrielKU #nondeterminism #probability #problem: Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems (IK, CKM, EU), pp. 171–182.
LATA-2007-AlhazovMR #network #predict: Networks of Evolutionary Processors with Two Nodes Are Unpredictable (AA, CMV, YR), pp. 521–528.
CHI-2007-ClarksonLCS #validation: Revisiting and validating a model of two-thumb text entry (EC, KL, JC, TS), pp. 163–166.
CHI-2007-HancockCC #3d #design #evaluation #interactive: Shallow-depth 3d interaction: design and evaluation of one-, two- and three-touch techniques (MSH, MSTC, AC), pp. 1147–1156.
DHM-2007-KuboTA: Two Vibration Modes of a Human Body Sitting on a Car Seat- The Relationship Between Riding Discomfort Affected by the Material Properties of the Seat Cushion and the Two Vibration Modes (MK, FT, HA), pp. 894–903.
HCI-IDU-2007-EvjemoAS #lessons learnt: User Acceptance of Digital Tourist Guides Lessons Learnt from Two Field Studies (BE, SA, AS), pp. 746–755.
HCI-IDU-2007-MorganN #development #interface #research: Interface Between Two Disciplines — The Development of Theatre as a Research Tool (MM, AFN), pp. 184–193.
HCI-IPT-2007-HavukumpuHGVN #artificial reality: Comparing Two Head-Mounted Displays in Ultrasound Scanning (JH, JH, EG, PV, GN), pp. 597–604.
HCI-MIE-2007-LeePL #finite #multi #recognition #transducer: Multi-word Expression Recognition Integrated with Two-Level Finite State Transducer (KL, KSP, YSL), pp. 124–133.
HIMI-MTT-2007-KarshEAHSMPSAKSB #case study #predict #quality: Do Beliefs About Hospital Technologies Predict Nurses’ Perceptions of Their Ability to Provide Quality Care? A Study in Two Pediatric Hospitals (BTK, KE, SA, RJH, MS, KM, NP, TS, JA, RK, KS, RLB), pp. 77–83.
HIMI-MTT-2007-MiyakeT #coordination #realtime: Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.
ICEIS-AIDSS-2007-LiuCM #recognition #using: Named Entity Recognition in Biomedical Literature Using Two-Layer Support Vector Machines (FL, YC, BM), pp. 39–48.
ICEIS-DISI-2007-OsbornB #2d: An insertion strategy for a two-dimensional spatial access method (WO, KB), pp. 295–300.
ICEIS-SAIC-2007-ZarembaVMBCCVFT #challenge #comparison #semantics #towards #web #web service: Towards Semantic Interoperabilty — In-depth Comparison of Two Approaches to Solving Semantic Web Service Challenge Mediation Tasks (MZ, TV, MM, MB, SC, DC, EDV, FMF, CT), pp. 413–421.
CIKM-2007-JiangZ #adaptation #approach #classification #statistics: A two-stage approach to domain adaptation for statistical classifiers (JJ, CZ), pp. 401–410.
ECIR-2007-GengWLZ #ranking: Fighting Link Spam with a Two-Stage Ranking Strategy (GG, CW, QL, YZ), pp. 699–702.
ICML-2007-AndoZ #generative #learning: Two-view feature generation model for semi-supervised learning (RKA, TZ), pp. 25–32.
MLDM-2007-GomezF #2d #algorithm #evolution #hybrid #image #learning: A Hybrid Algorithm Based on Evolution Strategies and Instance-Based Learning, Used in Two-Dimensional Fitting of Brightness Profiles in Galaxy Images (JCG, OF), pp. 716–726.
SIGIR-2007-NtoulasC #correctness #policy: Pruning policies for two-tiered inverted index with correctness guarantee (AN, JC), pp. 191–198.
OOPSLA-2007-KuhneS #multi #programming: Can programming be liberated from the two-level style: multi-level programming with deepjava (TK, DS), pp. 229–244.
REFSQ-2007-HerrmannKD: Exploring the Characteristics of NFR Methods — A Dialogue About Two Approaches (AH, DK, JD), pp. 320–334.
SAC-2007-ShinH #analysis #automation #comparison #difference #process: Comparison of two activity analyses for automatic differentiation: context-sensitive flow-insensitive vs. context-insensitive flow-sensitive (JS, PDH), pp. 1323–1329.
LICS-2007-Bojanczyk #logic: Two-way unary temporal logic over trees (MB), pp. 121–130.
TLCA-2007-Kusmierek #problem #rank: The Inhabitation Problem for Rank Two Intersection Types (DK), pp. 240–254.
TLCA-2007-MostrousY #higher-order #mobile #process #type system: Two Session Typing Systems for Higher-Order Mobile Processes (DM, NY), pp. 321–335.
CASE-2006-BeghiLPS #black box #modelling #prototype: Black-box modeling of a Two-Stroke Racing Motorcycle Engine for Virtual Prototyping Applications (AB, ML, SP, DS), pp. 280–285.
CASE-2006-ShangYQ #algorithm #equation #linear: Algorithm of Two-Step Eye-Hand Calibration by Resolving Linear Equations (YS, QY, ZQ), pp. 218–222.
CASE-2006-SongL: Two-Instant Reallocation in Two-Echelon Spare Parts Inventory Systems (HS, HCL), pp. 342–345.
DATE-2006-CarbognaniBFKF #power management: Two-phase resonant clocking for ultra-low-power hearing aid applications (FC, FB, NF, HK, WF), pp. 73–78.
DATE-2006-YavariSR #design #hybrid: Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.
DRR-2006-ChenS #2d #recognition #verification: Combining one- and two-dimensional signal recognition approaches to off-line signature verification (SC, SNS).
PODS-2006-BojanczykDMSS #logic #reasoning #xml: Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.
PODS-2006-CondonDHW #algorithm #pipes and filters #problem: Flow algorithms for two pipelined filter ordering problems (AC, AD, LH, NW), pp. 193–202.
VLDB-2006-HuangCLL #evolution #using #xml: XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques (CHH, TRC, JJL, HML), pp. 1215–1218.
VLDB-2006-MoerkotteN #algorithm #analysis #generative #programming: Analysis of Two Existing and One New Dynamic Programming Algorithm for the Generation of Optimal Bushy Join Trees without Cross Products (GM, TN), pp. 930–941.
ITiCSE-2006-CampbellHK #education #process: Activities of the ACM two-year college education committee (RDC, EKH, KJK), p. 321.
CSMR-2006-MarchantTT #case study #industrial #legacy #metric #requirements: A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies (JM, CT, MT), pp. 355–361.
STOC-2006-Feldman #approximate #learning #logic #query: Hardness of approximate two-level logic minimization and PAC learning with membership queries (VF), pp. 363–372.
DLT-2006-Ravikumar #automaton #finite #modelling #on the #probability: On Some Variations of Two-Way Probabilistic Finite Automata Models (BR), pp. 443–454.
ICALP-v2-2006-KarhumakiKO #communication: Communication of Two Stacks and Rewriting (JK, MK, AO), pp. 468–479.
FM-2006-CunhaOV #data transformation #type safety: Type-Safe Two-Level Data Transformation (AC, JNO, JV), pp. 284–299.
CHI-2006-DillonKCB #using #visual notation: Visual search and reading tasks using ClearType and regular displays: two experiments (AD, LK, GOC, RGB), pp. 503–511.
CHI-2006-EisensteinM #communication #evaluation: Interacting with communication appliances: an evaluation of two computer vision-based selection techniques (JE, WEM), pp. 1111–1114.
CHI-2006-FroehlichHSH: The GlobeFish and the GlobeMouse: two new six degree of freedom input devices for graphics applications (BF, JH, VS, AH), pp. 191–199.
CHI-2006-LatulipeMKC #named #symmetry: symSpline: symmetric two-handed spline manipulation (CL, SM, CSK, CLAC), pp. 349–358.
CSCW-2006-YankelovichKPWD #question: Improving audio conferencing: are two ears better than one? (NY, JK, JP, MW, JMD), pp. 333–342.
SOFTVIS-2006-Reichardt #2d #c++: Two-dimensional C++ (JR), pp. 191–192.
ICEIS-ISAS-2006-BlomqvistOS #enterprise #ontology: Ontology Construction in an Enterprise Context: Comparing and Evaluating Two Approaches (EB, AÖ, KS), pp. 86–93.
CIKM-2006-ShiN #adaptation #corpus #information retrieval #parallel: Filtering or adapting: two strategies to exploit noisy parallel corpora for cross-language information retrieval (LS, JYN), pp. 814–815.
ICML-2006-WangYL #2d: Two-dimensional solution path for support vector regression (GW, DYY, FHL), pp. 993–1000.
ICPR-v1-2006-Chen #adaptation #estimation: Noise Variance Adaptive SEA for Motion Estimation: A Two-Stage Schema (WGC), pp. 31–34.
ICPR-v1-2006-KimK06a #parametricity #using: Estimating Intrinsic Parameters of Cameras using Two Arbitrary Rectangles (JSK, ISK), pp. 707–710.
ICPR-v1-2006-WangKY #2d #analysis #linear #recognition: Bilateral Two Dimensional Linear Discriminant Analysis for Stereo Face Recognition (JGW, HK, WYY), pp. 429–432.
ICPR-v1-2006-ZhangGZ #database #orthogonal: Recognizing Rotated Faces from Two Orthogonal Views in Mugshot Databases (XZ, YG, BZ), pp. 195–198.
ICPR-v2-2006-InoueU #2d #analysis #linear: Non-Iterative Two-Dimensional Linear Discriminant Analysis (KI, KU), pp. 540–543.
ICPR-v2-2006-LuCSF: Camera Calibration from Two Shadow Trajectories (FL, XC, YS, HF), pp. 1–4.
ICPR-v2-2006-SanguansatAJM #2d #analysis #component #recognition: Class-Specific Subspace-Based Two-Dimensional Principal Component Analysis for Face Recognition (PS, WA, SJ, SM), pp. 1246–1249.
ICPR-v2-2006-UekiHK #2d #analysis #classification #linear: Two-dimensional Heteroscedastic Linear Discriminant Analysis for Age-group Classification (KU, TH, TK), pp. 585–588.
ICPR-v3-2006-AnLV #classification #performance: Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation (SA, WL, SV), pp. 240–244.
ICPR-v3-2006-ChatelainHP #documentation: A two-stage outlier rejection strategy for numerical field extraction in handwritten documents (CC, LH, TP), pp. 224–227.
ICPR-v3-2006-XuJJG #2d #recognition: Complete Two-Dimensional PCA for Face Recognition (AX, XJ, YJ, PG), pp. 481–484.
ICPR-v4-2006-ArifBV: A fusion methodology based on Dempster-Shafer evidence theory for two biometric applications (MA, TB, NV), pp. 590–593.
ICPR-v4-2006-PerdochMC #geometry: Epipolar Geometry from Two Correspondences (MP, JM, OC), pp. 215–219.
ICPR-v4-2006-XieLYD #identification #robust: Improved Two-stage Wiener Filter for Robust Speaker Identification (YX, ML, ZY, BD), pp. 310–313.
ICPR-v4-2006-ZhangZX #segmentation: A Two-level Method for Unsupervised Speaker-based Audio Segmentation (SZ, SZ, BX), pp. 298–301.
SEKE-2006-YuC06a #evolution #maintenance #open source #reuse: Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse (LY, KC), pp. 737–742.
SIGIR-2006-HeP #feedback: Comparing two blind relevance feedback techniques (DH, YP), pp. 649–650.
MoDELS-2006-Staron #case study #development #industrial #modelling: Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.
MoDELS-2006-Staron #case study #development #industrial #modelling: Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.
RE-2006-SoB #case study #experience #requirements: Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC (JS, DMB), pp. 216–221.
SAC-2006-DuranX #algorithm #scheduling #search-based: The effects of two replacement strategies on a genetic algorithm for scheduling jobs on computational grids (BD, FX), pp. 960–961.
SAC-2006-HabichWLP #clustering #set: Two-phase clustering strategy for gene expression data sets (DH, TW, WL, CP), pp. 145–150.
SAC-2006-IfinedoN #enterprise #metric #resource management: Prioritization of enterprise resource planning (ERP) systems success measures: viewpoints of two organizational stakeholder groups (PI, NN), pp. 1554–1560.
CSL-2006-CortierRZ #standard: Relating Two Standard Notions of Secrecy (VC, MR, EZ), pp. 303–318.
LICS-2006-BojanczykMSSD #logic #word: Two-Variable Logic on Words with Data (MB, AM, TS, LS, CD), pp. 7–16.
TestCom-2006-CavalliMMMQ #case study #generative #industrial #testing #tool support: Application of Two Test Generation Tools to an Industrial Case Study (ARC, SM, WM, MM, YMQ), pp. 134–148.
CASE-2005-ChangLJ #detection #fault #network #using: Using a two-layer competitive Hopfield neural network for semiconductor wafer defect detection (CYC, SYL, MJ), pp. 301–306.
DATE-2005-BhuniaMRR #novel #testing: A Novel Low-overhead Delay Testing Technique for Arbitrary Two-Pattern Test Application (SB, HMM, AR, KR), pp. 1136–1141.
DATE-2005-DingV #approach #megamodelling #modelling #performance: A Two-Level Modeling Approach to Analog Circuit Performance Macromodeling (MD, RV), pp. 1088–1089.
ICDAR-2005-GaoLV #algorithm #online #programming #segmentation: A Two-stage Online Handwritten Chinese Character Segmentation Algorithm Based on Dynamic Programming (XG, PML, CVG), pp. 735–739.
ICDAR-2005-HanL #approach #recognition #segmentation: A two-stage handwritten character segmentation approach in mail address recognition (ZH, CPL), pp. 111–115.
ICDAR-2005-LiangNSV #2d #algorithm #geometry #parsing #performance: Efficient Geometric Algorithms for Parsing in Two Dimensions (PL, MN, MS, PAV), pp. 1172–1177.
ICDAR-2005-WanW #modelling #online #statistics #verification: On-Line Signature Verification With Two-Stage Statistical Models (LW, BW), pp. 282–286.
VLDB-2005-KimWLL #n-gram #named #performance: n-Gram/2L: A Space and Time Efficient Two-Level n-Gram Inverted Index Structure (MSK, KYW, JGL, MJL), pp. 325–336.
CSEET-2005-NavarroH05a #design #how #prototype #scalability #student: Scaling up: How Thirty-two Students Collaborated and Succeeded in Developing a Prototype Software Design Environment (EON, AvdH), pp. 155–162.
ITiCSE-2005-BrusilovskyS #case study #self #student: Engaging students to work with self-assessment questions: a study of two approaches (PB, SAS), pp. 251–255.
ITiCSE-2005-CampbellHK #education: Curricular projects of the ACM two-year college education committee (RDC, EKH, KJK), p. 361.
ITiCSE-2005-PaisB #user interface: Two possible approaches for an intermediate GUI course (RP, JPB), p. 365.
TACAS-2005-LeinoMO #proving #quantifier #theorem proving: A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover (KRML, MM, XO), pp. 334–348.
CSMR-2005-GreevyD #analysis #approach #correlation #using: Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach (OG, SD), pp. 314–323.
IWPC-2005-RevelleBC #case study #comprehension: Understanding Concerns in Software: Insights Gained from Two Case Studies (MR, TB, DC), pp. 23–32.
STOC-2005-AhnHL: Covert two-party computation (LvA, NJH, JL), pp. 513–522.
STOC-2005-Goncalves #graph: Edge partition of planar sraphs into two outerplanar graphs (DG0), pp. 504–512.
STOC-2005-SanghviV #complexity #random: The round complexity of two-party random selection (SS, SPV), pp. 338–347.
CIAA-2005-AnselmoM #2d #automaton #queue #simulation: Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata (MA, MM), pp. 43–53.
CIAA-2005-ZdarekM #2d #automaton #finite #on the #pattern matching: On Two-Dimensional Pattern Matching by Finite Automata (JZ, BM), pp. 329–340.
DLT-2005-GeffertMP #automaton #finite: Complementing Two-Way Finite Automata (VG, CM, GP), pp. 260–271.
ICALP-2005-CaryRS #finite #metric #on the: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), pp. 1412–1423.
ICALP-2005-TessonT #communication #complexity #strict: Restricted Two-Variable Sentences, Circuits and Communication Complexity (PT, DT), pp. 526–538.
CHI-2005-KarlsonBS #design: AppLens and launchTile: two designs for one-handed thumb use on small devices (AKK, BBB, JS), pp. 201–210.
CHI-2005-WangN #performance: Less visible and wireless: two experiments on the effects of microphone type on users’ performance and perception (QW, CN), pp. 809–818.
ICEIS-v1-2005-TrienekensKH #case study #enterprise #industrial: Critical Success Factors in ERP Projects: Case Studies in Two Industrial Organizations in The Netherlands (JJMT, WK, RH), pp. 84–91.
ICEIS-v5-2005-JaklicV #algorithm #documentation #image #preprocessor: Two Simple Algorithms for Document Image Preprocessing — Making a Document Scanning Application More User-Friendly (AJ, BV), pp. 116–121.
ICML-2005-HillD #adaptation #classification #problem: Adapting two-class support vector classification methods to many class problems (SIH, AD), pp. 313–320.
SEKE-2005-FekiMG #approach #integration #multi: A Two-Phase Approach for Multidimensional Schemes Integration (JF, JM, FG), pp. 498–503.
SEKE-2005-LiuCBGROA #analysis #approach #component #composition #quality #requirements #two-level grammar: Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach (SHL, FC, BRB, JGG, RRR, AMO, MA), pp. 731–734.
SEKE-2005-YeS #dependence #modelling #variability: Modelling Feature Variability and Dependency in Two Views (HY, AS), pp. 661–664.
SAC-2005-LiuBGROA #assurance #distributed #embedded #realtime #requirements: Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
SAC-2005-Strangio #performance #protocol: Efficient Diffie-Hellmann two-party key agreement protocols based on elliptic curves (MAS), pp. 324–331.
SAC-2005-WuRBGM #2d #compilation: A two-dimensional separation of concerns for compiler construction (XW, SR, BRB, JGG, MM), pp. 1365–1369.
SAC-2005-XiaoLJ #clustering #on the #problem #scheduling: On unit task linear-nonlinear two-cluster scheduling problem (ZX, WNL, JJFJ), pp. 713–717.
COCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving: Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.
LICS-2005-KieronskiO #decidability #first-order #logic: Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
TLCA-2005-AehligMO #decidability #higher-order #monad #recursion: The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable (KA, JGdM, CHLO), pp. 39–54.
DATE-v1-2004-Gordon-RossVD #automation #embedded: Automatic Tuning of Two-Level Caches to Embedded Applications (AGR, FV, ND), pp. 208–213.
DATE-v2-2004-ShendeMB #communication #quantum: Smaller Two-Qubit Circuits for Quantum Communication and Computation (VVS, ILM, SSB), pp. 980–987.
DATE-v2-2004-YooYBJD #concept #design #multi #using: Multi-Processor SoC Design Methodology Using a Concept of Two-Layer Hardware-Dependent Software (SY, MWY, AB, AAJ, MDN), pp. 1382–1383.
ITiCSE-WGR-2004-Campbell #assurance #security: IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
ICSM-2004-LuoJZMS #analysis #case study #component #graph #object-oriented: An Experimental Study of Two Graph Analysis Based Component Capture Methods for Object-Oriented Systems (JL, RJ, LZ, HM, JS), pp. 390–398.
STOC-2004-AchlioptasN #graph #random: The two possible values of the chromatic number of a random graph (DA, AN), pp. 587–593.
STOC-2004-HarnikNRR #perspective: Completeness in two-party secure computation: a computational view (DH, MN, OR, AR), pp. 252–261.
CIAA-2004-PolcarM #2d #automaton #online #pattern matching: Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata (TP, BM), pp. 327–328.
DLT-2004-AnselmoGM #2d #regular expression: Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet (MA, DG, MM), pp. 63–75.
DLT-2004-KurganskyyP #2d #automaton #finite #on the #power of: On the Computation Power of Finite Automata in Two-dimensional Environments (OK, IP), pp. 261–271.
ICALP-2004-DabrowskiP #equation #word: Solving Two-Variable Word Equations (Extended Abstract) (RD, WP), pp. 408–419.
ICGT-2004-RensinkSV #comparison #graph transformation #model checking: Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
CAiSE-2004-NikiforovaK #approach #development #modelling: Two-Hemisphere Model Driven Approach: Engineering Based Software Development (ON, MK), pp. 219–233.
ICEIS-v2-2004-WuW04a #algorithm #comparison #set: Result Comparison of Two Rough Set Based Discretization Algorithms (SW, WW), pp. 511–514.
ICPR-v1-2004-LeungCCT: B-Spline Snakes in Two Stages (CCL, CHC, FHYC, WKT), pp. 568–571.
ICPR-v1-2004-LiangCP: Uncalibrated Two-View Metrology (BL, ZC, NP), pp. 96–99.
ICPR-v1-2004-MilgramSC #classification #modelling: Two-Stage Classification System combining Model-Based and Discriminative Approaches (JM, RS, MC), pp. 152–155.
ICPR-v2-2004-ParkYKJ #approach #recognition #segmentation #string: A Two-Stage Approach for Segmentation and Recognition of Handwritten Digit Strings Collected from Mail Pieces (SP, YY, GK, SHJ), pp. 626–629.
ICPR-v3-2004-CuiG #recognition: Support Vector Machines for Face Recognition with Two-layer Generated Virtual Data (GC, WG), pp. 570–573.
ICPR-v3-2004-FujimuraOT #3d #algorithm #re-engineering: Improved 3D Head Reconstruction System based on Combining Shape-From-Silhouette with Two-Stage Stereo Algorithm (KF, YO, TT), pp. 127–130.
ICPR-v3-2004-WuCW #estimation #image #visual notation: Visual Line Estimation from a Single Image of Two Eyes (HW, QC, TW), pp. 290–293.
ICPR-v4-2004-BelkhoucheQGJ #2d #image #using: Binary Image Transformation Using Two-Dimensional Chaotic Maps (FB, UQ, IG, DJ), pp. 823–826.
ICPR-v4-2004-ChoH #image: Extending Dynamic Range of Two Color Images under Different Exposures (WhC, KSH), pp. 853–856.
ICPR-v4-2004-ParkA #interactive #semantics: Event Semantics in Two-person Interactions (SP, JKA), pp. 227–230.
KDD-2004-YangLHG #mining #named #performance #query #xml: 2PXMiner: an efficient two pass mining of frequent XML query patterns (LHY, MLL, WH, XG), pp. 731–736.
SIGIR-2004-MaS #information management #using: Information extraction using two-phase pattern discovery (LM, JS), pp. 534–535.
SIGIR-2004-TaoZ #feedback #pseudo: A two-stage mixture model for pseudo feedback (TT, CZ), pp. 486–487.
PADL-2004-CorreasGCCH #implementation #persistent: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.
SAC-2004-Al-HoumailyC #commit #named #protocol: 1-2PC: the one-two phase atomic commit protocol (YJAH, PKC), pp. 684–691.
SAC-2004-JulstromA #algorithm #hybrid #problem: Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem (BAJ, AA), pp. 980–984.
SAC-2004-LiuCT #comparison: A comparison of two view materialization approaches for disease surveillance system (ZL, PKC, FCT), pp. 754–755.
CGO-2004-WuBQEF #predict: The Accuracy of Initial Prediction in Two-Phase Dynamic Binary Translators (YW, MBJ, JQ, OE, JF), pp. 227–238.
DAC-2003-AgarwalSB03a #metric: Simple metrics for slew rate of RC circuits based on two circuit moments (KA, DS, DB), pp. 950–953.
DATE-2003-OmanaRM #parallel: High Speed and Highly Testable Parallel Two-Rail Code Checker (MO, DR, CM), pp. 10608–10615.
DocEng-2003-PhelpsW: Two diet plans for fat PDF (TAP, RW), pp. 175–184.
ICDAR-2003-KaratzasA #image #segmentation #web: Two Approaches for Text Segmentation in Web Images (DK, AA), pp. 131–136.
ITiCSE-2003-CampbellHK #education: Curricular projects of the ACM two-year college education committee (RDC, EKH, KJK), p. 222.
ITiCSE-2003-CampbellHK03a: The role of two-year colleges in educating the cyber-security workforce (RDC, EKH, KJK), p. 235.
ITiCSE-2003-JulianoCK #architecture #education #using: Observations from using two modes of teaching undergraduate computer architecture (BAJ, CHC, EK), p. 248.
ESOP-2003-Comon-LundhC #security: Security Properties: Two Agents Are Sufficient (HCL, VC), pp. 99–113.
FoSSaCS-2003-Kieronski #transitive: The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard (EK), pp. 299–312.
TACAS-2003-FersmanMPY #analysis #scheduling #using: Schedulability Analysis Using Two Clocks (EF, LM, PP, WY), pp. 224–239.
IWPC-2003-DeanC #design: Design Recovery of a Two Level System (TRD, YC), pp. 23–32.
STOC-2003-JayramKS #complexity: Two applications of information complexity (TSJ, RK, DS), pp. 673–682.
STOC-2003-Lindell #bound: Bounded-concurrent secure two-party computation without setup assumptions (YL), pp. 683–692.
ICALP-2003-HromkovicS03a #automaton #finite #nondeterminism: Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
CHI-2003-EverittKLL #collaboration #design #distributed #physics: Two worlds apart: bridging the gap between physical and virtual media for distributed design collaboration (KE, SRK, RL, JAL), pp. 553–560.
AdaEurope-2003-Lamm #ada #design #education #java: Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.
ICEIS-v3-2003-BrowneSW #workflow: A Two Tier, Goal-Driven Workflow Model for the Healthcare Domain (EDB, MS, JRW), pp. 32–39.
ICEIS-v3-2003-NaumenkoW #modelling: Two Approaches in System Modeling and Their Illustrations with MDA and RM-ODP (AN, AW), pp. 398–402.
CIKM-2003-BroderCHSZ #evaluation #performance #process #query #retrieval #using: Efficient query evaluation using a two-level retrieval process (AZB, DC, MH, AS, JYZ), pp. 426–434.
ICML-2003-Bouckaert #algorithm #learning #testing: Choosing Between Two Learning Algorithms Based on Calibrated Tests (RRB), pp. 51–58.
ICML-2003-LachicheF #classification #multi #probability #using: Improving Accuracy and Cost of Two-class and Multi-class Probabilistic Classifiers Using ROC Curves (NL, PAF), pp. 416–423.
KDD-2003-KorenH #clustering #visualisation: A two-way visualization method for clustered data (YK, DH), pp. 589–594.
ECOOP-2003-ZibinG #2d #layout: Two-Dimensional Bi-directional Object Layout (YZ, JYG), pp. 329–350.
ICSE-2003-CasagniL #comparison #component #framework #multi: Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform (MC, ML), pp. 341–351.
LDTA-2003-Hufflen #bibliography: Mixing Two Bibliography Style Languages (JMH), pp. 628–642.
LICS-2003-PistoreV #infinity: The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
RTA-2003-Verma #automaton #decidability #equation: Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties (KNV), pp. 180–196.
DATE-2002-KazmierskiC #design #distributed #framework: A Two-Tier Distributed Electronic Design Framework (TJK, NC), pp. 227–231.
HT-2002-VitaliFT #implementation: Two implementations of XPointer (FV, FF, CT), pp. 145–146.
ICSM-2002-MullerTH #programming: Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming (MMM, RT, OH), pp. 84–92.
STOC-2002-CanettiLOS #composition #multi: Universally composable two-party and multi-party secure computation (RC, YL, RO, AS), pp. 494–503.
CIAA-J-2000-Bruggemann-KleinW02 #automaton #nondeterminism: The Regularity of Two-Way Nondeterministic Tree Automata Languages (ABK, DW), pp. 67–81.
DLT-2002-Frougny #online: On-Line Odometers for Two-Sided Symbolic Dynamical Systems (CF), pp. 405–416.
DLT-2002-Holub #set #similarity: A Unique Structure of Two-Generated Binary Equality Sets (SH), pp. 245–257.
DLT-2002-IbarraDS #automaton #finite #safety #verification: Safety Verification for Two-Way Finite Automata with Monotonic Counters (OHI, ZD, ZWS), pp. 326–338.
DLT-2002-SasakiIIW #2d #bound #probability #turing machine: A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines (YS, KI, AI, YW), pp. 185–196.
ICALP-2002-Bojanczyk #automaton #finite #modelling: Two-Way Alternating Automata and Finite Models (MB), pp. 833–844.
CHI-2002-IsokoskiK #comparison: Comparison of two touchpad-based methods for numeric entry (PI, MK), pp. 25–32.
ICEIS-2002-ViaeneBDVP #pattern matching #pattern recognition #proving #recognition #state of the art: Proof Running Two State-Of-The-Art Pattern Recognition Techniques in the Field of Direct Marketing (SV, BB, GD, JV, DVdP), pp. 446–454.
ICPR-v1-2002-CoquinB #image: A New Method to Compute the Distortion Vector Field from Two Images (DC, PB), pp. 279–282.
ICPR-v1-2002-DengT #novel #recognition: A Novel Two-Layer PCA/MDA Scheme for Hand Posture Recognition (JD, HTT), pp. 283–286.
ICPR-v1-2002-JeongKSS #gesture #linear #recognition #using: Two-Hand Gesture Recognition using Coupled Switching Linear Model (MHJ, YK, NS, YS), pp. 9–12.
ICPR-v1-2002-KimuraW #2d #detection #invariant: An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.
ICPR-v1-2002-KubotaA #generative #image #linear: Virtual View Generation by Linear Processing of Two Differently Focused Images (AK, KA), pp. 504–507.
ICPR-v1-2002-LohRW #3d #modelling #process #using: Refining 3D Models Using a Two-Stage Neural Network-Based Iterative Process (AWKL, MR, GAWW), pp. 172–175.
ICPR-v1-2002-OkataniD #3d #estimation #image #robust #using: Robust Estimation of Camera Translation Between Two Images Using a Camera With a 3D Orientation Sensor (TO, KD), pp. 275–278.
ICPR-v2-2002-RothW #algorithm #matrix: Some Improvements on Two Autocalibration Algorithms Based on the Fundamental Matrix (GR, AW), p. 312–?.
ICPR-v2-2002-TaxD #classification #multi #using: Using Two-Class Classifiers for Multiclass Classification (DMJT, RPWD), pp. 124–127.
ICPR-v3-2002-JeongKSS02a #gesture #linear #recognition #using: Two-Hand Gesture Recognition Using Coupled Switching Linear Model (MHJ, YK, NS, YS), pp. 529–532.
ICPR-v3-2002-LefevreMV #classification #process #segmentation: A Two Level Classifier Process for Audio Segmentation (SL, BM, NV), pp. 891–894.
ICPR-v3-2002-SongCLC02a #image #recognition: Graphics Recognition from Binary Images: One Step or Two Steps (JS, MC, MRL, SC), pp. 135–138.
ICPR-v3-2002-TabboneW #2d #recognition #using: Technical Symbols Recognition Using the Two-Dimensional Radon Transform (ST, LW), pp. 200–203.
ICPR-v3-2002-WangBR #classification #recognition #word: Combining HMM-Based Two-Pass Classifiers for Off-Line Word Recognition (WW, AB, GR), pp. 151–154.
ICPR-v4-2002-FengWP #agile #analysis #case study #comparative #modelling: A Comparative Study of Two Velocity ProfIle Models for Rapid Stroke Analysis (CF, AW, RP), p. 52–?.
ICPR-v4-2002-TothCA #classification #fault: A Two-Stage-Classifier for Defect Classification in Optical Media Inspection (DT, AC, TA), pp. 373–376.
KDD-2002-ChenHS #algorithm: A new two-phase sampling based algorithm for discovering association rules (BC, PJH, PS), pp. 462–468.
SEKE-2002-BryantBARO #assembly #component #generative #specification #two-level grammar #using: Formal specification of generative component assembly using two-level grammar (BRB, CCB, MA, RRR, AMO), pp. 209–212.
SIGIR-2002-Kawatani #categorisation #difference #documentation #set #topic: Topic difference factor extraction between two document sets and its application to text categorization (TK), pp. 137–144.
SIGIR-2002-Kwok #precise #query: Higher precision for two-word queries (KLK), pp. 395–396.
SIGIR-2002-WhiteRJ #documentation #evaluation #ranking #using: Finding relevant documents using top ranking sentences: an evaluation of two alternative schemes (RW, IR, JMJ), pp. 57–64.
SIGIR-2002-ZhaiL #information retrieval #modelling: Two-stage language models for information retrieval (CZ, JDL), pp. 49–56.
LOPSTR-2002-SimonKH #abstract domain #difference #linear: Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
CSL-2002-Kanovich: Bijections between Partitions by Two-Directional Rewriting Techniques (MIK), pp. 44–58.
DAC-2001-LeeNCKD #2d #detection: Two-Dimensional Position Detection System with MEMS Accelerometer for MOUSE Applications (SL, GJN, JC, HK, AJD), pp. 852–857.
DATE-2001-StuikysZDM #component: Two approaches for developing generic components in VHDL (VS, GZ, RD, GM), p. 800.
ICDAR-2001-BrittoSBS #string: A Two-Stage HMM-Based System for Recognizing Handwritten Numeral Strings (AdSBJ, RS, FB, CYS), pp. 396–400.
ICDAR-2001-JagerN #database #online: Two On-Line Japanese Character Databases in Unipen Format (SJ, MN), pp. 566–571.
ICDAR-2001-KogaMSF #2d #bottom-up #parsing #recognition #segmentation: A Recognition Method of Machine-Printed Monetary Amounts Based on the Two-Dimensional Segmentation and the Bottom-up Parsing (MK, RM, HS, HF), pp. 968–971.
ICDAR-2001-RoneeUS #2d #linear #recognition #using: Handwritten Character Recognition Using Piecewise Linear Two-Dimensional Warping (MAR, SU, HS), pp. 39–43.
ICDAR-2001-WangBKR #modelling #multi #recognition: Multi-Branch and Two-Pass HMM Modeling Approaches for Off-Line Cursive Handwriting Recognition (WW, AB, AK, GR), pp. 231–235.
ICDAR-2001-ZhaoCSW #approach #segmentation #using: Handwritten Chinese Character Segmentation Using a Two-Stage Approach (SZ, ZC, PS, QW), pp. 179–183.
ICDAR-2001-ZhaoL #documentation #kernel #recognition: High-Precision Two-Kernel Chinese Character Recognition in General Document Processing Systems (SLZ, HJL), pp. 617–621.
PODS-2001-FerraginaKMS #2d #string: Two-dimensional Substring Indexing (PF, NK, SM, DS).
FoSSaCS-2001-Bojanczyk #automaton #finite #graph #problem: The Finite Graph Problem for Two-Way Alternating Automata (MB), pp. 88–103.
IWPC-2001-AversanoCS #case study #comprehension #maintenance #process: Understanding and Improving the Maintenance Process: A Method and Two Case Studies (LA, GC, SS), pp. 199–208.
DLT-2001-GlasserS: Level 5/2 of the Straubing-Thérien Hierarchy for Two-Letter Alphabets (CG, HS), pp. 251–261.
DLT-2001-SchwentickTV #automaton: Partially-Ordered Two-Way Automata: A New Characterization of DA (TS, DT, HV), pp. 239–250.
ICFP-2001-Sheard #unification: Generic Unification via Two-Level Types and Parameterized Modules (TS), pp. 86–97.
CIKM-2001-RosenthalW #data access #documentation #question: Document Release versus Data Access Controls: Two Sides of the Same Coin? (AR, GW), pp. 544–546.
MLDM-2001-Perner #classification #question #reasoning: Are Case-Based Reasoning and Dissimilarity-Based Classification Two Sides of the Same Coin? (PP), pp. 35–51.
MLDM-2001-SchmidtG #abstraction #reasoning: Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications (RS, LG), pp. 23–34.
SEKE-2001-BastarrioaCDS #component #deployment #optimisation: Two Optimization Techniques for Component-Based Systems Deployment (MCB, REC, SAD, AAS), pp. 153–162.
SIGIR-2001-Broch: Cite Me, Cite My References? (Scholarly Use of the ACM SIGIR Proceedings Based on Two Citation Indexes) (EB), pp. 446–447.
SIGIR-2001-SaraivaMFMRZ #scalability: Rank-Preserving Two-Level Caching for Scalable Search Engines (PCS, ESdM, RCF, WMJ, BARN, NZ), pp. 51–58.
PPDP-2001-HernandezR #algorithm #development #logic programming #reuse #string: Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms (MH, DAR), pp. 38–48.
PPDP-2001-PenaR #abstraction #functional #parallel #programming: Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.
SAC-2001-HousniTKP #algorithm #distributed: A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.
ICSE-2001-BifflG #estimation #fault #modelling: Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles (SB, WG), pp. 145–154.
CSL-2001-LutzSW #logic: Modal Logic and the Two-Variable Fragment (CL, US, FW), pp. 247–261.
IJCAR-2001-NivelleP #similarity: A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
RTA-2001-Bechet #interactive: Universal Interaction Systems with Only Two Agents (DB), pp. 3–14.
DAC-2000-WangKS #clustering #latency #memory management #scheduling: Optimal two level partitioning and loop scheduling for hiding memory latency for DSP applications (ZW, MK, EHMS), pp. 540–545.
DAC-2000-ZachariahCR #algorithm #novel: A novel algorithm to extract two-node bridges (STZ, SC, CDR), pp. 790–793.
DATE-2000-CiricYS #implementation #logic #using: Delay Minimization and Technology Mapping of Two-Level Structures and Implementation Using Clock-Delayed Domino Logic (JC, GY, CS), pp. 277–282.
TACAS-2000-AronsP #comparison #execution #verification: A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
STOC-2000-Kilian #theorem: More general completeness theorems for secure two-party computation (JK), pp. 316–324.
CIAA-2000-Bruggemann-KleinW #automaton #nondeterminism: Regularly Extended Two-Way Nondeterministic Tree Automata (ABK, DW), pp. 57–66.
CIAA-2000-Kempe00a #transducer: Part-of-Speech Tagging with Two Sequential Transducers (AK), pp. 337–339.
CIAA-2000-Watson #algorithm: Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski (BWW), pp. 311–317.
WLC-2000-Brattka #exponential #modelling #recursion: The Emperor’s New Recursiveness: The Epigraph of the Exponential Function in Two Models of Computability (VB), pp. 63–72.
WLC-2000-LombardyS #on the: On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
WLC-2000-SchottS #algorithm #parallel #word: Two Optimal Parallel Algorithms on the Commutation Class of a Word (RS, JCS), pp. 403–419.
CHI-2000-MyersLY #using: Two-handed input using a PDA and a mouse (BAM, KPL, BCY), pp. 41–48.
CSCW-2000-JacksonAMM #behaviour #video: Impact of video frame rate on communicative behaviour in two and four party groups (MJ, AHA, RM, JM), pp. 11–20.
ICPR-v1-2000-Kanatani #3d #analysis #re-engineering #reliability: Gauge-Based Reliability Analysis of 3-D Reconstruction from Two Uncalibrated Perspective Views (KiK), pp. 1076–1079.
ICPR-v1-2000-Lopez-RubioMG #image #robust #segmentation: A Robust Two-Stage System for Image Segmentation (ELR, JMP, JAGR), pp. 1606–1609.
ICPR-v1-2000-SugayaO #algorithm #integration: Stereo by Integration of Two Algorithms with/without Occlusion Handling (YS, YO), pp. 1109–1113.
ICPR-v1-2000-WangT #composition #matrix: An SVD Decomposition of Essential Matrix with Eight Solutions for the Relative Positions of Two Perspective Cameras (WW, HTT), pp. 1362–1365.
ICPR-v2-2000-Kangas #classification #comparison #nearest neighbour #prototype #representation: Comparison between Two Prototype Representation Schemes for a Nearest Neighbor Classifier (JK), pp. 2773–2776.
ICPR-v2-2000-Pavlidis #2d #interface: A New Paper/Computer Interface: Two-Dimensional Symbologies (TP), pp. 2145–2151.
ICPR-v2-2000-SunOKAKT #algorithm #approximate #distance #reduction: Two-Stage Computational Cost Reduction Algorithm Based on Mahalanobis Distance Approximations (FS, SO, NK, HA, SK, TT), pp. 2696–2699.
ICPR-v2-2000-TangXM00a #classification: Two-Step Classification Based on Scale Space (MT, JX, SM), pp. 2899–2902.
ICPR-v3-2000-AcharyyaK #segmentation #using: Two Texture Segmentation Using M-Band Wavelet Transform (MA, MKK), pp. 3405–3408.
ICPR-v3-2000-ChoKN #image #interface #performance #using: An Efficient Walkthrough from Two Images Using View Morphing and Spidery Mesh Interface (HSC, CHK, SN), pp. 3143–3146.
ICPR-v3-2000-LiuH00a #detection #implementation: Two Practical Issues in Canny’s Edge Detector Implementation (GL, RMH), pp. 3680–3682.
ICPR-v3-2000-MostafaPF #classification: A Two-Step Fuzzy-Bayesian Classification for High Dimensional Data (MGHM, TCP, AAF), pp. 3421–3424.
ICPR-v3-2000-UchidaS #2d #linear: Piecewise Linear Two-Dimensional Warping (SU, HS), pp. 3538–3541.
ICPR-v4-2000-Kauppinen #fault #recognition: A Two Stage Defect Recognition Method for Parquet Slab Grading (HK), pp. 4803–4806.
KR-2000-IsmailS #problem #reasoning: Two Problems with Reasoning and Acting in Time (HOI, SCS), pp. 355–365.
ICRE-2000-Parnas00a: Two Positions on Licensing (DLP), p. 154.
SPLC-2000-PasettiP #concept #development #novel #product line: Two Novel Concepts for systematic product line development (AP, WP), pp. 249–270.
HPCA-2000-CappelloRE #clustering #modelling #performance #programming: Investigating the Performance of Two Programming Models for Clusters of SMP PCs (FC, OR, DE), pp. 349–359.
CADE-2000-AudemardBH #finite: Two Techniques to Improve Finite Model Search (GA, BB, LH), pp. 302–308.
LICS-2000-BussK #bound: Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
DAC-1999-Bening #logic #simulation: A Two-State Methodology for RTL Logic Simulation (LB), pp. 672–677.
DAC-1999-DoboliNDGV #behaviour #design #synthesis #using: Behavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration (AD, ANA, NRD, SG, RV), pp. 951–957.
ICDAR-1999-CesariniFGS #approach #comprehension #documentation #multi: A Two Level Knowledge Approach for Understanding Documents of a Multi-Class Domain (FC, EF, MG, GS), pp. 135–138.
ICDAR-1999-ChoiO #network #recognition #using: A Segmentation-free Recognition of Two Touching Numerals using Neural Network (SMC, ISO), pp. 253–256.
ICDAR-1999-SuralD #algorithm #documentation #generative #image #parallel #segmentation: A Two-step Algorithm and its Parallelization for the Generation of Minimum Containing Rectangles for Document Image Segmentation (SS, PKD), pp. 173–176.
ICDAR-1999-SuralD99a #documentation #image #markov: A Two-state Markov Chain Model of Degraded Document Images (SS, PKD), pp. 463–466.
ICDAR-1999-UchidaS #2d #recognition #using: Handwritten Character Recognition using Monotonic and Continuous Two-dimensional Warping (SU, HS), pp. 499–502.
PODS-1999-ArgeSV #2d #on the: On Two-Dimensional Indexability and Optimal Range Search Indexing (LA, VS, JSV), pp. 346–357.
VLDB-1999-ChengGKLLQS #database #implementation #optimisation #query #semantics: Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database (QC, JG, FK, TYCL, LL, XQ, KBS), pp. 687–698.
ITiCSE-1999-Ackermann #education #internet: Poster session. Internet curriculum. two courses: introductory and advanced (ECA), pp. 179–180.
ICSM-1999-KrikhaarPSSV #architecture #process: A Two-Phase Process for Software Architecture Improvement (RLK, AP, MPAS, MS, CV), pp. 371–380.
WCRE-1999-DucasseRN #object-oriented #re-engineering: Type-Check Elimination: Two Object-Oriented Reengineering Patterns (SD, TR, RN), p. 157–?.
DLT-1999-Cassaigne #complexity: Subword complexity and periodicity in two or more dimensions (JC), pp. 14–21.
DLT-1999-FreundF: Test tube systems: when two tubes are enough (RF, FF), pp. 338–350.
ICALP-1999-EngelfrietH #finite #higher-order #logic #monad #transducer: Two-Way Finite State Transducers and Monadic Second-Order Logic (JE, HJH), pp. 311–320.
ICALP-1999-HromkovicS #automaton #finite #on the #power of: On the Power of Las Vegas II. Two-Way Finite Automata (JH, GS), pp. 433–442.
ICALP-1999-KimP #2d #linear: Linear-Time Construction of Two-Dimensional Suffix Trees (DKK, KP), pp. 463–472.
ICALP-1999-KirstenM #problem: Two Techniques in the Area of the Star Problem (DK, JM), pp. 483–492.
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-MurataFAI #2d #effectiveness: Extending effective target width in Fitt’s law to two-dimensional pointing task (AM, MF, YA, HI), pp. 1236–1240.
HCI-EI-1999-MarcusAFG99d #development #interface: User-Interface Development: Lessons for the Future from two Past Projects (AM, JA, VF, EG), pp. 1227–1231.
HCI-EI-1999-SophianC: A Picture is Worth More Than Two Lines (CS, MEC), pp. 376–380.
ICEIS-1999-DuKM #algorithm #mining #performance #reuse: Two Fast Algorithms for Repeated Mining of Association Rules Based on Ressource Reuse (XD, KK, AM), pp. 65–73.
ACIR-1999-FatemiM #representation #retrieval #video: A Two-time Model for Video Content Representation and Retrieval (NF, PM).
SEKE-1999-WieserHS #experience: Push of Pull: Two Cognitive Modes of Systematic Experience Transfer at DaimlerChrysler (EW, FH, KS), pp. 186–204.
SIGIR-1999-HoelscherS #web: Searching on the Web: Two Types of Expertise (poster abstract) (CH, GS), pp. 305–306.
TOOLS-ASIA-1999-LauderK #modelling: Two-Level Modeling (AL, SK), pp. 108–117.
TOOLS-EUROPE-1999-Roubine #repository: Two or Three Things I Have Learnt about Repositories (OR), p. 7.
RE-1999-BoehmAPKL #requirements: Requirements Engineering, Expectations Management, and the Two Cultures (BWB, MAA, DP, JK, AL), pp. 14–22.
SAC-1999-Lee #multi #scheduling: Artificial Intelligence Search Methods for Multi-Machine Two-Stage Scheduling (IL), pp. 31–35.
HPCA-1999-PlaatBH #difference #latency #parallel #scalability: Sensitivity of Parallel Applications to Large Differences in Bandwidth and Latency in Two-Layer Interconnects (AP, HEB, RFHH), pp. 244–253.
CADE-1999-Schmidt-SchaussS #decidability #equation: Solvability of Context Equations with Two Context Variables is Decidable (MSS, KUS), pp. 67–81.
LICS-1999-GanzingerMV #transitive: The Two-Variable Guarded Fragment with Transitive Relations (HG, CM, MV), pp. 24–34.
LICS-1999-GradelR: Two-Variable Descriptions of Regularity (EG, ER), pp. 14–23.
DATE-1998-ShaoC #approximate #design #using: MCM Interconnect Design Using Two-Pole Approximation (JS, RMMC), pp. 544–548.
FoSSaCS-1998-BottreauM #graph #normalisation: Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.
FoSSaCS-1998-Moggi #category theory: Functor Categories and Two-Level Languages (EM), pp. 211–225.
ICSM-1998-NiessinkV #case study #maintenance: Two Case Studies in Measuring Software Maintenance Effort (FN, HvV), pp. 76–85.
IWPC-1998-DeursenK #agile #case study #cobol #comprehension: Rapid System Understanding: Two COBOL Case Studies (AvD, TK), pp. 90–97.
STOC-1998-TherienW #quantifier #word: Over Words, Two Variables Are as Powerful as One Quantifier Alternation (DT, TW), pp. 234–240.
FLOPS-1998-LedererD #programming: Two-Stage Programming (EFAL, RAD), pp. 296–313.
ICALP-1998-DyerG #algorithm #polynomial: A Genuinely Polynomial-Time Algorithms for Sampling Two-Rowed Contingency Tables (MED, CSG), pp. 339–350.
ICALP-1998-Vardi #automaton #reasoning: Reasoning about The Past with Two-Way Automata (MYV), pp. 628–641.
WIA-1998-Augros #automaton #finite #infinity #set #word: Automata to Recognize Finite and Infinite Words with at Least Two Factorizations on a Given Finite Set (XA), pp. 220–225.
FM-1998-FujitaRH #case study #experience #parallel #protocol #verification: Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol (MF, SPR, AJH), pp. 281–295.
CHI-1998-BhavnaniJ #performance: Delegation and Circumvention: Two Faces of Efficiency (SKB, BEJ), pp. 273–280.
AdaEurope-1998-ArabanS #library #object-oriented: A Two-Level Matching Mechanism for Object-Oriented Class Libraries (SA, ASMS), pp. 188–200.
ICPR-1998-0002C #comparison #evaluation: Experimental evaluation of two criteria for pattern comparison and alignment (CS, RC), pp. 146–153.
ICPR-1998-BouletreauVSE #identifier #question: Handwriting and signature: one or two personality identifiers? (VB, NV, RS, HE), pp. 1758–1760.
ICPR-1998-Lehmann #algorithm #image #modelling: A two-stage algorithm for model-based registration of medical images (TML), pp. 344–351.
ICPR-1998-RodriguezMNZMP #classification: A two-stage classifier for broken and blurred digits in forms (CR, JM, MN, AZ, JIM, JMP), pp. 1101–1105.
ICPR-1998-UchidaS #2d #programming: A monotonic and continuous two-dimensional warping based on dynamic programming (SU, HS), pp. 521–524.
ICPR-1998-WatanabeT #2d #analysis #image: An analysis system for two-dimensional gel electrophoresis images of genomic DNA (YW, KT), pp. 368–371.
ICPR-1998-Yamada #pattern matching #query #retrieval #using: Handwritten text retrieval using two-stage pattern matching with handwritten query (KY), pp. 621–625.
KDD-1998-Domingos: Occam’s Two Razors: The Sharp and the Blunt (PMD), pp. 37–43.
SIGIR-1998-KwokC #ad hoc #query #retrieval: Improving Two-Stage Ad-Hoc Retrieval for Short Queries (KLK, MC), pp. 250–256.
SAC-1998-Kimm #2d #configuration management #pipes and filters #problem: Two dimensional maximal elements problem on a reconfigurable optical pipelined bus system (HK), pp. 623–627.
HPCA-1998-MackenzieKFLLAK #performance: Exploiting Two-Case Delivery for Fast Protected Messaging (KM, JK, MF, WL, VL, AA, MFK), pp. 231–242.
HPDC-1998-KanitkarD #transaction: Two-Stage Transaction Processing in Client-Server DBMSs (VK, AD), pp. 98–105.
LICS-1998-Dalen: L. E. J. Brouwer’s Intuitionism: A Revolution in Two Installments (DvD), pp. 228–241.
LICS-1998-KolaitisO #bound #first-order #logic #on the #problem: On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.
DAC-1997-GuptaH #2d #generative #layout #named #optimisation: CLIP: An Optimizing Layout Generator for Two-Dimensional CMOS Cells (AG, JPH), pp. 452–455.
EDTC-1997-DufazaZ #generative #on the #pseudo #sequence #testing: On the generation of pseudo-deterministic two-patterns test sequence with LFSRs (CD, YZ), pp. 69–76.
EDTC-1997-SeongK #clustering #design #layout: Two-way partitioning based on direction vector [layout design] (KSS, CMK), pp. 306–310.
ICDAR-1997-ChaudhuriP: An OCR System to Read Two Indian Language Scripts: Bangla and Devnagari (Hindi) (BBC, UP), pp. 1011–1015.
ICDAR-1997-HoriuchiHYY #2d #normalisation #recognition #using: Two-dimensional Extension of Nonlinear Normalization Method using Line Density for Character Recognition (TH, RH, HY, KY), pp. 511–514.
CSMR-1997-Meltz #assessment: Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.
PLDI-1997-SperberT #compilation #partial evaluation: Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.
STOC-1997-Kleinberg #algorithm #nearest neighbour: Two Algorithms for Nearest-Neighbor Search in High Dimensions (JMK), pp. 599–608.
DLT-1997-Paun #distributed: Two-Level Distributed H Systems (GP), pp. 309–327.
CHI-1997-KurtenbachFBB #design #paradigm #user interface: The Design of a GUI Paradigm based on Tablets, Two-hands, and Transparency (GK, GWF, TB, WB), pp. 35–42.
HCI-SEC-1997-BlanchonF #what: Asking Users About What They Mean: Two Experiments & Results (HB, LF), pp. 609–612.
HCI-SEC-1997-KiyokawaTY #3d #design: Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment (KK, HT, NY), pp. 937–940.
SAC-1997-MoonLK #2d #clustering #search-based: Genetic VLSI circuit partitioning with two-dimensional geographic crossover and zigzag mapping (BRM, YSL, CKK), pp. 274–278.
ESEC-FSE-1997-PerryV: The Tale of Two Projects — Abstract (DEP, LGV), pp. 521–522.
LICS-1997-EtessamiVW #first-order #logic: First-Order Logic with Two Variables and Unary Temporal Logic (KE, MYV, TW), pp. 228–235.
LICS-1997-GradelOR #decidability #logic: Two-Variable Logic with Counting is Decidable (EG, MO, ER), pp. 306–317.
LICS-1997-PacholskiST #complexity #logic: Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
RTA-1997-Lafont #2d: Two-Dimensional Rewriting (YL), pp. 228–229.
DAC-1996-TelicheveskyKW #analysis #performance: Efficient AC and Noise Analysis of Two-Tone RF Circuits (RT, KSK, JW), pp. 292–297.
DAC-1996-TheobaldNW #heuristic #logic #named: Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic (MT, SMN, TW), pp. 71–76.
HT-1996-Kendall #hypermedia #set: Hypertextual Dynamics in A Life Set for Two (RK), pp. 74–83.
SIGMOD-1996-AchyutuniON #database #online #parallel: Two Techniques for On-Line Index Modification in Shared Nothing Parallel Databases (KJA, EO, SBN), pp. 125–136.
SIGMOD-1996-FukudaMMT #2d #algorithm #data mining #mining #using #visualisation: Data Mining Using Two-Dimensional Optimized Accociation Rules: Scheme, Algorithms, and Visualization (TF, YM, SM, TT), pp. 13–23.
SAS-1996-KellyMSS #analysis #constraints #incremental #logic programming #source code: Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs (ADK, KM, HS, PJS), pp. 385–386.
IFL-1996-RuncimanR #matter #profiling: Two-Pass Heap Profiling: A Matter of Life and Death (CR, NR), pp. 222–232.
TRI-Ada-1996-ParrishCLM #ada #assessment #learning #process #re-engineering: Active Learning and Process Assessment: Two Experiments in an Ada-Based Software Engineering Course (ASP, DC, CL, DM), pp. 157–161.
TRI-Ada-1996-Riley #ada #comparison #corba #development #distributed: A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA (JDR), pp. 73–80.
ICPR-1996-Aladjem #distance #optimisation #recursion: Two-class pattern discrimination via recursive optimization of Patrick-Fisher distance (MEA), pp. 60–64.
ICPR-1996-Chernov96a #2d #metric: A metric unified treatment of two-dimensional FFT (VMC), pp. 662–669.
ICPR-1996-DuttaM #comparison #performance: Performance comparison of two evolutionary schemes (PD, DDM), pp. 659–663.
ICPR-1996-Fainzilberg #recognition #statistics #why: Why relevant features may be unuseful in statistical recognition of two classes (LF), pp. 730–734.
ICPR-1996-LiM #3d #estimation: 3D pose estimation from an n-degree planar curved feature in two perspective views (LL, SM), pp. 374–377.
ICPR-1996-PaikCLL #multi #using: Multiple recognizers system using two-stage combination (JP, SBC, KL, YL), pp. 581–585.
ICPR-1996-TianT96a #3d #algorithm #image #search-based #sequence #using: 3D shape recovery from two-color image sequences using a genetic algorithm (YlT, HTT), pp. 674–678.
ICPR-1996-Zhang #geometry #image #lens #on the: On the epipolar geometry between two images with lens distortion (ZZ), pp. 407–411.
ICPR-1996-ZhangW #algorithm #parallel: A parallel thinning algorithm with two-subiteration that generates one-pixel-wide skeletons (EYYZ, PSPW), pp. 457–461.
KDD-1996-UrpaniWS #induction #named: RITIO — Rule Induction Two In One (DU, XW, JS), pp. 339–342.
SEKE-1996-VerlageDMM #process #synthesis: A Synthesis of Two Process Support Approaches (MV, BD, FM, JM), pp. 59–68.
SIGIR-1996-LiuLYR #2d #memory management #performance #proximity #query: Efficient Processing of One and Two Dimensional Proximity Queries in Associative Memory (KLL, GJL, CTY, NR), pp. 138–146.
SAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set: Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.
HPCA-1996-AndersonK #adaptation #hybrid #protocol: Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.
CAV-1996-Fujita #verification: Verification of Arithmetic Circuits by Comparing Two Similar Circuits (MF), pp. 159–168.
ICDAR-v1-1995-StrathyS #classification #multi #network: A two-stage multi-network OCR system with a soft pre-classifier and a network selector (NWS, CYS), pp. 78–81.
ICDAR-v2-1995-JangKHK #recognition: Two-stage recognition of freight train ID number under outdoor environment (JHJ, JHK, KSH, JHK), pp. 986–991.
ICDAR-v2-1995-ZhouHL #classification #recognition: A method of Jia Gu Wen recognition based on a two-level classification (XLZ, XCH, FL), pp. 833–836.
STOC-1995-FeigeK #proving #random: Impossibility results for recycling random bits in two-prover proof systems (UF, JK), pp. 457–468.
STOC-1995-GhoshLMMPRRTZ #algorithm #analysis: Tight analyses of two local load balancing algorithms (BG, FTL, BMM, SM, CGP, RR, AWR, RET, DZ), pp. 548–558.
STOC-1995-Pulleyblank #problem: Two Steiner tree packing problems (Extended Abstract) (WRP), pp. 383–387.
STOC-1995-RaschleS #graph #recognition: Recognition of graphs with threshold dimension two (TR, KS), pp. 650–661.
DLT-1995-Giammarresi #2d #bibliography #finite: Finite State Recognizability for Two-Dimensional Languages: A Brief Survey (DG), pp. 299–308.
CIKM-1995-LiR: PERF Join: An Alternative to Two-way Semijoin and Bloomjoin (ZL, KAR), pp. 137–144.
ICML-1995-AbeLN #2d #algorithm #learning #online #using: On-line Learning of Binary Lexical Relations Using Two-dimensional Weighted Majority Algorithms (NA, HL, AN), pp. 3–11.
SIGIR-1995-Church #question: One Term Or Two? (KWC), pp. 310–318.
SIGIR-1995-WillieB #information management #interface #modelling: Improving the Information Search Interface: the case for two search models (SW, PB), pp. 205–210.
SIGIR-1995-Winograd #library: Digital Libraries: Bridging the Two Cultures (TW), p. 2.
SAC-1995-HuizingaH #distributed: Two-level client caching and disconnected operation of notebook computers in distributed systems (DMH, KAH), pp. 390–395.
SAC-1995-SaiedianM #case study #framework #process #quality: A study of two frameworks for quality software process (HS, LMM), pp. 434–439.
HPCA-1995-AndersonB #multi #performance: Two Techniques for Improving Performance on Bus-Based Multiprocessors (CA, JLB), pp. 264–275.
HPCA-1995-CunninghamA #2d #adaptation #fault tolerance: Fault-Tolerant Adaptive Routing for Two-Dimensional Meshes (CMC, DRA), pp. 122–131.
HPCA-1995-UpadhyayVM #2d #adaptation #performance: Efficient and Balanced Adaptive Routing in Two-Dimensional Meshes (JU, VV, PM), pp. 112–121.
ICLP-1995-BoyeM #aspect-oriented: Two Aspects of Directional Types (JB, JM), pp. 747–761.
ICLP-1995-ShiraiH #constraints #problem: Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
LICS-1995-Otto: Ptime Canonization for Two Variables with Counting (MO), pp. 342–352.
RTA-1995-CorradiniGM #modelling #term rewriting: Relating Two Categorial Models of Term Rewriting (AC, FG, UM), pp. 225–240.
DAC-1994-SarabiSCP #2d #approach #array #design #logic #physics #synthesis: A Comprehensive Approach to Logic Synthesis and Physical Design for Two-Dimensional Logic Arrays (AS, NS, MCJ, MAP), pp. 321–326.
EDAC-1994-KeM #synthesis: Synthesis of Delay-Verifiable Two-Level Circuits (WK, PRM), pp. 297–301.
EDAC-1994-WangD #approximate #linear #optimisation #performance #using: An Efficient Yield Optimization Method Using A Two Step Linear Approximation of Circuit Performance (ZW, SWD), pp. 567–571.
VLDB-1994-OuzzaniAB #approach #top-down: A Top-Down Approach for Two Level Serializability (MO, MAA, NLB), pp. 226–237.
CSEE-1994-BoardmanM #experience #re-engineering #sequence: A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience (DBB, APM), pp. 5–22.
CSEE-1994-JohnstonW #experience: Building on Experience: An Undegraduate Course with Two Year-Long Projects (LJ, PWD), pp. 345–357.
CSEE-1994-MooreP #experience #learning #re-engineering: Learning by Doing: Goals & Experience of Two Software Engineering Project Courses (MMM, CP), pp. 151–164.
STOC-1994-FeigeK #fault #protocol #proving: Two prover protocols: low error at affordable rates (UF, JK), pp. 172–183.
STOC-1994-JiangSV: Two heads are better than two tapes (TJ, JIS, PMBV), pp. 668–675.
ICALP-1994-AmirBF #2d: Optimal Two-Dimensional Compressed Matching (AA, GB, MF), pp. 215–226.
CHI-1994-KabbashBS94a: Two-handed input in a compound task (PK, WB, AS), pp. 417–423.
CHI-1994-MasuiN94b #editing #performance #predict: Repeat and predict — two keys to efficient text editing (TM, KN), pp. 118–123.
CHI-1994-MynattW94a #user interface #visual notation: Nonvisual presentation of graphical user interfaces: contrasting two approaches (EDM, GW), pp. 166–172.
CHI-1994-RiemanLYP94a #architecture #consistency #interface #reasoning #why: Why is a raven like a writing desk?: lessons in interface consistency and analogical reasoning from two cognitive architectures (JR, CHL, RMY, PGP), pp. 438–444.
AdaEurope-1994-Schneeweiss #object-oriented: Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods (HS), pp. 155–161.
CIKM-1994-HelalKF: Quasi-Dynamic Two-Phase Locking (AH, THK, JF), pp. 211–218.
KDD-1994-GregoryC #algorithm #modelling: Two Algorithms for Inducing Causal Models from Data (DEG, PRC), pp. 73–84.
SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code: Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.
SAC-1994-MortonTBS #2d #adaptation #finite #simulation: An adaptive finite element methodology for 2D simulation of two-phase flow through porous media (DJM, JMT, ATB, PAS), pp. 357–362.
HPDC-1994-Benslimane #bound #communication #finite #state machine: Deciding Boundedness for Systems of Two Communicating Finite State Machines (AB), pp. 262–269.
DAC-1993-ChakravartyG #algorithm #fault: An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits (SC, YG), pp. 520–524.
DAC-1993-CoudertMF #logic: A New Viewpoint on Two-Level Logic Minimization (OC, JCM, HF), pp. 625–630.
DAC-1993-PapaefthymiouR #named: TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry (MCP, KHR), pp. 497–502.
ICDAR-1993-KrtolicaM #algorithm #recognition: Two-stage box connectivity algorithm for optical character recognition (RK, SM), pp. 179–182.
ICDAR-1993-Viard-GaudinNB #2d #algorithm #approach #using: A bar code location algorithm using a two-dimensional approach (CVG, NN, DB), pp. 45–48.
VLDB-1993-LampsonL #commit #optimisation: A New Presumed Commit Optimization for Two Phase Commit (BWL, DBL), pp. 630–640.
STOC-1993-ChouK #2d #complexity: Some complexity issues on the simply connected regions of the two-dimensional plane (AWC, KIK), pp. 1–10.
DLT-1993-Gimmarresi #2d: Two-Dimensional Languages and Recognizable Functions (DG), pp. 290–301.
ICALP-1993-IbarraJTW #decidability: New Decidability Results Concerning Two-way Counter Machines and Applications (OHI, TJ, NQT, HW), pp. 313–324.
HCI-SHI-1993-LeeWV #2d #interactive #interface: Interactive Haptic Interface: Two-Dimensional Form Perception for Blind Access to Computers (SL, SFW, GCV), pp. 190–195.
INTERCHI-1993-NielsenP #empirical #heuristic #interface #usability: Estimating the relative usability of two interfaces: heuristic, formal, and empirical methods compared (JN, VLP), pp. 214–221.
AdaEurope-1993-KamradH #ada #case study #realtime: Applying Ada 9X to Two Real-Time Applications: A Case Study (JMKI, JH), pp. 79–94.
AdaEurope-1993-MancusiTRSPB #architecture: Real and Virtual Interrupt Support: The Mapping of a CARTS Feature to Two Different Architectures (RM, JLT, MR, ENS, MP, CLB), pp. 314–329.
TRI-Ada-1993-Byrnes #ada #migration: Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.
SEKE-1993-MochizukiYK #design #modelling #process: Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model (SM, AY, TK), pp. 291–295.
SAC-1993-FrederickSW #algorithm #metric #network #problem #search-based: The Hamming Metric in Genetic Algorithms and Its Application to Two Network Problems (WGF, RLS, CMW), pp. 126–130.
SAC-1993-Sabharwal93a #2d #3d #image #parametricity: Recovering 3D Image Parameters from Corresponding Two 2D Images (CLS), pp. 402–409.
DAC-1992-LeeM #logic #multi #simulation: Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
DAC-1992-Malik #multi #network #optimisation #using: Optimization of Primitive Gate Networks Using Multiple Output Two-Level Minimization (AAM), pp. 449–453.
HT-ECHT-1992-MarshallR #case study #experience: Two Years before the Mist: Experiences with Aquanet (CCM, RAR), pp. 53–62.
STOC-1992-AmirBF #2d #independence: Alphabet Independent Two Dimensional Matching (AA, GB, MF), pp. 59–68.
STOC-1992-FeigeL92a #problem #proving: Two-Prover One-Round Proof Systems: Their Power and Their Problems (Extended Abstract) (UF, LL), pp. 733–744.
ICALP-1992-BodlaenderFW: Two Strikes Against Perfect Phylogeny (HLB, MRF, TW), pp. 273–283.
CHI-1992-BallasHP #aspect-oriented: Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits (JAB, CLH, MAP), pp. 127–134.
CHI-1992-MacKenzieB #2d: Extending Fitts’ Law to Two-Dimensional Tasks (ISM, WB), pp. 219–226.
CSCW-1992-Harper #research #social: Looking at Ourselves: An Examination of the Social Organisation of Two Research Laboratories (RHRH), pp. 330–337.
SEKE-1992-AlcarazNHB #maintenance #monitoring #realtime: Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.
PLILP-1992-SaidiB #debugging #two-level grammar: Checking and Debugging of Two-level Grammars (SS, JFB), pp. 158–171.
JICSLP-1992-AlferesP #logic programming #on the #semantics: On Logic Program Semantics with Two Kinds of Negation (JJA, LMP), pp. 574–588.
DAC-1991-ChenM #pipes and filters #scheduling: Datapath Scheduling for Two-Level Pipelining (CYRC, MZM), pp. 603–606.
DAC-1991-DoodWLS #2d #geometry: A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.
DAC-1991-SoeK #logic #using: Logic Minimization using Two-column Rectangle Replacement (SS, KK), pp. 470–473.
DAC-1991-Wang #layout #novel: Novel Routing Schemes for IC Layout, Part I: Two-Layer Channel Routing (DCW), pp. 49–53.
PODS-1991-MalvestutoMR #2d #information management #statistics: Suppressing Marginal Cells to Protect Sensitive Information in a Two-Dimensional Statistical Table (FMM, MM, MR), pp. 252–258.
PLDI-1991-Launchbury #analysis #strict: Strictness and Binding-Time Analyses: Two for the Price of One (JL), pp. 80–91.
STOC-1991-CoffmanG #proving #scheduling: Proof of the 4/3 Conjecture for Preemptive vs. Nonpreemptive Two-Processor Scheduling (EGCJ, MRG), pp. 241–248.
STOC-1991-CohenM #algorithm #difference #linear: Improved Algorithms for Linear Inequalities with Two Variables per Inequality (Extended Abstract) (EC, NM), pp. 145–155.
STOC-1991-Kilian #game studies #theorem: A General Completeness Theorem for Two-Party Games (JK), pp. 553–560.
ICALP-1991-CuckerT #formal method #problem: Two P-Complete Problems in the Theory of the Reals (FC, AT), pp. 556–565.
ICALP-1991-JungSS #algorithm #constraints #parallel #precedence #scheduling: A Parallel Algorithm for Two Processors Precedence Constraint Scheduling (HJ, MJS, PGS), pp. 417–428.
VDME-1991-2-Woodcock91c #case study #refinement: Two Refinement Case Studies (JW), pp. 118–140.
CHI-1991-BorningT #interactive #network #video: Two approaches to casual interaction over computer and video networks (AB, MT), pp. 13–19.
CHI-1991-Grudin #convergence #development #named: CSCW: the convergence of two development contexts (JG), pp. 91–97.
AdaEurope-1991-GilbertTB #ada #embedded #experience #process #realtime #using: Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes (BG, MT, GB), pp. 394–403.
SIGIR-1991-AgostiCG #hypermedia #retrieval: A Two-Level Hypertext Retrieval Model for Legal Data (MA, RC, GG), pp. 316–325.
PLILP-1991-Davison: From Parlog to Polka in two easy Steps (AD), pp. 171–182.
ASPLOS-1991-CateG #file system #integration: Integration of Compression and Caching for a Two-Level File System (VC, TRG), pp. 200–211.
CAV-1991-SegerJ #using #verification: A Two-Level Formal Verification Methodology using HOL and COSMOS (CJHS, JJJ), pp. 299–309.
DAC-1990-MalikBNS #logic #multi: Reduced Offsets for Two-Level Multi-Valued Logic Minimization (AAM, RKB, ARN, ALSV), pp. 290–296.
VLDB-1990-Garcia-MolinaPH #algorithm: Two Epoch Algorithms for Disaster Recovery (HGM, CAP, RBH), pp. 222–230.
PLDI-1990-Horwitz #difference #identification #semantics: Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.
PLDI-1990-PughW #inheritance #layout #multi: Two-Directional Record Layout for Multiple Inheritance (WP, GEW), pp. 85–91.
STOC-1990-MillerT: Separators in Two and Three Dimensions (GLM, WPT), pp. 300–309.
ICALP-1990-Anselmo #automaton #multi: Two-Way Automata with Multiplicity (MA), pp. 88–102.
VDME-1990-LafontaineLS #formal method #towards: Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.
CAV-1990-Clarke #explosion #logic #model checking #problem: Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem (EMC), p. 1.
DAC-1989-DaveP #generative #testing #using: A Functional-Level Test Generation Methodology Using Two-level Representations (UJD, JHP), pp. 722–725.
DAC-1989-IrwinO #2d #comparison #layout #matrix #tool support: A Comparison of Four Two-dimensional Gate Matrix Layout Tools (MJI, RMO), pp. 698–701.
DAC-1989-LinDY #2d #layout #matrix #synthesis: Gate Matrix Layout Synthesis with Two-Dimensional Folding (IL, DHCD, SHCY), pp. 37–42.
DAC-1989-ShinL #2d #algorithm #layout #performance: An Efficient Two-Dimensional Layout Compaction Algorithm (HS, CYL), pp. 290–295.
DAC-1989-VillaS #finite #implementation #logic #named #state machine: NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations (TV, ALSV), pp. 327–332.
ICALP-1989-MehlhornP #source code: Two Versus One Index Register and Modifiable Versus Non-modifiable Programs (KM, WJP), pp. 603–609.
CHI-1989-Raskin: Systemic implications of leap and an improved two-part cursor (JR), pp. 167–170.
ML-1989-PagalloH #algorithm: Two Algorithms That Learn DNF by Discovering Relevant Features (GP, DH), pp. 119–123.
ML-1989-Selfridge #adaptation #case study #contest #learning: Atoms of Learning II: Adaptive Strategies A Study of Two-Person Zero-Sum Competition (OGS), pp. 412–415.
SEKE-1989-LeaC #agile #prototype: A Two-Level Model for Software Rapid Prototyping (RJL, CGC), pp. 73–78.
SOSP-1989-BarkleyL #bound #lazy evaluation: A Lazy Buddy System Bounded by Two Coalescing Delays per Class (REB, TPL), pp. 167–176.
DAC-1988-HillAHS #algorithm #fault #simulation: A New Two Task Algorithm for Clock Mode Fault Simulation in Sequential Circuits (FJH, EA, WKH, GQS), pp. 583–586.
PODS-1988-Kelter #concurrent #protocol #queue: The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.
STOC-1988-PintzSS #infinity #performance #testing: Two Infinite Sets of Primes with Fast Primality Tests (JP, WLS, ES), pp. 504–509.
ICALP-1988-LingasS #algorithm #graph #morphism #polynomial: A Polynomial-Time Algorithm for Subgraph Isomorphism of Two-Connected Series-Parallel Graphs (AL, MMS), pp. 394–409.
CSCW-1988-BjerknesB #evaluation: The Memoirs of two Survivors: or the Evaluation of a Computer System for Cooperative Work (GB, TB), pp. 167–177.
ML-1988-NatarajanT #framework #learning: Two New Frameworks for Learning (BKN, PT), pp. 402–415.
SIGIR-1988-YuM #information retrieval #learning: Two Learning Schemes in Information Retrieval (CTY, HM), pp. 201–218.
CCHSC-1988-WeisgerberW #pattern matching: Two Tree Pattern Matchers for Code Selection (BW, RW), pp. 215–229.
CADE-1988-MarcusR #automation #implementation #proving: Two Automated Methods in Implementation Proofs (LM, TR), pp. 622–642.
LICS-1988-Meyer #paradigm #semantics: Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis (ARM), pp. 236–253.
PLDI-1987-Pittman #execution #hybrid #interpreter #performance: Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
STOC-1987-DietzS #algorithm #maintenance #order: Two Algorithms for Maintaining Order in a List (PFD, DDS), pp. 365–372.
STOC-1987-MaassSS #turing machine: Two Tapes Are Better than One for Off-Line Turing Machines (WM, GS, ES), pp. 94–100.
STOC-1987-Munro: Searching a Two Key Table Under a Single Key (JIM), pp. 383–387.
ESEC-1987-CartmellA #database #eclipse #interface: The Eclipse Two-Tier Database Interface (JC, AA), pp. 129–137.
DAC-1986-Sasao #generative #multi #named #synthesis #using: MACDAS: multi-level AND-OR circuit synthesis using two-variable function generators (TS), pp. 86–93.
DAC-1986-ShinSS #2d: Two-dimensional compaction by “zone refining” (HS, ALSV, CHS), pp. 115–122.
ESOP-1986-Nielson #code generation #correctness #metalanguage: Correctness of Code Generation from a Two-Level Meta-Language (FN), pp. 30–40.
ESOP-1986-NielsonN #aspect-oriented #metalanguage: Pragmatic Aspects of Two-Level Denotational Meta-Languages (HRN, FN), pp. 133–143.
STOC-1986-AjtaiBHKPRST #bound #branch #source code: Two lower bounds for branching programs (MA, LB, PH, JK, PP, VR, ES, GT), pp. 30–38.
STOC-1986-Bern #probability: Two Probabilistic Results on Rectilinear Steiner Trees (MWB), pp. 433–441.
STOC-1986-LuekerMR #difference #linear #programming: Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.
ICALP-1986-AverbuchWG #algorithm #classification #polynomial: Classification of all the Minimal Bilinear Algorithms for Computing the Coefficients of the Product of Two Polynomials Modulo a Polynomial (AA, SW, ZG), pp. 31–39.
SIGIR-1986-Fuhr #modelling #probability #retrieval: Two Models of Retrieval with Probabilistic Indexing (NF), pp. 249–257.
DAC-1985-Marek-Sadowska #2d #layout: Two-dimensional router for double layer layout (MMS), pp. 117–123.
SIGMOD-1985-CliffordT #algebra #database #on the #relational: On An Algebra For Historical Relational Databases: Two Views (JC, AUT), pp. 247–265.
STOC-1985-FichHRW #bound #infinity #parallel: One, Two, Three … Infinity: Lower Bounds for Parallel Computation (FEF, FMadH, PR, AW), pp. 48–58.
STOC-1985-Vazirani #communication #complexity #generative #sequence #towards: Towards a Strong Communication Complexity Theory or Generating Quasi-Random Sequences from Two Communicating Slightly-random Sources (Extended Abstract) (UVV), pp. 366–378.
STOC-1985-VaziraniV #problem #scheduling: The Two-Processor Scheduling Problem is in R-NC (UVV, VVV), pp. 11–21.
ICSE-1985-KafuraC #metric #using #validation: A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.
ICSE-1985-YellinM #attribute grammar: Two-Way Translators Based on Attribute Grammar Inversion (DMY, EMMM), pp. 36–42.
RTA-1985-CosmadakisK #database #equation: Two Applications of Equational Theories to Database Theory (SSC, PCK), pp. 107–123.
RTA-1985-Hsiang #proving #term rewriting #theorem proving: Two Results in Term Rewriting Theorem Proving (JH), pp. 301–324.
DAC-1984-MarkovFB #2d #optimisation: Optimization techniques for two-dimensional placement (LAM, JRF, JHB), pp. 652–654.
STOC-1984-AdlerM #algorithm #bound #polynomial: A Simplex Algorithm Whose Average Number of Steps is Bounded between Two Quadratic Functions of the Smaller Dimension (IA, NM), pp. 312–323.
SIGIR-1984-Bollmann #axiom #evaluation #information retrieval #metric: Two Axioms for Evaluation Measures in Information Retrieval (PB), pp. 233–245.
ILPC-1984-Miklos84 #case study #comparison #logic programming #programming language: A Comparison of two Logic Programming Languages: A Case Study (MS), pp. 41–51.
VLDB-1983-DasguptaK #concurrent #database #protocol: A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases (PD, ZMK), pp. 92–94.
VLDB-1983-LinN #multi: Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking (WTKL, JN), pp. 109–119.
STOC-1983-BorodinDFP #bound #branch #source code: Bounds for Width Two Branching Programs (AB, DD, FEF, WJP), pp. 87–93.
STOC-1983-DurisGPR #bound: Two Nonlinear Lower Bounds (PD, ZG, WJP, RR), pp. 127–132.
ICALP-1983-SpinradV #2d #morphism #partial order #recognition: Recognition and Isomorphism of Two Dimensional Partial Orders (JPS, JV), pp. 676–686.
DAC-1982-ChandrasekharB: Optimum placement of two rectangular blocks (MSC, MAB), pp. 879–886.
DAC-1982-CosmaiCMN #2d #interactive: An interactive drafting system based on two dimensional primitives (GC, UC, PM, AN), pp. 521–529.
DAC-1982-Hsu #2d #algorithm: A new two-dimensional routing algorithm (CPH), pp. 46–50.
DAC-1982-Pinter #on the: On routing two-point nets across a channel (RYP), pp. 894–902.
DAC-1982-WieselM #2d #problem: Two-dimensional channel routing and channel intersection problems (MW, DAM), pp. 733–739.
PODS-1982-MenasceN #commit #evaluation #performance #protocol: Performance Evaluation of a Two-Phase Commit Based Protocol for DDBS (DAM, TN), pp. 247–255.
PODS-1982-MohanFS #commutative #protocol: Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.
VLDB-1982-KedemMS #concurrent #performance #protocol: An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.
STOC-1982-DurisG #nondeterminism: Two Tapes are Better than One for Nondeterministic Machines (PD, ZG), pp. 1–7.
STOC-1982-InoueTT #2d #turing machine: Two-Dimensional Alternating Turing Machines (KI, IT, HT), pp. 37–46.
GG-1982-Staples #evaluation #performance #representation: Two-level expression representation for faster evaluation (JS), pp. 392–404.
ILPC-1982-Blair82: The Undecidability of Two Completeness Notions for the “Negation as Failure” (HAB), pp. 164–168.
ILPC-1982-MaluszynskiN82 #comparison #logic programming #programming language #prolog: A Comparison of the Logic Programming Language Prolog with Two-levels Grammars (JM, JFN), pp. 193–199.
SIGMOD-1981-Lin #concurrent #database #distributed #evaluation #performance: Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System (WTKL), pp. 84–92.
STOC-1981-DurisG #automaton: Fooling a Two-Way Automaton or One Pushdown Store Is Better Than One Counter for Two Way Machines (Preliminary Version) (PD, ZG), pp. 177–188.
ICALP-1981-ItzhaikY #equivalence #linear: A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract) (YI, AY), pp. 229–237.
ICSE-1981-BaerGGR #modelling #protocol #proving #specification: The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology (JLB, GG, CG, GR), pp. 363–373.
SOSP-1981-MitchellD #comparison: A Comparison of Two Network-Based File Servers (JGM, JD), pp. 45–46.
DAC-1980-GouldE #array #design #standard: The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.
DAC-1980-LuebbertU: Gate assignment and pack placement: Two approaches compared (FL, MU), pp. 472–482.
VLDB-1980-KedemS #protocol: Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.
STOC-1980-Tompa80a #algorithm #implementation #polynomial #sublinear #transitive: Two Familiar Transitive Closure Algorithms which Admit No Polynomial Time, Sublinear Space Implementations (MT), pp. 333–338.
SIGIR-1980-Bookstein #comparison #retrieval: A Comparison of Two Weighting Schemes for Boolean Retrieval (AB), pp. 23–34.
DAC-1979-Goto #2d #algorithm #layout #problem #slicing: A two-dimensional placement algorithm for the master slice LSI layout problem (SG), pp. 11–17.
VLDB-1979-KawazuMIT #algorithm #concurrent #database #detection #distributed: Two-Phase Deadlock Detection Algorithm in Distributed Databases (SK, SM, KI, KT), pp. 360–367.
VLDB-1979-QuintellaGOAL #case study #database #development #tool support: A Methodologic Guide-Line for the Instalation of Data Base Development Tools and Data Administration Tools: Two Case Studies from Brazil (HMQ, GAdG, MRdO, LTdA, FRL), pp. 313–318.
ICALP-1979-DembinskiM #equation #two-level grammar: Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.
ICALP-1979-FichB: A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages (FEF, JAB), pp. 230–244.
ICALP-1979-Heide #comparison #game studies #graph: A Comparison Between Two Variations of a Pebble Game on Graphs (FMadH), pp. 411–421.
ICALP-1979-Wegner #approach #decidability #two-level grammar: Bracketed Two-Level Grammars — A Decidable and Practical Approach to Language Definitions (LMW), pp. 668–682.
DAC-1978-Haims #2d #on the #problem: On the optimum two-dimensional allocation problem (MJH), pp. 298–304.
SIGMOD-1978-YamamotoTUI #design #multi #order: Design of a Generalized Balanced Multiple-Valued File Organization Scheme of Order Two (SY, ST, KU, HI), pp. 47–51.
STOC-1978-EngelfrietRS #transducer: Tree Transducers, L Systems and Two-Way Machines (Extended Abstract) (JE, GR, GS), pp. 66–74.
STOC-1978-SakodaS #automaton #finite #nondeterminism: Nondeterminism and the Size of Two Way Finite Automata (WJS, MS), pp. 275–286.
GG-1978-Hesse #graph grammar: Two-Level Graph Grammars (WH), pp. 255–269.
GG-1978-LuckL #2d #difference #generative #graph #parallel: Two-Dimensional, Differential, Intercalary Plant Tissue Growth and Parallel Graph Generating and Graph Recurrence Systems (JL, HBL), pp. 284–300.
GG-1978-Pfaltz #2d #graph grammar #network #set: A Graph Grammar that Describes the Set of Two-Dimensional Surface Networks (JLP), pp. 379–388.
DAC-1977-NishiokaKN #automation #layout: A minicomputerized automatic layout system for two-layer printed wiring boards (IN, TK, HN), pp. 1–11.
DAC-1976-WuS #algorithm #float: A new routing algorithm for two-sided boards with floating vias (WW, DCS), pp. 151–160.
STOC-1976-Schaefer #complexity #finite #game studies #problem: Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.
STOC-1975-Fredman #probability #sorting: Two Applications of a Probabilistic Search Technique: Sorting x + y and Building Balanced Search Trees (MLF), pp. 240–244.
ICALP-1974-Wijngaarden #generative #power of #two-level grammar: The Generative Power of Two-Level Grammars (AvW), pp. 9–16.
STOC-1973-Constable #complexity: Type Two Computational Complexity (RLC), pp. 108–121.
STOC-1971-Rajlich #finite #parallel #transducer: Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers (VR), pp. 132–137.
STOC-1970-Chang #2d #analysis #using: The Analysis of Two-Dimensional Patterns using Picture Processing Grammars (SKC), pp. 206–216.
SOSP-1969-Karush #performance: Two approaches for measuring the performance of time-sharing systems (ADK), pp. 159–166.
SOSP-1969-VarehaRG: Strategies for structuring two level memories in a paging environment (ALV, RMR, MMG), pp. 54–59.