BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
dimension (106)
use (91)
level (87)
base (83)
stage (78)

Stem two$ (all stems)

989 papers:

CASECASE-2015-DafleMSRR
A two-phase gripper to reorient and grasp (NCD, MTM, HS, GFR, AR), pp. 1249–1255.
CASECASE-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.
CASECASE-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.
CASECASE-2015-ShinarTG #fault tolerance #robust
Fault-tolerant robust capture zone with respect to two faults (JS, VT, VYG), pp. 1036–1041.
CASECASE-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.
DATEDATE-2015-RustLP #approximate #architecture
QR-decomposition architecture based on two-variable numeric function approximation (JR, FL, SP), pp. 892–895.
DATEDATE-2015-RustP #approximate #design #multi
Design method for multiplier-less two-variable numeric function approximation (JR, SP), pp. 948–953.
DRRDRR-2015-BideaultMCP #architecture #regular expression #using #word
Spotting handwritten words and REGEX using a two stage BLSTM-HMM architecture (GB, LM, CC, TP).
VLDBVLDB-2015-ZhouLLZ #graph #named #optimisation #performance
GraphTwist: Fast Iterative Graph Computation with Two-tier Optimizations (YZ, LL, KL, QZ), pp. 1262–1273.
ITiCSEITiCSE-2015-AbidBA #education #refactoring
Reflections on Teaching Refactoring: A Tale of Two Projects (SA, HAB, NA), pp. 225–230.
ESOPESOP-2015-FrielinghausPS #interprocedural
Inter-procedural Two-Variable Herbrand Equalities (SSF, MP, HS), pp. 457–482.
ICPCICPC-2015-Roehm #comprehension #developer
Two user perspectives in program comprehension: end users and developer users (TR), pp. 129–139.
ICSMEICSME-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.
ICSMEICSME-2015-NittaM #abstraction #why
Delta extraction: An abstraction technique to comprehend why two objects could be related (NN, TM), pp. 61–70.
MSRMSR-2015-Zacchiroli #dataset #metadata #source code
The Debsources Dataset: Two Decades of Debian Source Code Metadata (SZ), pp. 466–469.
SCAMSCAM-2015-AivaloglouHH #dataset #scalability #spreadsheet
A grammar for spreadsheet formulas evaluated on two large datasets (EA, DH, FH), pp. 121–130.
STOCSTOC-2015-HardtP #bound #learning
Tight Bounds for Learning a Mixture of Two Gaussians (MH, EP), pp. 753–760.
CIAACIAA-2015-Hulden #automaton #finite #regular expression
From Two-Way to One-Way Finite Automata — Three Regular Expression-Based Methods (MH), pp. 176–187.
DLTDLT-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.
DLTDLT-2015-CzybaST #automaton #finite #infinity #modelling
Finite Automata Over Infinite Alphabets: Two Models with Transitions for Local Change (CC, CS, WT), pp. 203–214.
ICALPICALP-v1-2015-CsehHK
Popular Matchings with Two-Sided Preferences and One-Sided Ties (ÁC, CCH, TK), pp. 367–379.
ICALPICALP-v1-2015-KawaseKY #graph
Finding a Path in Group-Labeled Graphs with Two Labels Forbidden (YK, YK, YY), pp. 797–809.
ICALPICALP-v1-2015-WangW #algorithm #online
Two-sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm (YW, SCwW), pp. 1070–1081.
ICALPICALP-v2-2015-GiannakopoulosK
Selling Two Goods Optimally (YG, EK), pp. 650–662.
LATALATA-2015-AnselmoGM #2d #decidability
Structure and Measure of a Decidable Class of Two-dimensional Codes (MA, DG, MM), pp. 315–327.
LATALATA-2015-GamardR #2d
Coverability in Two Dimensions (GG, GR), pp. 402–413.
LATALATA-2015-HalavaNP #game studies #on the
On Robot Games of Degree Two (VH, RN, IP), pp. 224–236.
ICFPICFP-2015-Russo #functional #haskell
Functional pearl: two can keep a secret, if one of them uses Haskell (AR), pp. 280–288.
CHICHI-2015-DittmarH #design
Two-Level Personas for Nested Design Spaces (AD, MH), pp. 3265–3274.
CSCWCSCW-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.
HCIDUXU-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.
HCIHCI-IT-2015-KinemuchiKY
Synchronization Between Utterance Rhythm and Body Movement in a Two-Person Greeting (KK, HK, TY), pp. 305–316.
HCIHCI-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.
ICEISICEIS-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.
ICMLICML-2015-NarasimhanK0 #metric #optimisation #performance
Optimizing Non-decomposable Performance Measures: A Tale of Two Classes (HN, PK, PJ), pp. 199–208.
ICMLICML-2015-PerolatSPP #approximate #game studies #markov #programming
Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games (JP, BS, BP, OP), pp. 1321–1329.
ICMLICML-2015-WeissN #alias #learning
Learning Parametric-Output HMMs with Two Aliased States (RW, BN), pp. 635–644.
RecSysRecSys-2015-SahebiB #collaboration
It Takes Two to Tango: An Exploration of Domain Pairs for Cross-Domain Collaborative Filtering (SS, PB), pp. 131–138.
SEKESEKE-2015-NetoSZD #network #using
Using implications from FCA to represent a two mode network data (SMN, MAJS, LEZ, SMD), pp. 256–259.
ECMFAECMFA-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.
MoDELSMoDELS-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.
ECOOPECOOP-2015-VekrisCJ #trust #type system #verification
Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.
POPLPOPL-2015-Buneman #database #programming #question
Databases and Programming: Two Subjects Divided by a Common Language? (PB), p. 487.
CSLCSL-2015-CartonD #transducer
Aperiodic Two-way Transducers and FO-Transductions (OC, LD), pp. 160–174.
CSLCSL-2015-Charatonik0 #linear #logic #order
Two-variable Logic with Counting and a Linear Order (WC, PW), pp. 631–647.
CSLCSL-2015-GasconST #polynomial #strict #unification
Two-Restricted One Context Unification is in Polynomial Time (AG, MSS, AT), pp. 405–422.
CSLCSL-2015-Paperman #first-order #logic
Finite-Degree Predicates and Two-Variable First-Order Logic (CP), pp. 616–630.
ISSTAISSTA-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.
LICSLICS-2015-BlondinFGHM #2d #reachability
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
LICSLICS-2015-ChatterjeeKK #markov #multi #process
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (KC, ZK, JK), pp. 244–256.
LICSLICS-2015-KrebsV #bound #logic #refinement
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
LICSLICS-2015-Place #quantifier #regular expression
Separating Regular Languages with Two Quantifiers Alternations (TP), pp. 202–213.
RTARTA-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.
WICSAWICSA-2014-JavedZ #architecture #comprehension #traceability
The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments (MAJ, UZ), pp. 215–224.
CASECASE-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.
CASECASE-2014-TrikiGX #approach #health
A two-phase approach for periodic home health care planning (NT, TG, XX), pp. 518–523.
CASECASE-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.
DACDAC-2014-DengBZW #performance
An Efficient Two-level DC Operating Points Finder for Transistor Circuits (JD, KB, YZ, NW), p. 6.
DATEDATE-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.
DATEDATE-2014-MullerM #scheduling
The schedulability region of two-level mixed-criticality systems based on EDF-VD (DM, AM), pp. 1–6.
DocEngDocEng-2014-SouzaMH #metadata #named #using
ARCTIC: metadata extraction from scientific papers in pdf using two-layer CRF (AS, VPM, CAH), pp. 121–130.
DRRDRR-2014-HajiABSP #approach #documentation #keyword
Two-stage approach to keyword spotting in handwritten documents (MMH, MRA, TDB, CYS, DP), p. ?–12.
HTHT-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.
ESOPESOP-2014-MangalNY #analysis #interprocedural
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
ICPCICPC-2014-ShahinLL #architecture #comprehension #design
Do architectural design decisions improve the understanding of software architecture? two controlled experiments (MS, PL, ZL), pp. 3–13.
DLTDLT-J-2013-AnselmoGM14 #2d #decidability
Prefix Picture codes: a Decidable class of Two-Dimensional codes (MA, DG, MM), pp. 1017–1032.
AFLAFL-2014-BarashO
Grammars with two-sided contexts (MB, AO), pp. 94–108.
AFLAFL-2014-CarninoL #ambiguity #automaton #on the
On Determinism and Unambiguity of Weighted Two-way Automata (VC, SL), pp. 188–200.
CIAACIAA-2014-BiasiY #automaton
Unary Languages Recognized by Two-Way One-Counter Automata (MDB, AY), pp. 148–161.
CIAACIAA-2014-GusevP #automaton
Reset Thresholds of Automata with Two Cycle Lengths (VVG, EVP), pp. 200–210.
DLTDLT-2014-Berlinkov #algorithm #automaton #on the #problem
On Two Algorithmic Problems about Synchronizing Automata — (Short Paper) (MVB), pp. 61–67.
DLTDLT-2014-BrzozowskiS #bound #complexity
Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals (JAB, MS), pp. 13–24.
ICALPICALP-v1-2014-BjorklundH #polynomial
Shortest Two Disjoint Paths in Polynomial Time (AB, TH), pp. 211–222.
ICALPICALP-v2-2014-CooperER #distributed #power of
The Power of Two Choices in Distributed Voting (CC, RE, TR), pp. 435–446.
LATALATA-2014-BednarovaG #automaton
Two Double-Exponential Gaps for Automata with a Limited Pushdown (ZB, VG), pp. 113–125.
LATALATA-2014-OttoM #automaton #order
Extended Two-Way Ordered Restarting Automata for Picture Languages (FO, FM), pp. 541–552.
SEFMSEFM-2014-DeganoFG #adaptation #reliability #static analysis
A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
CHICHI-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.
CHICHI-2014-NgBW #interactive #mobile
Investigating the effects of encumbrance on one- and two- handed interactions with mobile devices (AN, SAB, JHW), pp. 1981–1990.
CHICHI-2014-SoloveyZPRM #performance #using
Classifying driver workload using physiological and driving performance data: two field studies (ETS, MZ, EAGP, BR, BM), pp. 4057–4066.
CHICHI-2014-TsandilasABB #coordination
Coordination of tilt and touch in one- and two-handed use (TT, CA, AB, DB), pp. 2001–2004.
CHICHI-2014-XuGFC
Improving machine translation by showing two outputs (BX, GG, SRF, DC), pp. 3743–3746.
CHICHI-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.
HCIDUXU-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
CIKMCIKM-2014-LiuWZNZM #web
From Skimming to Reading: A Two-stage Examination Model for Web Search (YL, CW, KZ, JYN, MZ, SM), pp. 849–858.
ECIRECIR-2014-HuangDHL #approach
A Two-level Approach for Subtitle Alignment (JH, HD, XH, YL), pp. 468–473.
ICMLICML-c2-2014-WangSSMK #learning #metric
Two-Stage Metric Learning (JW, KS, FS, SMM, AK), pp. 370–378.
ICPRICPR-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.
ICPRICPR-2014-HuWSC #detection #framework #robust #using
Robust Head-Shoulder Detection Using a Two-Stage Cascade Framework (RH, RW, SS, XC), pp. 2796–2801.
ICPRICPR-2014-ItohIS #2d #image #linear #using
Two-Dimensional Global Image Registration Using Local Linear Property of Image Manifold (HI, AI, TS), pp. 3862–3867.
ICPRICPR-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.
ICPRICPR-2014-RingLRE #assessment #using
A Two-Stage Regression Using Bioimpedance and Temperature for Hydration Assessment During Sports (MR, CL, MR, BE), pp. 4519–4524.
ICPRICPR-2014-TouaziMB #feature model #game studies
Feature Selection Scheme Based on Zero-Sum Two-Player Game (AT, FM, DB), pp. 1342–1347.
ICPRICPR-2014-YuCK #distance #recognition #set #using
Pill Recognition Using Imprint Information by Two-Step Sampling Distance Sets (JY, ZC, SiK), pp. 3156–3161.
KDIRKDIR-2014-MeguebliKDP14a #personalisation #recommendation
Stories Around You — A Two-Stage Personalized News Recommendation (YM, MK, BLD, FP), pp. 473–479.
KDIRKDIR-2014-SuciuICDP #learning #word
Learning Good Opinions from Just Two Words Is Not Bad (DAS, VVI, ACC, MD, RP), pp. 233–241.
SEKESEKE-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.
SEKESEKE-2014-SantosM #detection #identification
Identifying strategies on god class detection in two controlled experiments (JAMS, MGM), pp. 244–249.
SEKESEKE-2014-XuL14a #ontology #reasoning #semantics #using
Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning (HX, AL), pp. 648–652.
SIGIRSIGIR-2014-LiDWDCZ #2d #query
A two-dimensional click model for query auto-completion (YL, AD, HW, HD, YC, CZ), pp. 455–464.
PADLPADL-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.
SACSAC-2014-SwamyIG #2d #image
Two level reversible data hiding in 2D images (NRS, SI, PG), pp. 58–59.
ICSEICSE-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.
CCCC-2014-FranzHKSV #c #compilation #named
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations (MF, AH, SK, CS, HV), pp. 244–249.
CAVCAV-2014-HadareanBJBT #lazy evaluation
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors (LH, KB, DJ, CB, CT), pp. 680–695.
LICSLICS-CSL-2014-BlumensathCKPB #automaton #infinity #logic
Two-way cost automata and cost logics over infinite trees (AB, TC, DK, PP, MVB), p. 9.
LICSLICS-CSL-2014-DemriD #logic
Expressive completeness of separation logic with two variables and no separating conjunction (SD, MD), p. 10.
CASECASE-2013-SunSZS #approach #optimisation
A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.
CASECASE-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.
CASECASE-2013-ZhuGX #scheduling
MDP-based appointment scheduling for one examination of two types of outpatients (LZ, NG, XX), pp. 764–769.
DATEDATE-2013-ChenL #2d #architecture #data access #memory management
Dual-addressing memory architecture for two-dimensional memory access patterns (YHC, YYL), pp. 71–76.
DATEDATE-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.
ICDARICDAR-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.
VLDBVLDB-2014-KaulWYJ13
Finding Shortest Paths on Terrains by Killing Two Birds with One Stone (MK, RCWW, BY, CSJ), pp. 73–84.
ITiCSEITiCSE-2013-BillingsleyS #comparison #integration
A comparison of two iterations of a software studio course based on continuous integration (WB, JS), pp. 213–218.
DLTDLT-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.
CIAACIAA-2013-GrathwohlHNR #parsing #regular expression
Two-Pass Greedy Regular Expression Parsing (NBBG, FH, LN, UTR), pp. 60–71.
CIAACIAA-2013-PrusaMO #2d #automaton
Comparing Two-Dimensional One-Marker Automata to Sgraffito Automata (DP, FM, FO), pp. 268–279.
DLTDLT-2013-AnselmoGM #2d
Two Dimensional Prefix Codes of Pictures (MA, DG, MM), pp. 46–57.
DLTDLT-2013-Pin #regular expression
An Explicit Formula for the Intersection of Two Polynomials of Regular Languages (JÉP), pp. 31–45.
ICALPICALP-v1-2013-DemainePRSSW #assembly
The Two-Handed Tile Assembly Model Is Not Intrinsically Universal (EDD, MJP, TAR, RTS, SMS, DW), pp. 400–412.
ICALPICALP-v1-2013-KonradR #approximate #communication #streaming
Approximating Semi-matchings in Streaming and in Two-Party Communication (CK, AR), pp. 637–649.
ICALPICALP-v2-2013-BenaimBCKLMW #complexity #finite #logic
Complexity of Two-Variable Logic on Finite Trees (SB, MB, WC, EK, RL, FM, JW), pp. 74–88.
ICALPICALP-v2-2013-FearnleyJ #automaton #reachability
Reachability in Two-Clock Timed Automata Is PSPACE-Complete (JF, MJ), pp. 212–223.
LATALATA-2013-ChamparnaudDJM #regular expression
Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions (JMC, JPD, HJ, LM), pp. 202–213.
LATALATA-2013-Souza #transducer
Uniformisation of Two-Way Transducers (RdS), pp. 547–558.
CHICHI-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.
CHICHI-2013-OulasvirtaRLZBVK
Improving two-thumb text entry on touchscreen devices (AO, AR, WL, YZ, MB, KV, POK), pp. 2765–2774.
HCIDHM-HB-2013-BotterBCKME
The Biomechanical and Physiological Effect of Two Dynamic Workstations (JB, EMB, DC, RK, SHvM, RPE), pp. 196–204.
HCIDUXU-CXC-2013-Chang #evaluation #segmentation #usability
Usability Evaluation of Two Chinese Segmentation Methods in Subtitles to Scaffold Chinese Novice (CKC), pp. 28–37.
HCIDUXU-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.
HCIDUXU-NTE-2013-Schieder
Merging Two Worlds Together (AS), pp. 199–204.
HCIHCI-AS-2013-AndujarEGM #learning
Evaluating Engagement Physiologically and Knowledge Retention Subjectively through Two Different Learning Techniques (MA, JIE, JEG, PM), pp. 335–342.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IMT-2013-SchwallerBL #gesture #human-computer
Two Handed Mid-Air Gestural HCI: Point + Command (MS, SB, DL), pp. 388–397.
HCIHIMI-D-2013-KoedaKN #estimation
Relative Position Calibration between Two Haptic Devices Based on Minimum Variance Estimation (MK, YK, HN), pp. 72–79.
CIKMCIKM-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.
CIKMCIKM-2013-BonomiX #algorithm #difference #mining #privacy
A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.
ECIRECIR-2013-DangBC #information retrieval #learning #rank
Two-Stage Learning to Rank for Information Retrieval (VD, MB, WBC), pp. 423–434.
ICMLICML-c3-2013-HonorioJ #bound #exponential #fault
Two-Sided Exponential Concentration Bounds for Bayes Error Rate and Shannon Entropy (JH, TSJ), pp. 459–467.
MLDMMLDM-2013-BijaksanaLA #classification
A Pattern Based Two-Stage Text Classifier (MAB, YL, AA), pp. 169–182.
SEKESEKE-2013-HansenM #analysis #ecosystem #network #towards
Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems (KMH, KM), pp. 326–331.
SIGIRSIGIR-2013-RossiMCS #performance #query #using
Fast document-at-a-time query processing using two-tier indexes (CR, ESdM, ALC, ASdS), pp. 183–192.
POPLPOPL-2013-UpadrastaC #scheduling #using
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra (RU, AC), pp. 483–496.
SACSAC-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.
SACSAC-2013-LeitaoC #adaptation #detection #optimisation #performance #using #xml
Efficient XML duplicate detection using an adaptive two-level optimization (LL, PC), pp. 832–837.
ICSEICSE-2013-Kukreja #approach #requirements #towards
Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.
HPCAHPCA-2013-BonannoCLMPS #branch #predict
Two level bulk preload branch prediction (JB, AC, DL, UM, BP, AS), pp. 71–82.
LCTESLCTES-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.
CSLCSL-2013-ManuelZ #2d #logic
Two-Variable Logic on 2-Dimensional Structures (AM, TZ), pp. 484–499.
LICSLICS-2013-CharatonikW #logic
Two-Variable Logic with Counting and Trees (WC, PW), pp. 73–82.
LICSLICS-2013-FiliotGRS #finite #transducer
From Two-Way to One-Way Finite State Transducers (EF, OG, PAR, FS), pp. 468–477.
VMCAIVMCAI-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.
CASECASE-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.
CASECASE-2012-HanXZLW #concurrent #policy
Two-stage deadlock prevention policy based on resource-transition circuits (LH, KX, MZ, HL, FW), pp. 741–746.
CASECASE-2012-TonkeL #clustering #independence #scheduling
Scheduling of a dual-armed cluster tool with two independent robot arms (DT, TEL), pp. 200–205.
VLDBVLDB-2012-AlyAO #query
Spatial Queries with Two kNN Predicates (AMA, WGA, MO), pp. 1100–1111.
VLDBVLDB-2012-GuanYK #correlation #graph
Measuring Two-Event Structural Correlations on Graphs (ZG, XY, LMK), pp. 1400–1411.
MSRMSR-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.
MSRMSR-2012-SouzaC #debugging #ide #open source #verification
Characterizing verification of bug fixes in two open source IDEs (RS, CC), pp. 70–73.
AFLAFL-J-2011-IbarraS12 #bound #linear
Characterizations of Bounded semilinear Languages by One-Way and Two-Way Deterministic Machines (OHI, SS), pp. 1291–1306.
DLTDLT-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.
DLTDLT-2012-Carton #transducer
Two-Way Transducers with a Two-Way Output Tape (OC), pp. 263–272.
DLTDLT-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.
DLTDLT-2012-PrusaM #2d #automaton
Two-Dimensional Sgraffito Automata (DP, FM), pp. 251–262.
ICALPICALP-v2-2012-OngT #game studies #recursion #semantics
Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
LATALATA-2012-GeffertGP #automaton
Two-Way Automata Making Choices Only at the Endmarkers (VG, BG, GP), pp. 264–276.
LATALATA-2012-KaraST #automaton #logic #word
Feasible Automata for Two-Variable Logic with Successor on Data Words (AK, TS, TT), pp. 351–362.
CHICHI-2012-HarrisonH #2d #interactive #using
Using shear as a supplemental two-dimensional input channel for rich touchscreen interaction (CH, SEH), pp. 3149–3152.
CHICHI-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.
CIKMCIKM-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.
CIKMCIKM-2012-DeepakVWS #documentation #segmentation
Two-part segmentation of text documents (PD, KV, NW, SS), pp. 793–802.
CIKMCIKM-2012-KurlandRS #clustering #predict #ranking
Query-performance prediction and cluster ranking: two sides of the same coin (OK, FR, AS), pp. 2459–2462.
ICMLICML-2012-BootsG #identification #problem
Two Manifold Problems with Applications to Nonlinear System Identification (BB, GJG), p. 8.
ICMLICML-2012-KumarNKD #classification #framework #kernel #learning #multi
A Binary Classification Framework for Two-Stage Multiple Kernel Learning (AK, ANM, KK, HDI), p. 173.
ICMLICML-2012-NanCLC #optimisation
Optimizing F-measure: A Tale of Two Approaches (NY, KMAC, WSL, HLC), p. 202.
ICPRICPR-2012-BoresB #monitoring #process
Urban traffic monitoring from aerial LIDAR data with a Two-Level Marked Point Process model (AB, CB), pp. 1379–1382.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2012-MurataS #optimisation
Optimizing a triangular mesh by separately dealing with incorrectness of two patches (KM, YS), pp. 1318–1321.
ICPRICPR-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.
KDDKDD-2012-Davidson #clustering #comprehension #constraints
Two approaches to understanding when constraints help clustering (ID), pp. 1312–1320.
SEKESEKE-2012-DingS #architecture #collaboration #mobile #using
Proactive Two Way Mobile Advertisement Using a Collaborative Client Server Architecture (WD, XS), pp. 768–773.
SEKESEKE-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.
REFSQREFSQ-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.
SACSAC-2012-BromanFHA #comparison #domain-specific language #implementation
A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, ), pp. 1919–1921.
SACSAC-2012-ChenNX #collaboration #recommendation
A common neighbour based two-way collaborative recommendation method (LC, RN, YX), pp. 214–215.
SACSAC-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.
SACSAC-2012-SenarathneW #approach #coordination #multi
A two-level approach for multi-robot coordinated exploration of unstructured environments (PGCNS, DW), pp. 274–279.
SACSAC-2012-ShinC #comparative #evaluation #feedback #requirements #retrieval
A comparative evaluation of two user feedback techniques for requirements trace retrieval (YS, JCH), pp. 1069–1074.
SLESLE-2012-GuizzardiZ #concept #modelling
A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling (GG, VZ), pp. 286–310.
CSLCSL-2012-KieronskiM #logic #transitive
Two-Variable Universal Logic with Transitive Closure (EK, JM), pp. 396–410.
ICLPICLP-2012-Lifschitz #logic programming #source code
Two-Valued Logic Programs (VL), pp. 259–266.
ICSTICST-2012-Runeson #case study #collaboration #experience #industrial
It Takes Two to Tango — An Experience Report on Industry — Academia Collaboration (PR), pp. 872–877.
LICSLICS-2012-KieronskiMPT #equivalence #first-order #logic
Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
DATEDATE-2011-KeezerG #synthesis
Two methods for 24 Gbps test signal synthesis (DCK, CEG), pp. 579–582.
DRRDRR-2011-RamirezO
OMR of early plainchant manuscripts in square notation: a two-stage system (CR, JO), pp. 1–10.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-2011-ShaoWXZZ #distance
Modified Two-Class LDA Based Compound Distance for Similar Handwritten Chinese Characters Discrimination (YS, CW, BX, RZ, LZ), pp. 653–657.
PODSPODS-2011-ShengT11b #2d #memory management #orthogonal
New results on two-dimensional orthogonal range aggregation in external memory (CS, YT), pp. 129–139.
VLDBVLDB-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.
ITiCSEITiCSE-2011-Goldweber #learning #process #turing machine
Two kinesthetic learning activities: turing machines and basic computer organization (MG), p. 335.
CSMRCSMR-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.
CSMRCSMR-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.
ICPCICPC-2011-Soh #comprehension
Context and Vision: Studying Two Factors Impacting Program Comprehension (ZS), pp. 258–261.
MSRMSR-2011-BaysalDG
A Tale of Two Browsers (OB, IJD, MWG), pp. 238–241.
MSRMSR-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.
WCREWCRE-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.
STOCSTOC-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.
STOCSTOC-2011-ZewiB #approximate
From affine to two-source extractors via approximate duality (NZ, EBS), pp. 177–186.
CIAACIAA-J-2010-CuiGKY11 #complexity
State Complexity of Two Combined Operations: Catenation-Union and Catenation-Intersection (BC, YG, LK, SY), pp. 1797–1812.
CIAACIAA-J-2010-KufleitnerL11 #automaton #order
Partially Ordered Two-Way BüChi Automata (MK, AL), pp. 1861–1876.
AFLAFL-2011-IbarraS #bound #linear
Characterizations of Bounded Semilinear Languages by One-Way and Two-way Deterministic Machines (OHI, SS), pp. 211–224.
AFLAFL-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.
CIAACIAA-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.
DLTDLT-2011-CeceG #2d #automaton #online #simulation
Simulations over Two-Dimensional On-Line Tessellation Automata (GC, AG), pp. 141–152.
DLTDLT-2011-IbarraY #on the #transducer
On Two-Way Transducers (OHI, HCY), pp. 300–311.
DLTDLT-2011-KuncO #automaton #finite #using
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups (MK, AO), pp. 324–336.
ICALPICALP-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.
CHICHI-2011-HazlewoodSC #case study
Issues in evaluating ambient displays in the wild: two case studies (WRH, ES, KC), pp. 877–886.
CHICHI-2011-KellyG #interactive
An examination of two delivery modes for interactive search system experiments: remote and laboratory (DK, KG), pp. 1531–1540.
CHICHI-2011-WobbrockJS #2d #fault #modelling #predict
Modeling and predicting pointing errors in two dimensions (JOW, AJ, KS), pp. 1653–1656.
CSCWCSCW-2011-JiangGH #3d #case study #video
The video of Xland: two core use cases of 3D blog (YJ, RG, YH), pp. 583–584.
CSCWCSCW-2011-MunsonRR #twitter
Thanks and tweets: comparing two public displays (SAM, ER, PR), pp. 331–340.
CSCWCSCW-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.
HCIDHM-2011-NeumannD #empirical #visual notation
The Two-Point Visual Control Model of Steering — New Empirical Evidence (HN, BD), pp. 493–502.
HCIDHM-2011-QinTD #type system #using
The Upper Extremity Loading during Typing Using One, Two and Three Fingers (JQ, MT, JTD), pp. 178–185.
HCIHCI-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.
HCIHCI-ITE-2011-LinD #modelling #verification
Verification of Two Models of Ballistic Movements (JFL, CGD), pp. 275–284.
AdaEuropeAdaEurope-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.
CIKMCIKM-2011-DasSF #documentation #modelling
Simultaneous joint and conditional modeling of documents tagged from two perspectives (PD, RKS, YF), pp. 1353–1362.
CIKMCIKM-2011-MaLL #using
Selecting related terms in query-logs using two-stage SimRank (YM, HL, YL), pp. 1969–1972.
CIKMCIKM-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.
CIKMCIKM-2011-RamanJS #learning #ranking
Structured learning of two-level dynamic rankings (KR, TJ, PS), pp. 291–296.
ECIRECIR-2011-ArampatzisZC #database #image #multimodal #retrieval #scalability
Dynamic Two-Stage Image Retrieval from Large Multimodal Databases (AA, KZ, SAC), pp. 326–337.
ECIRECIR-2011-ArampatzisZC11a #multimodal #retrieval
Fusion vs. Two-Stage for Multimodal Retrieval (AA, KZ, SAC), pp. 759–762.
KDDKDD-2011-AchlioptasSB
Two-locus association mapping in subquadratic time (PA, BS, KMB), pp. 726–734.
KDDKDD-2011-BoleyLPG #performance #random
Direct local pattern sampling by efficient two-step random procedures (MB, CL, DP, TG), pp. 582–590.
KDIRKDIR-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.
KDIRKDIR-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.
KEODKEOD-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.
KEODKEOD-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.
SIGIRSIGIR-2011-ChatzichristofisZA #image #multimodal #retrieval
Bag-of-visual-words vs global image descriptors on two-stage multimodal retrieval (SAC, KZ, AA), pp. 1251–1252.
SIGIRSIGIR-2011-LiWLKP #named #personalisation #recommendation #scalability
SCENE: a scalable two-stage personalized news recommendation system (LL, DW, TL, DK, BP), pp. 125–134.
SIGIRSIGIR-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
OOPSLAOOPSLA-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.
PLATEAUPLATEAU-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.
QAPLQAPL-2011-Rutkowski #automaton #game studies
Two-Player Reachability-Price Games on Single-Clock Timed Automata (MR), pp. 31–46.
SACSAC-2011-GafurovBBY #authentication
Fusion in fingerprint authentication: two finger types vs. two scanner types (DG, CB, PB, BY), pp. 13–18.
SACSAC-2011-LiuZ #memory management #predict #realtime
Exploiting time predictable two-level scratchpad memory for real-time systems (YL, WZ), pp. 395–396.
SACSAC-2011-MacielH #commit #protocol #rest
Extending timestamp-based two phase commit protocol for RESTful services to meet business rules (LAHdSM, CMH), pp. 778–785.
PPoPPPPoPP-2011-Ding #concurrent #parallel #programming
Two examples of parallel programming without concurrency constructs (PP-CC) (CD), pp. 299–300.
CSLCSL-2011-Kieronski #decidability #linear #logic #order
Decidability Issues for Two-Variable Logics with Several Linear Orders (EK), pp. 337–351.
CSLCSL-2011-LoschP #semantics
Relating Two Semantics of Locally Scoped Names (SL, AMP), pp. 396–411.
ICLPICLP-2011-Zombori #information retrieval #logic #performance #reasoning
Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.
LICSLICS-2011-BrazdilBCFK #markov #multi #process
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (TB, VB, KC, VF, AK), pp. 33–42.
LICSLICS-2011-Figueira #decidability #logic #word
A Decidable Two-Way Logic on Data Words (DF), pp. 365–374.
LICSLICS-2011-KontinenKLV #complexity #dependence #logic
Complexity of Two-Variable Dependence Logic and IF-Logic (JK, AK, PL, JV), pp. 289–298.
ASEASE-2010-BavotaLMO #refactoring
A two-step technique for extract class refactoring (GB, ADL, AM, RO), pp. 151–154.
CASECASE-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.
CASECASE-2010-OuCGWL #energy
A two-mass cantilever beam model for vibration energy harvesting applications (QO, XC, SG, ARW, NL), pp. 301–306.
CASECASE-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.
DACDAC-2010-YanC
Two-sided single-detour untangling for bus routing (JTY, ZWC), pp. 206–211.
DocEngDocEng-2010-RivaSOMP #metric
Two new aesthetic measures for item alignment (ADR, AKS, JBSdO, IHM, RFBP), pp. 263–266.
HTHT-2010-HsiehPJNS #generative #hypermedia
Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.
VLDBVLDB-2010-Martinez-PalauDL
Two-way Replacement Selection (XMP, DDS, JLLP), pp. 871–881.
FoSSaCSFoSSaCS-2010-AsarinCV #game studies
Fair Adversaries and Randomization in Two-Player Games (EA, RCYF, DV), pp. 64–78.
ICSMEICSM-2010-Alves #assessment #maintenance
Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
ICSMEICSM-2010-LiSKC #empirical #maintenance
Cost drivers of software corrective maintenance: An empirical study in two companies (JL, TS, JMWK, RC), pp. 1–8.
STOCSTOC-2010-KalaiMV #learning
Efficiently learning mixtures of two Gaussians (ATK, AM, GV), pp. 553–562.
STOCSTOC-2010-Sherstov #bound
Optimal bounds for sign-representing the intersection of two halfspaces by polynomials (AAS), pp. 523–532.
AFLAFL-J-2008-KlimaP10a
Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.
AFLAFL-J-2008-KutribMO10 #automaton #on the
On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 781–798.
CIAACIAA-2010-KufleitnerL #automaton #order
Partially Ordered Two-Way Büchi Automata (MK, AL), pp. 181–190.
CIAACIAA-2010-KutribM
Two-Party Watson-Crick Computations (MK, AM), pp. 191–200.
DLTDLT-2010-GeffertP #automaton
Two-Way Unary Automata versus Logarithmic Space (VG, GP), pp. 197–208.
DLTDLT-2010-Giammarresi #2d
A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages (DG), pp. 4–15.
DLTDLT-2010-LodayaPS
Around Dot Depth Two (KL, PKP, SSS), pp. 303–315.
CHICHI-2010-NakatsumaS #2d #communication #detection #network
High accuracy position and orientation detection in two-dimensional communication network (KN, HS), pp. 2297–2306.
CHICHI-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.
ICEISICEIS-HCI-2010-Campos #agile #case study #development #interactive
Agile Development of Interactive Installations — Two Case Studies (PC), pp. 174–179.
CIKMCIKM-2010-Nomoto #detection #similarity
Two-tier similarity model for story link detection (TN), pp. 789–798.
CIKMCIKM-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.
ICMLICML-2010-CortesMR #algorithm #kernel #learning
Two-Stage Learning Kernel Algorithms (CC, MM, AR), pp. 239–246.
ICPRICPR-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.
ICPRICPR-2010-CordellaSFMF #classification #performance
Combining Single Class Features for Improving Performance of a Two Stage Classifier (LPC, CDS, FF, CM, ASdF), pp. 4352–4355.
ICPRICPR-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.
ICPRICPR-2010-HuCY #estimation #interactive
Hand Pointing Estimation for Human Computer Interaction Based on Two Orthogonal-Views (KH, SJC, LY), pp. 3760–3763.
ICPRICPR-2010-WangC #3d #estimation
3D Human Pose Estimation by an Annealed Two-Stage Inference Method (YKW, KYC), pp. 535–538.
KDDKDD-2010-SunCY #approach #reduction #scalability
A scalable two-stage approach for a class of dimensionality reduction techniques (LS, BC, JY), pp. 313–322.
KDIRKDIR-2010-BartikB #categorisation #documentation #web
Two-phase Categorization of Web Documents (VB, RB), pp. 458–462.
KEODKEOD-2010-MurdockBA #ontology
Two Methods for Evaluating Dynamic Ontologies (JM, CB, CA), pp. 110–122.
SIGIRSIGIR-2010-WeerkampBR
A two-stage model for blog feed search (WW, KB, MdR), pp. 877–878.
OOPSLAOOPSLA-2010-McCarthy #continuation
The two-state solution: native and serializable continuations accord (JAM), pp. 567–582.
PPDPPPDP-2010-Barbanerad #behaviour
Two notions of sub-behaviour for session-based client/server systems (FB, Ud), pp. 155–164.
RERE-2010-EgyedGG #quality
Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments (AE, FG, PG), pp. 221–230.
SACSAC-2010-GuoH #algorithm #clustering
A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
SACSAC-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.
SACSAC-2010-PizzolatoAP #architecture #automation #recognition
Automatic recognition of finger spelling for LIBRAS based on a two-layer architecture (EBP, MdSA, GCP), pp. 969–973.
ICSEICSE-2010-Kruchten #agile #architecture #development #question
Software architecture and agile software development: a clash of two cultures? (PK), pp. 497–498.
LDTALDTA-2010-GiorgettiMTK #case study #java #source code #specification
Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.
SPLCSPLC-2010-BergerSLCW #product line #scalability
Feature-to-Code Mapping in Two Large Product Lines (TB, SS, RL, KC, AW), pp. 498–499.
CGOCGO-2010-BorinWWLBHNRR #named #optimisation
TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.
CGOCGO-2010-Newburn
There are at least two sides to every heterogeneous system (CCJN), p. 120.
CSLCSL-2010-SchwentickZ #logic #order
Two-Variable Logic with Two Order Relations — (Extended Abstract) (TS, TZ), pp. 499–513.
IJCARIJCAR-2010-MayerC #hybrid #logic #proving
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (MCM, SC), pp. 255–262.
ICSTSAT-2010-Cotton #proving
Two Techniques for Minimizing Resolution Proofs (SC), pp. 306–312.
CASECASE-2009-LiZF #analysis
Analysis of two-loop closed production systems (NL, LZ, WF), pp. 460–465.
DATEDATE-2009-Cilardo #architecture
A new speculative addition architecture suitable for two’s complement operations (AC), pp. 664–669.
ICDARICDAR-2009-ChandaPFP #approach #identification
Two-stage Approach for Word-wise Script Identification (SC, SP, KF, UP), pp. 926–930.
ICDARICDAR-2009-LouloudisSG #evaluation #novel #segmentation #word
A Novel Two Stage Evaluation Methodology for Word Segmentation Techniques (GL, NS, BG), pp. 686–690.
ITiCSEITiCSE-2009-MarcosFM #education #uml
The two states of the mind to teach UML (LdM, FF, JJM), p. 361.
ITiCSEITiCSE-2009-Mohr #novel #prolog
Two novel prolog assignments (JM), p. 350.
DLTDLT-2009-BehleKR #quantifier #regular expression
Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
DLTDLT-2009-Kapoutsis #automaton #complexity #finite
Size Complexity of Two-Way Finite Automata (CAK), pp. 47–66.
DLTDLT-2009-Shur #bound
Two-Sided Bounds for the Growth Rates of Power-Free Languages (AMS), pp. 466–477.
LATALATA-2009-Kasprzik
Two Equivalent Regularizations for Tree Adjoining Grammars (AK), pp. 469–480.
LATALATA-2009-MitranaT #network #on the
On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes (VM, BT), pp. 588–600.
CHICHI-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.
HCIHCI-AUII-2009-PirhonenK #comparison #design #interface
Flight Searching — A Comparison of Two User-Interface Design Strategies (AP, NK), pp. 179–188.
HCIHCI-NIMT-2009-Pastel #2d #modelling
Modeling the Difficulty for Centering Rectangles in One and Two Dimensions (RP), pp. 879–888.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-II-2009-HiremathPFFY #comparison
Comparison of Pilot Recovery and Response Times in Two Types of Cockpits (VH, RWP, ROF, RGF, JPY), pp. 766–775.
HCIOCSC-2009-FalsteinR #multi
The First Two W’s: Fostering Multicultural Awareness in Children (NF, NR), pp. 462–470.
CAiSECAiSE-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.
CIKMCIKM-2009-LiuZ #classification #sentiment #using
Cross-domain sentiment classification using a two-stage method (KL, JZ), pp. 1717–1720.
ECIRECIR-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.
ICMLICML-2009-FloresGMP
GAODE and HAODE: two proposals based on AODE to deal with continuous variables (MJF, JAG, AMM, JMP), pp. 313–320.
KMISKMIS-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.
MLDMMLDM-2009-LoglisciM #mining #multi
Mining Multiple Level Non-redundant Association Rules through Two-Fold Pruning of Redundancies (CL, DM), pp. 251–265.
SIGIRSIGIR-2009-Baeza-YatesMH #performance #trade-off #web
Efficiency trade-offs in two-tier web search systems (RABY, VM, CH), pp. 163–170.
SIGIRSIGIR-2009-BenderskyCS #information retrieval #query #segmentation
Two-stage query segmentation for information retrieval (MB, WBC, DAS), pp. 810–811.
GPCEGPCE-2009-KongCY #parsing
Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
RERE-2009-GrossD #diagrams #process #requirements #uml
EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.
SACSAC-2009-BrooksI #classification #detection #novel #visual notation
Visual detection of novel terrain via two-class classification (CAB, KI), pp. 1145–1150.
SACSAC-2009-LiuLC #2d #mobile
Two-dimensional non-photorealistic drawings on mobile devices (DSML, CHL, CIC), pp. 1843–1844.
SACSAC-2009-ManuchSS #bound #self
Two lower bounds for self-assemblies at temperature 1 (JM, LS, CS), pp. 808–809.
SACSAC-2009-RobertsSG #interface
Model interfaces for two-way obliviousness (NVR, ES, PCG), pp. 488–495.
SACSAC-2009-TokoroTT #smarttech #using
A pointing method using two accelerometers for wearable computing (YT, TT, MT), pp. 136–141.
SLESLE-2009-BartolomeiCLS #api #migration #xml
Study of an API Migration for Two XML APIs (TTB, KC, RL, TvdS), pp. 42–61.
SPLCSPLC-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.
CGOCGO-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.
ISMMISMM-2009-JulaR #locality #memory management
Two memory allocators that use hints to improve locality (AJ, LR), pp. 109–118.
CSLCSL-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.
ICLPICLP-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.
ICSTICST-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.
LICSLICS-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.
ECSAECSA-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.
WICSAWICSA-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.
ASEASE-2008-MartinhoVD #approach #flexibility #modelling #process
A Two-Step Approach for Modelling Flexibility in Software Processes (RM, JV, DD), pp. 427–430.
CASECASE-2008-Andoh #identification #using
Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs (FA), pp. 265–272.
CASECASE-2008-GeorgievA
Two-stage robotic crystal mounting of protein crystals for X-ray data collection (AG, PKA), pp. 1019–1024.
CASECASE-2008-VahediS #towards
Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.
DocEngDocEng-2008-Oliveira #algorithm #automation #documentation #layout
Two algorithms for automatic document page layout (JBSdO), pp. 141–149.
PODSPODS-2008-GollapudiP #power of #similarity
The power of two min-hashes for similarity search among hierarchical data objects (SG, RP), pp. 211–220.
PEPMPEPM-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.
PEPMPEPM-2008-Mu #algorithm #bound #problem
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths (SCM), pp. 31–39.
STOCSTOC-2008-GordonHKL
Complete fairness in secure two-party computation (SDG, CH, JK, YL), pp. 413–422.
STOCSTOC-2008-KhotS #learning #on the
On hardness of learning intersection of two halfspaces (SK, RS), pp. 345–354.
AFLAFL-2008-KlimaP
Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.
AFLAFL-2008-KutribMO #automaton #on the
On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 257–268.
CIAACIAA-2008-DolzhenkoJ #2d #complexity #on the #transducer
On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
DLTDLT-2008-JiraskovaO #automaton #complexity #finite #on the
On the State Complexity of Operations on Two-Way Finite Automata (GJ, AO), pp. 443–454.
ICALPICALP-A-2008-BorradaileK #graph #network #problem
The Two-Edge Connectivity Survivable Network Problem in Planar Graphs (GB, PNK), pp. 485–501.
ICALPICALP-C-2008-KolesnikovR #authentication
Password Mistyping in Two-Factor-Authenticated Key Exchange (VK, CR), pp. 702–714.
LATALATA-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.
LATALATA-2008-OttoP #2d #taxonomy
A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata (FO, MP), pp. 409–420.
LATALATA-2008-Puzynina #2d #on the #word
On Periodicity of Generalized Two-Dimensional Words (SP), pp. 440–451.
ICFPICFP-2008-AugustssonMS #domain-specific language #embedded #haskell #named
Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
ICGTICGT-2008-Horvath #approach #graph transformation #towards #verification
Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
CHICHI-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.
CHICHI-2008-MoscovichH #multi #using
Indirect mappings of multi-touch input using one and two hands (TM, JFH), pp. 1275–1284.
CSCWCSCW-2008-DantecE
The view from the trenches: organization, power, and technology at two nonprofit homeless outreach centers (CALD, WKE), pp. 589–598.
SOFTVISSOFTVIS-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.
SOFTVISSOFTVIS-2008-XieKSDF #diagrams #sequence chart
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
CIKMCIKM-2008-HoefelE #classification #learning #sequence
Learning a two-stage SVM/CRF sequence classifier (GH, CE), pp. 271–278.
CIKMCIKM-2008-LiZBXL #information management #mining
A two-stage text mining model for information filtering (YL, XZ, PB, YX, RYKL), pp. 1023–1032.
ICPRICPR-2008-JeongK #estimation
Relative scale estimation between two camera motions (YJ, ISK), pp. 1–4.
ICPRICPR-2008-KasuyaKKO #estimation #robust #using
Robust trajectory estimation of soccer players by using two cameras (NK, IK, YK, YO), pp. 1–4.
ICPRICPR-2008-KottiK #classification #database #gender #speech
Gender classification in two Emotional Speech databases (MK, CK), pp. 1–4.
ICPRICPR-2008-NguyenLV #2d #locality
Ridge Regression for Two Dimensional Locality Preserving Projection (NTN, WL, SV), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-ZengLH #analysis
Analysis on two fishermethods and a synthesized discriminant projection (ZZ, CL, LH), pp. 1–4.
KDDKDD-2008-BhattacharyaGJ #categorisation #documentation #identification
Structured entity identification and document categorization: two tasks with one joint model (IB, SG, SJ), pp. 25–33.
POPLPOPL-2008-Voigtlander #parallel
Much ado about two (pearl): a pearl on parallel prefix computation (JV), pp. 29–35.
REFSQREFSQ-2008-StrohmaierHYAE #modelling
Can Patterns Improve i* Modeling? Two Exploratory Studies (MS, JH, ESKY, JA, SME), pp. 153–167.
SACSAC-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.
ASPLOSASPLOS-2008-BhargavaSSM #2d
Accelerating two-dimensional page walks for virtualized systems (RB, BS, FS, SM), pp. 26–35.
HPDCHPDC-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.
ICLPICLP-2008-DemoenN #implementation
Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.
ICSTICST-2008-WagnerDAWS #debugging #evaluation #java #tool support
An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.
ASEASE-2007-AndrewsLM #generative #named #testing
Nighthawk: a two-level genetic-random unit test data generator (JHA, FCHL, TM), pp. 144–153.
CASECASE-2007-YangXL
Two-Degree-of-Freedom Based Cross-Coupled Control for High-Accuracy Tracking Systems (JY, JX, ZL), pp. 950–955.
DATEDATE-2007-FaragES #2d #configuration management #using
Improving utilization of reconfigurable resources using two dimensional compaction (AAEF, HMEB, SIS), pp. 135–140.
DATEDATE-2007-HongSCY #adaptation
A two-tone test method for continuous-time adaptive equalizers (DH, SS, KTC, CPY), pp. 1283–1288.
DATEDATE-2007-SirowyWLV #clustering
Two-level microprocessor-accelerator partitioning (SS, YW, SL, FV), pp. 313–318.
HTHT-2007-Hall #hypermedia
Back to the future with hypertext: a tale of two or three conferences (WH), pp. 179–180.
ICDARICDAR-2007-BhattacharyaGP07a #recognition
A Two Stage Recognition Scheme for Handwritten Tamil Characters (UB, SKG, SKP), pp. 511–515.
ICDARICDAR-2007-ToujAA #segmentation #using
Two Approaches for Arabic Script Recognition-Based Segmentation Using the Hough Transform (ST, NEBA, HA), pp. 654–658.
ITiCSEITiCSE-2007-CrescenziN #algorithm #experience #visualisation
Fully integrating algorithm visualization into a cs2 course.: a two-year experience (PC, CN), pp. 296–300.
ITiCSEITiCSE-2007-HawthorneCK #education
Curricular resources from the acm two-year college education committee (EKH, RDC, KJK), p. 309.
ITiCSEITiCSE-2007-XinogalosSD #education #experience #java
Teaching java with BlueJ: a two-year experience (SX, MS, VD), p. 345.
TACASTACAS-2007-JurdzinskiLS #automaton #model checking #probability
Model Checking Probabilistic Timed Automata with One or Two Clocks (MJ, FL, JS), pp. 170–184.
CSMRCSMR-2007-LuciaDGR #approach #design pattern
A Two Phase Approach to Design Pattern Recovery (ADL, VD, CG, MR), pp. 297–306.
STOCSTOC-2007-Shpilka #multi
Interpolation of depth-3 arithmetic circuits with two multiplication gates (AS), pp. 284–293.
CIAACIAA-2007-AnselmoGM #2d #automaton
Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 290–302.
CIAACIAA-2007-JonoskaP #2d #automaton #finite #representation
Finite State Automata Representing Two-Dimensional Subshifts (NJ, JBP), pp. 277–289.
DLTDLT-2007-AnselmoGM #2d #nondeterminism
From Determinism to Non-determinism in Recognizable Two-Dimensional Languages (MA, DG, MM), pp. 36–47.
DLTDLT-2007-Blanchet-SadriBP #set #word
Two Element Unavoidable Sets of Partial Words (FBS, NCB, JP), pp. 96–107.
ICALPICALP-2007-CaryRS #finite #metric
Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), p. 949.
ICALPICALP-2007-KatrielKU #nondeterminism #probability #problem
Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems (IK, CKM, EU), pp. 171–182.
LATALATA-2007-AlhazovMR #network #predict
Networks of Evolutionary Processors with Two Nodes Are Unpredictable (AA, CMV, YR), pp. 521–528.
CHICHI-2007-ClarksonLCS #validation
Revisiting and validating a model of two-thumb text entry (EC, KL, JC, TS), pp. 163–166.
CHICHI-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.
HCIDHM-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.
HCIHCI-IDU-2007-EvjemoAS #lessons learnt
User Acceptance of Digital Tourist Guides Lessons Learnt from Two Field Studies (BE, SA, AS), pp. 746–755.
HCIHCI-IDU-2007-MorganN #development #interface #research
Interface Between Two Disciplines — The Development of Theatre as a Research Tool (MM, AFN), pp. 184–193.
HCIHCI-IPT-2007-HavukumpuHGVN #artificial reality
Comparing Two Head-Mounted Displays in Ultrasound Scanning (JH, JH, EG, PV, GN), pp. 597–604.
HCIHCI-MIE-2007-LeePL #finite #multi #recognition #transducer
Multi-word Expression Recognition Integrated with Two-Level Finite State Transducer (KL, KSP, YSL), pp. 124–133.
HCIHIMI-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.
HCIHIMI-MTT-2007-MiyakeT #coordination #realtime
Internal Timing Mechanism for Real-Time Coordination — Two Types of Control in Synchronized Tapping (YM, KT), pp. 876–883.
ICEISICEIS-AIDSS-2007-LiuCM #recognition #using
Named Entity Recognition in Biomedical Literature Using Two-Layer Support Vector Machines (FL, YC, BM), pp. 39–48.
ICEISICEIS-DISI-2007-OsbornB #2d
An insertion strategy for a two-dimensional spatial access method (WO, KB), pp. 295–300.
ICEISICEIS-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.
CIKMCIKM-2007-JiangZ #adaptation #approach #classification #statistics
A two-stage approach to domain adaptation for statistical classifiers (JJ, CZ), pp. 401–410.
ECIRECIR-2007-GengWLZ #ranking
Fighting Link Spam with a Two-Stage Ranking Strategy (GG, CW, QL, YZ), pp. 699–702.
ICMLICML-2007-AndoZ #generative #learning
Two-view feature generation model for semi-supervised learning (RKA, TZ), pp. 25–32.
MLDMMLDM-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.
SIGIRSIGIR-2007-NtoulasC #correctness #policy
Pruning policies for two-tiered inverted index with correctness guarantee (AN, JC), pp. 191–198.
OOPSLAOOPSLA-2007-KuhneS #multi #programming
Can programming be liberated from the two-level style: multi-level programming with deepjava (TK, DS), pp. 229–244.
REFSQREFSQ-2007-HerrmannKD
Exploring the Characteristics of NFR Methods — A Dialogue About Two Approaches (AH, DK, JD), pp. 320–334.
SACSAC-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.
LICSLICS-2007-Bojanczyk #logic
Two-way unary temporal logic over trees (MB), pp. 121–130.
TLCATLCA-2007-Kusmierek #problem #rank
The Inhabitation Problem for Rank Two Intersection Types (DK), pp. 240–254.
TLCATLCA-2007-MostrousY #higher-order #mobile #process #type system
Two Session Typing Systems for Higher-Order Mobile Processes (DM, NY), pp. 321–335.
CASECASE-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.
CASECASE-2006-ShangYQ #algorithm #equation #linear
Algorithm of Two-Step Eye-Hand Calibration by Resolving Linear Equations (YS, QY, ZQ), pp. 218–222.
CASECASE-2006-SongL
Two-Instant Reallocation in Two-Echelon Spare Parts Inventory Systems (HS, HCL), pp. 342–345.
DATEDATE-2006-CarbognaniBFKF #power management
Two-phase resonant clocking for ultra-low-power hearing aid applications (FC, FB, NF, HK, WF), pp. 73–78.
DATEDATE-2006-YavariSR #design #hybrid
Systematic and optimal design of CMOS two-stage opamps with hybrid cascode compensation (MY, OS, ÁRV), pp. 144–149.
DRRDRR-2006-ChenS #2d #recognition #verification
Combining one- and two-dimensional signal recognition approaches to off-line signature verification (SC, SNS).
PODSPODS-2006-BojanczykDMSS #logic #reasoning #xml
Two-variable logic on data trees and XML reasoning (MB, CD, AM, TS, LS), pp. 10–19.
PODSPODS-2006-CondonDHW #algorithm #pipes and filters #problem
Flow algorithms for two pipelined filter ordering problems (AC, AD, LH, NW), pp. 193–202.
VLDBVLDB-2006-HuangCLL #evolution #using #xml
XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques (CHH, TRC, JJL, HML), pp. 1215–1218.
VLDBVLDB-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.
ITiCSEITiCSE-2006-CampbellHK #education #process
Activities of the ACM two-year college education committee (RDC, EKH, KJK), p. 321.
CSMRCSMR-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.
STOCSTOC-2006-Feldman #approximate #learning #logic #query
Hardness of approximate two-level logic minimization and PAC learning with membership queries (VF), pp. 363–372.
DLTDLT-2006-Ravikumar #automaton #finite #modelling #on the #probability
On Some Variations of Two-Way Probabilistic Finite Automata Models (BR), pp. 443–454.
ICALPICALP-v2-2006-KarhumakiKO #communication
Communication of Two Stacks and Rewriting (JK, MK, AO), pp. 468–479.
FMFM-2006-CunhaOV #data transformation #type safety
Type-Safe Two-Level Data Transformation (AC, JNO, JV), pp. 284–299.
CHICHI-2006-DillonKCB #using #visual notation
Visual search and reading tasks using ClearType and regular displays: two experiments (AD, LK, GOC, RGB), pp. 503–511.
CHICHI-2006-EisensteinM #communication #evaluation
Interacting with communication appliances: an evaluation of two computer vision-based selection techniques (JE, WEM), pp. 1111–1114.
CHICHI-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.
CHICHI-2006-LatulipeMKC #named #symmetry
symSpline: symmetric two-handed spline manipulation (CL, SM, CSK, CLAC), pp. 349–358.
CSCWCSCW-2006-YankelovichKPWD #question
Improving audio conferencing: are two ears better than one? (NY, JK, JP, MW, JMD), pp. 333–342.
SOFTVISSOFTVIS-2006-Reichardt #2d #c++
Two-dimensional C++ (JR), pp. 191–192.
ICEISICEIS-ISAS-2006-BlomqvistOS #enterprise #ontology
Ontology Construction in an Enterprise Context: Comparing and Evaluating Two Approaches (EB, , KS), pp. 86–93.
CIKMCIKM-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.
ICMLICML-2006-WangYL #2d
Two-dimensional solution path for support vector regression (GW, DYY, FHL), pp. 993–1000.
ICPRICPR-v1-2006-Chen #adaptation #estimation
Noise Variance Adaptive SEA for Motion Estimation: A Two-Stage Schema (WGC), pp. 31–34.
ICPRICPR-v1-2006-KimK06a #parametricity #using
Estimating Intrinsic Parameters of Cameras using Two Arbitrary Rectangles (JSK, ISK), pp. 707–710.
ICPRICPR-v1-2006-WangKY #2d #analysis #linear #recognition
Bilateral Two Dimensional Linear Discriminant Analysis for Stereo Face Recognition (JGW, HK, WYY), pp. 429–432.
ICPRICPR-v1-2006-ZhangGZ #database #orthogonal
Recognizing Rotated Faces from Two Orthogonal Views in Mugshot Databases (XZ, YG, BZ), pp. 195–198.
ICPRICPR-v2-2006-InoueU #2d #analysis #linear
Non-Iterative Two-Dimensional Linear Discriminant Analysis (KI, KU), pp. 540–543.
ICPRICPR-v2-2006-LuCSF
Camera Calibration from Two Shadow Trajectories (FL, XC, YS, HF), pp. 1–4.
ICPRICPR-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.
ICPRICPR-v2-2006-UekiHK #2d #analysis #classification #linear
Two-dimensional Heteroscedastic Linear Discriminant Analysis for Age-group Classification (KU, TH, TK), pp. 585–588.
ICPRICPR-v3-2006-AnLV #classification #performance
Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation (SA, WL, SV), pp. 240–244.
ICPRICPR-v3-2006-ChatelainHP #documentation
A two-stage outlier rejection strategy for numerical field extraction in handwritten documents (CC, LH, TP), pp. 224–227.
ICPRICPR-v3-2006-XuJJG #2d #recognition
Complete Two-Dimensional PCA for Face Recognition (AX, XJ, YJ, PG), pp. 481–484.
ICPRICPR-v4-2006-ArifBV
A fusion methodology based on Dempster-Shafer evidence theory for two biometric applications (MA, TB, NV), pp. 590–593.
ICPRICPR-v4-2006-PerdochMC #geometry
Epipolar Geometry from Two Correspondences (MP, JM, OC), pp. 215–219.
ICPRICPR-v4-2006-XieLYD #identification #robust
Improved Two-stage Wiener Filter for Robust Speaker Identification (YX, ML, ZY, BD), pp. 310–313.
ICPRICPR-v4-2006-ZhangZX #segmentation
A Two-level Method for Unsupervised Speaker-based Audio Segmentation (SZ, SZ, BX), pp. 298–301.
SEKESEKE-2006-YuC06a #evolution #maintenance #open source #reuse
Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse (LY, KC), pp. 737–742.
SIGIRSIGIR-2006-HeP #feedback
Comparing two blind relevance feedback techniques (DH, YP), pp. 649–650.
MODELSMoDELS-2006-Staron #case study #development #industrial #modelling
Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.
MODELSMoDELS-2006-Staron #case study #development #industrial #modelling
Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.
RERE-2006-SoB #case study #experience #requirements
Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC (JS, DMB), pp. 216–221.
SACSAC-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.
SACSAC-2006-HabichWLP #clustering #set
Two-phase clustering strategy for gene expression data sets (DH, TW, WL, CP), pp. 145–150.
SACSAC-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.
CSLCSL-2006-CortierRZ #standard
Relating Two Standard Notions of Secrecy (VC, MR, EZ), pp. 303–318.
LICSLICS-2006-BojanczykMSSD #logic #word
Two-Variable Logic on Words with Data (MB, AM, TS, LS, CD), pp. 7–16.
ICTSSTestCom-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.
CASECASE-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.
DATEDATE-2005-BhuniaMRR #novel #testing
A Novel Low-overhead Delay Testing Technique for Arbitrary Two-Pattern Test Application (SB, HMM, AR, KR), pp. 1136–1141.
DATEDATE-2005-DingV #approach #megamodelling #modelling #performance
A Two-Level Modeling Approach to Analog Circuit Performance Macromodeling (MD, RV), pp. 1088–1089.
ICDARICDAR-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.
ICDARICDAR-2005-HanL #approach #recognition #segmentation
A two-stage handwritten character segmentation approach in mail address recognition (ZH, CPL), pp. 111–115.
ICDARICDAR-2005-LiangNSV #2d #algorithm #geometry #parsing #performance
Efficient Geometric Algorithms for Parsing in Two Dimensions (PL, MN, MS, PAV), pp. 1172–1177.
ICDARICDAR-2005-WanW #modelling #online #statistics #verification
On-Line Signature Verification With Two-Stage Statistical Models (LW, BW), pp. 282–286.
VLDBVLDB-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.
CSEETCSEET-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.
ITiCSEITiCSE-2005-BrusilovskyS #case study #self #student
Engaging students to work with self-assessment questions: a study of two approaches (PB, SAS), pp. 251–255.
ITiCSEITiCSE-2005-CampbellHK #education
Curricular projects of the ACM two-year college education committee (RDC, EKH, KJK), p. 361.
ITiCSEITiCSE-2005-PaisB #user interface
Two possible approaches for an intermediate GUI course (RP, JPB), p. 365.
TACASTACAS-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.
CSMRCSMR-2005-GreevyD #analysis #approach #correlation #using
Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach (OG, SD), pp. 314–323.
IWPCIWPC-2005-RevelleBC #case study #comprehension
Understanding Concerns in Software: Insights Gained from Two Case Studies (MR, TB, DC), pp. 23–32.
STOCSTOC-2005-AhnHL
Covert two-party computation (LvA, NJH, JL), pp. 513–522.
STOCSTOC-2005-Goncalves #graph
Edge partition of planar sraphs into two outerplanar graphs (DG0), pp. 504–512.
STOCSTOC-2005-SanghviV #complexity #random
The round complexity of two-party random selection (SS, SPV), pp. 338–347.
CIAACIAA-2005-AnselmoM #2d #automaton #queue #simulation
Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata (MA, MM), pp. 43–53.
CIAACIAA-2005-ZdarekM #2d #automaton #finite #on the #pattern matching
On Two-Dimensional Pattern Matching by Finite Automata (JZ, BM), pp. 329–340.
DLTDLT-2005-GeffertMP #automaton #finite
Complementing Two-Way Finite Automata (VG, CM, GP), pp. 260–271.
ICALPICALP-2005-CaryRS #finite #metric #on the
On the Hardness of Embeddings Between Two Finite Metrics (MC, AR, AS), pp. 1412–1423.
ICALPICALP-2005-TessonT #communication #complexity #strict
Restricted Two-Variable Sentences, Circuits and Communication Complexity (PT, DT), pp. 526–538.
CHICHI-2005-KarlsonBS #design
AppLens and launchTile: two designs for one-handed thumb use on small devices (AKK, BBB, JS), pp. 201–210.
CHICHI-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICMLICML-2005-HillD #adaptation #classification #problem
Adapting two-class support vector classification methods to many class problems (SIH, AD), pp. 313–320.
SEKESEKE-2005-FekiMG #approach #integration #multi
A Two-Phase Approach for Multidimensional Schemes Integration (JF, JM, FG), pp. 498–503.
SEKESEKE-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.
SEKESEKE-2005-YeS #dependence #modelling #variability
Modelling Feature Variability and Dependency in Two Views (HY, AS), pp. 661–664.
SACSAC-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.
SACSAC-2005-Strangio #performance #protocol
Efficient Diffie-Hellmann two-party key agreement protocols based on elliptic curves (MAS), pp. 324–331.
SACSAC-2005-WuRBGM #2d #compilation
A two-dimensional separation of concerns for compiler construction (XW, SR, BRB, JGG, MM), pp. 1365–1369.
SACSAC-2005-XiaoLJ #clustering #on the #problem #scheduling
On unit task linear-nonlinear two-cluster scheduling problem (ZX, WNL, JJFJ), pp. 713–717.
COCVCOCV-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.
LICSLICS-2005-KieronskiO #decidability #first-order #logic
Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
TLCATLCA-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.
DATEDATE-v1-2004-Gordon-RossVD #automation #embedded
Automatic Tuning of Two-Level Caches to Embedded Applications (AGR, FV, ND), pp. 208–213.
DATEDATE-v2-2004-ShendeMB #communication #quantum
Smaller Two-Qubit Circuits for Quantum Communication and Computation (VVS, ILM, SSB), pp. 980–987.
DATEDATE-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.
ITiCSEITiCSE-WGR-2004-Campbell #assurance #security
IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
ICSMEICSM-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.
STOCSTOC-2004-AchlioptasN #graph #random
The two possible values of the chromatic number of a random graph (DA, AN), pp. 587–593.
STOCSTOC-2004-HarnikNRR #perspective
Completeness in two-party secure computation: a computational view (DH, MN, OR, AR), pp. 252–261.
CIAACIAA-2004-PolcarM #2d #automaton #online #pattern matching
Two-Dimensional Pattern Matching by Two-Dimensional Online Tessellation Automata (TP, BM), pp. 327–328.
DLTDLT-2004-AnselmoGM #2d #regular expression
Regular Expressions for Two-Dimensional Languages Over One-Letter Alphabet (MA, DG, MM), pp. 63–75.
DLTDLT-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.
ICALPICALP-2004-DabrowskiP #equation #word
Solving Two-Variable Word Equations (Extended Abstract) (RD, WP), pp. 408–419.
ICGTICGT-2004-RensinkSV #comparison #graph transformation #model checking
Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
CAiSECAiSE-2004-NikiforovaK #approach #development #modelling
Two-Hemisphere Model Driven Approach: Engineering Based Software Development (ON, MK), pp. 219–233.
ICEISICEIS-v2-2004-WuW04a #algorithm #comparison #set
Result Comparison of Two Rough Set Based Discretization Algorithms (SW, WW), pp. 511–514.
ICPRICPR-v1-2004-LeungCCT
B-Spline Snakes in Two Stages (CCL, CHC, FHYC, WKT), pp. 568–571.
ICPRICPR-v1-2004-LiangCP
Uncalibrated Two-View Metrology (BL, ZC, NP), pp. 96–99.
ICPRICPR-v1-2004-MilgramSC #classification #modelling
Two-Stage Classification System combining Model-Based and Discriminative Approaches (JM, RS, MC), pp. 152–155.
ICPRICPR-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.
ICPRICPR-v3-2004-CuiG #recognition
Support Vector Machines for Face Recognition with Two-layer Generated Virtual Data (GC, WG), pp. 570–573.
ICPRICPR-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.
ICPRICPR-v3-2004-WuCW #estimation #image #visual notation
Visual Line Estimation from a Single Image of Two Eyes (HW, QC, TW), pp. 290–293.
ICPRICPR-v4-2004-BelkhoucheQGJ #2d #image #using
Binary Image Transformation Using Two-Dimensional Chaotic Maps (FB, UQ, IG, DJ), pp. 823–826.
ICPRICPR-v4-2004-ChoH #image
Extending Dynamic Range of Two Color Images under Different Exposures (WhC, KSH), pp. 853–856.
ICPRICPR-v4-2004-ParkA #interactive #semantics
Event Semantics in Two-person Interactions (SP, JKA), pp. 227–230.
KDDKDD-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.
SIGIRSIGIR-2004-MaS #information management #using
Information extraction using two-phase pattern discovery (LM, JS), pp. 534–535.
SIGIRSIGIR-2004-TaoZ #feedback #pseudo
A two-stage mixture model for pseudo feedback (TT, CZ), pp. 486–487.
PADLPADL-2004-CorreasGCCH #implementation #persistent
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.
SACSAC-2004-Al-HoumailyC #commit #named #protocol
1-2PC: the one-two phase atomic commit protocol (YJAH, PKC), pp. 684–691.
SACSAC-2004-JulstromA #algorithm #hybrid #problem
Two hybrid evolutionary algorithms for the rectilinear Steiner arborescence problem (BAJ, AA), pp. 980–984.
SACSAC-2004-LiuCT #comparison
A comparison of two view materialization approaches for disease surveillance system (ZL, PKC, FCT), pp. 754–755.
CGOCGO-2004-WuBQEF #predict
The Accuracy of Initial Prediction in Two-Phase Dynamic Binary Translators (YW, MBJ, JQ, OE, JF), pp. 227–238.
DACDAC-2003-AgarwalSB03a #metric
Simple metrics for slew rate of RC circuits based on two circuit moments (KA, DS, DB), pp. 950–953.
DATEDATE-2003-OmanaRM #parallel
High Speed and Highly Testable Parallel Two-Rail Code Checker (MO, DR, CM), pp. 10608–10615.
DocEngDocEng-2003-PhelpsW
Two diet plans for fat PDF (TAP, RW), pp. 175–184.
ICDARICDAR-2003-KaratzasA #image #segmentation #web
Two Approaches for Text Segmentation in Web Images (DK, AA), pp. 131–136.
ITiCSEITiCSE-2003-CampbellHK #education
Curricular projects of the ACM two-year college education committee (RDC, EKH, KJK), p. 222.
ITiCSEITiCSE-2003-CampbellHK03a
The role of two-year colleges in educating the cyber-security workforce (RDC, EKH, KJK), p. 235.
ITiCSEITiCSE-2003-JulianoCK #architecture #education #using
Observations from using two modes of teaching undergraduate computer architecture (BAJ, CHC, EK), p. 248.
ESOPESOP-2003-Comon-LundhC #security
Security Properties: Two Agents Are Sufficient (HCL, VC), pp. 99–113.
FoSSaCSFoSSaCS-2003-Kieronski #transitive
The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard (EK), pp. 299–312.
TACASTACAS-2003-FersmanMPY #analysis #scheduling #using
Schedulability Analysis Using Two Clocks (EF, LM, PP, WY), pp. 224–239.
IWPCIWPC-2003-DeanC #design
Design Recovery of a Two Level System (TRD, YC), pp. 23–32.
STOCSTOC-2003-JayramKS #complexity
Two applications of information complexity (TSJ, RK, DS), pp. 673–682.
STOCSTOC-2003-Lindell #bound
Bounded-concurrent secure two-party computation without setup assumptions (YL), pp. 683–692.
ICALPICALP-2003-HromkovicS03a #automaton #finite #nondeterminism
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s Separation (JH, GS), pp. 439–451.
CHICHI-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.
AdaEuropeAdaEurope-2003-Lamm #ada #design #education #java
Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.
ICEISICEIS-v3-2003-BrowneSW #workflow
A Two Tier, Goal-Driven Workflow Model for the Healthcare Domain (EDB, MS, JRW), pp. 32–39.
ICEISICEIS-v3-2003-NaumenkoW #modelling
Two Approaches in System Modeling and Their Illustrations with MDA and RM-ODP (AN, AW), pp. 398–402.
CIKMCIKM-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.
ICMLICML-2003-Bouckaert #algorithm #learning #testing
Choosing Between Two Learning Algorithms Based on Calibrated Tests (RRB), pp. 51–58.
ICMLICML-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.
KDDKDD-2003-KorenH #clustering #visualisation
A two-way visualization method for clustered data (YK, DH), pp. 589–594.
ECOOPECOOP-2003-ZibinG #2d #layout
Two-Dimensional Bi-directional Object Layout (YZ, JYG), pp. 329–350.
ICSEICSE-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.
LDTALDTA-2003-Hufflen #bibliography
Mixing Two Bibliography Style Languages (JMH), pp. 628–642.
LICSLICS-2003-PistoreV #infinity
The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
RTARTA-2003-Verma #automaton #decidability #equation
Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure Properties (KNV), pp. 180–196.
DATEDATE-2002-KazmierskiC #design #distributed #framework
A Two-Tier Distributed Electronic Design Framework (TJK, NC), pp. 227–231.
HTHT-2002-VitaliFT #implementation
Two implementations of XPointer (FV, FF, CT), pp. 145–146.
ICSMEICSM-2002-MullerTH #programming
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming (MMM, RT, OH), pp. 84–92.
STOCSTOC-2002-CanettiLOS #composition #multi
Universally composable two-party and multi-party secure computation (RC, YL, RO, AS), pp. 494–503.
CIAACIAA-J-2000-Bruggemann-KleinW02 #automaton #nondeterminism
The Regularity of Two-Way Nondeterministic Tree Automata Languages (ABK, DW), pp. 67–81.
DLTDLT-2002-Frougny #online
On-Line Odometers for Two-Sided Symbolic Dynamical Systems (CF), pp. 405–416.
DLTDLT-2002-Holub #set #similarity
A Unique Structure of Two-Generated Binary Equality Sets (SH), pp. 245–257.
DLTDLT-2002-IbarraDS #automaton #finite #safety #verification
Safety Verification for Two-Way Finite Automata with Monotonic Counters (OHI, ZD, ZWS), pp. 326–338.
DLTDLT-2002-SasakiIIW #2d #bound #probability #turing machine
A Space Lower Bound of Two-Dimensional Probabilistic Turing Machines (YS, KI, AI, YW), pp. 185–196.
ICALPICALP-2002-Bojanczyk #automaton #finite #modelling
Two-Way Alternating Automata and Finite Models (MB), pp. 833–844.
CHICHI-2002-IsokoskiK #comparison
Comparison of two touchpad-based methods for numeric entry (PI, MK), pp. 25–32.
ICEISICEIS-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.
ICPRICPR-v1-2002-CoquinB #image
A New Method to Compute the Distortion Vector Field from Two Images (DC, PB), pp. 279–282.
ICPRICPR-v1-2002-DengT #novel #recognition
A Novel Two-Layer PCA/MDA Scheme for Hand Posture Recognition (JD, HTT), pp. 283–286.
ICPRICPR-v1-2002-JeongKSS #gesture #linear #recognition #using
Two-Hand Gesture Recognition using Coupled Switching Linear Model (MHJ, YK, NS, YS), pp. 9–12.
ICPRICPR-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.
ICPRICPR-v1-2002-KubotaA #generative #image #linear
Virtual View Generation by Linear Processing of Two Differently Focused Images (AK, KA), pp. 504–507.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v2-2002-RothW #algorithm #matrix
Some Improvements on Two Autocalibration Algorithms Based on the Fundamental Matrix (GR, AW), p. 312–?.
ICPRICPR-v2-2002-TaxD #classification #multi #using
Using Two-Class Classifiers for Multiclass Classification (DMJT, RPWD), pp. 124–127.
ICPRICPR-v3-2002-JeongKSS02a #gesture #linear #recognition #using
Two-Hand Gesture Recognition Using Coupled Switching Linear Model (MHJ, YK, NS, YS), pp. 529–532.
ICPRICPR-v3-2002-LefevreMV #classification #process #segmentation
A Two Level Classifier Process for Audio Segmentation (SL, BM, NV), pp. 891–894.
ICPRICPR-v3-2002-SongCLC02a #image #recognition
Graphics Recognition from Binary Images: One Step or Two Steps (JS, MC, MRL, SC), pp. 135–138.
ICPRICPR-v3-2002-TabboneW #2d #recognition #using
Technical Symbols Recognition Using the Two-Dimensional Radon Transform (ST, LW), pp. 200–203.
ICPRICPR-v3-2002-WangBR #classification #recognition #word
Combining HMM-Based Two-Pass Classifiers for Off-Line Word Recognition (WW, AB, GR), pp. 151–154.
ICPRICPR-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–?.
ICPRICPR-v4-2002-TothCA #classification #fault
A Two-Stage-Classifier for Defect Classification in Optical Media Inspection (DT, AC, TA), pp. 373–376.
KDDKDD-2002-ChenHS #algorithm
A new two-phase sampling based algorithm for discovering association rules (BC, PJH, PS), pp. 462–468.
SEKESEKE-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2002-Kwok #precise #query
Higher precision for two-word queries (KLK), pp. 395–396.
SIGIRSIGIR-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.
SIGIRSIGIR-2002-ZhaiL #information retrieval #modelling
Two-stage language models for information retrieval (CZ, JDL), pp. 49–56.
LOPSTRLOPSTR-2002-SimonKH #abstract domain #difference #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
CSLCSL-2002-Kanovich
Bijections between Partitions by Two-Directional Rewriting Techniques (MIK), pp. 44–58.
DACDAC-2001-LeeNCKD #2d #detection
Two-Dimensional Position Detection System with MEMS Accelerometer for MOUSE Applications (SL, GJN, JC, HK, AJD), pp. 852–857.
DATEDATE-2001-StuikysZDM #component
Two approaches for developing generic components in VHDL (VS, GZ, RD, GM), p. 800.
ICDARICDAR-2001-BrittoSBS #string
A Two-Stage HMM-Based System for Recognizing Handwritten Numeral Strings (AdSBJ, RS, FB, CYS), pp. 396–400.
ICDARICDAR-2001-JagerN #database #online
Two On-Line Japanese Character Databases in Unipen Format (SJ, MN), pp. 566–571.
ICDARICDAR-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.
ICDARICDAR-2001-RoneeUS #2d #linear #recognition #using
Handwritten Character Recognition Using Piecewise Linear Two-Dimensional Warping (MAR, SU, HS), pp. 39–43.
ICDARICDAR-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.
ICDARICDAR-2001-ZhaoCSW #approach #segmentation #using
Handwritten Chinese Character Segmentation Using a Two-Stage Approach (SZ, ZC, PS, QW), pp. 179–183.
ICDARICDAR-2001-ZhaoL #documentation #kernel #recognition
High-Precision Two-Kernel Chinese Character Recognition in General Document Processing Systems (SLZ, HJL), pp. 617–621.
PODSPODS-2001-FerraginaKMS #2d #string
Two-dimensional Substring Indexing (PF, NK, SM, DS).
FoSSaCSFoSSaCS-2001-Bojanczyk #automaton #finite #graph #problem
The Finite Graph Problem for Two-Way Alternating Automata (MB), pp. 88–103.
IWPCIWPC-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.
DLTDLT-2001-GlasserS
Level 5/2 of the Straubing-Thérien Hierarchy for Two-Letter Alphabets (CG, HS), pp. 251–261.
DLTDLT-2001-SchwentickTV #automaton
Partially-Ordered Two-Way Automata: A New Characterization of DA (TS, DT, HV), pp. 239–250.
ICFPICFP-2001-Sheard #unification
Generic Unification via Two-Level Types and Parameterized Modules (TS), pp. 86–97.
CIKMCIKM-2001-RosenthalW #data access #documentation #question
Document Release versus Data Access Controls: Two Sides of the Same Coin? (AR, GW), pp. 544–546.
MLDMMLDM-2001-Perner #classification #question #reasoning
Are Case-Based Reasoning and Dissimilarity-Based Classification Two Sides of the Same Coin? (PP), pp. 35–51.
MLDMMLDM-2001-SchmidtG #abstraction #reasoning
Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications (RS, LG), pp. 23–34.
SEKESEKE-2001-BastarrioaCDS #component #deployment #optimisation
Two Optimization Techniques for Component-Based Systems Deployment (MCB, REC, SAD, AAS), pp. 153–162.
SIGIRSIGIR-2001-Broch
Cite Me, Cite My References? (Scholarly Use of the ACM SIGIR Proceedings Based on Two Citation Indexes) (EB), pp. 446–447.
SIGIRSIGIR-2001-SaraivaMFMRZ #scalability
Rank-Preserving Two-Level Caching for Scalable Search Engines (PCS, ESdM, RCF, WMJ, BARN, NZ), pp. 51–58.
PPDPPPDP-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.
PPDPPPDP-2001-PenaR #abstraction #functional #parallel #programming
Parallel Functional Programming at Two Levels of Abstraction (RP, FR), pp. 187–198.
SACSAC-2001-HousniTKP #algorithm #distributed
A new distributed mutual exclusion algorithm for two groups (AH, MT, MSK, MSP), pp. 531–538.
ICSEICSE-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.
CSLCSL-2001-LutzSW #logic
Modal Logic and the Two-Variable Fragment (CL, US, FW), pp. 247–261.
IJCARIJCAR-2001-NivelleP #similarity
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality (HdN, IPH), pp. 211–225.
RTARTA-2001-Bechet #interactive
Universal Interaction Systems with Only Two Agents (DB), pp. 3–14.
DACDAC-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.
DACDAC-2000-ZachariahCR #algorithm #novel
A novel algorithm to extract two-node bridges (STZ, SC, CDR), pp. 790–793.
DATEDATE-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.
TACASTACAS-2000-AronsP #comparison #execution #verification
A Comparison of Two Verification Methods for Speculative Instruction Execution (TA, AP), pp. 487–502.
STOCSTOC-2000-Kilian #theorem
More general completeness theorems for secure two-party computation (JK), pp. 316–324.
CIAACIAA-2000-Bruggemann-KleinW #automaton #nondeterminism
Regularly Extended Two-Way Nondeterministic Tree Automata (ABK, DW), pp. 57–66.
CIAACIAA-2000-Kempe00a #transducer
Part-of-Speech Tagging with Two Sequential Transducers (AK), pp. 337–339.
CIAACIAA-2000-Watson #algorithm
Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski (BWW), pp. 311–317.
WLCWLC-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.
WLCWLC-2000-LombardyS #on the
On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
WLCWLC-2000-SchottS #algorithm #parallel #word
Two Optimal Parallel Algorithms on the Commutation Class of a Word (RS, JCS), pp. 403–419.
CHICHI-2000-MyersLY #using
Two-handed input using a PDA and a mouse (BAM, KPL, BCY), pp. 41–48.
CSCWCSCW-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.
ICPRICPR-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.
ICPRICPR-v1-2000-Lopez-RubioMG #image #robust #segmentation
A Robust Two-Stage System for Image Segmentation (ELR, JMP, JAGR), pp. 1606–1609.
ICPRICPR-v1-2000-SugayaO #algorithm #integration
Stereo by Integration of Two Algorithms with/without Occlusion Handling (YS, YO), pp. 1109–1113.
ICPRICPR-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.
ICPRICPR-v2-2000-Kangas #classification #comparison #nearest neighbour #prototype #representation
Comparison between Two Prototype Representation Schemes for a Nearest Neighbor Classifier (JK), pp. 2773–2776.
ICPRICPR-v2-2000-Pavlidis #2d #interface
A New Paper/Computer Interface: Two-Dimensional Symbologies (TP), pp. 2145–2151.
ICPRICPR-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.
ICPRICPR-v2-2000-TangXM00a #classification
Two-Step Classification Based on Scale Space (MT, JX, SM), pp. 2899–2902.
ICPRICPR-v3-2000-AcharyyaK #segmentation #using
Two Texture Segmentation Using M-Band Wavelet Transform (MA, MKK), pp. 3405–3408.
ICPRICPR-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.
ICPRICPR-v3-2000-LiuH00a #detection #implementation
Two Practical Issues in Canny’s Edge Detector Implementation (GL, RMH), pp. 3680–3682.
ICPRICPR-v3-2000-MostafaPF #classification
A Two-Step Fuzzy-Bayesian Classification for High Dimensional Data (MGHM, TCP, AAF), pp. 3421–3424.
ICPRICPR-v3-2000-UchidaS #2d #linear
Piecewise Linear Two-Dimensional Warping (SU, HS), pp. 3538–3541.
ICPRICPR-v4-2000-Kauppinen #fault #recognition
A Two Stage Defect Recognition Method for Parquet Slab Grading (HK), pp. 4803–4806.
KRKR-2000-IsmailS #problem #reasoning
Two Problems with Reasoning and Acting in Time (HOI, SCS), pp. 355–365.
REICRE-2000-Parnas00a
Two Positions on Licensing (DLP), p. 154.
SPLCSPLC-2000-PasettiP #concept #development #novel #product line
Two Novel Concepts for systematic product line development (AP, WP), pp. 249–270.
HPCAHPCA-2000-CappelloRE #clustering #modelling #performance #programming
Investigating the Performance of Two Programming Models for Clusters of SMP PCs (FC, OR, DE), pp. 349–359.
CADECADE-2000-AudemardBH #finite
Two Techniques to Improve Finite Model Search (GA, BB, LH), pp. 302–308.
LICSLICS-2000-BussK #bound
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (SRB, BMK), pp. 77–83.
DACDAC-1999-Bening #logic #simulation
A Two-State Methodology for RTL Logic Simulation (LB), pp. 672–677.
DACDAC-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.
ICDARICDAR-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.
ICDARICDAR-1999-ChoiO #network #recognition #using
A Segmentation-free Recognition of Two Touching Numerals using Neural Network (SMC, ISO), pp. 253–256.
ICDARICDAR-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.
ICDARICDAR-1999-SuralD99a #documentation #image #markov
A Two-state Markov Chain Model of Degraded Document Images (SS, PKD), pp. 463–466.
ICDARICDAR-1999-UchidaS #2d #recognition #using
Handwritten Character Recognition using Monotonic and Continuous Two-dimensional Warping (SU, HS), pp. 499–502.
PODSPODS-1999-ArgeSV #2d #on the
On Two-Dimensional Indexability and Optimal Range Search Indexing (LA, VS, JSV), pp. 346–357.
VLDBVLDB-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.
ITiCSEITiCSE-1999-Ackermann #education #internet
Poster session. Internet curriculum. two courses: introductory and advanced (ECA), pp. 179–180.
ICSMEICSM-1999-KrikhaarPSSV #architecture #process
A Two-Phase Process for Software Architecture Improvement (RLK, AP, MPAS, MS, CV), pp. 371–380.
WCREWCRE-1999-DucasseRN #object-oriented #re-engineering
Type-Check Elimination: Two Object-Oriented Reengineering Patterns (SD, TR, RN), p. 157–?.
DLTDLT-1999-Cassaigne #complexity
Subword complexity and periodicity in two or more dimensions (JC), pp. 14–21.
DLTDLT-1999-FreundF
Test tube systems: when two tubes are enough (RF, FF), pp. 338–350.
ICALPICALP-1999-EngelfrietH #finite #higher-order #logic #monad #transducer
Two-Way Finite State Transducers and Monadic Second-Order Logic (JE, HJH), pp. 311–320.
ICALPICALP-1999-HromkovicS #automaton #finite #on the #power of
On the Power of Las Vegas II. Two-Way Finite Automata (JH, GS), pp. 433–442.
ICALPICALP-1999-KimP #2d #linear
Linear-Time Construction of Two-Dimensional Suffix Trees (DKK, KP), pp. 463–472.
ICALPICALP-1999-KirstenM #problem
Two Techniques in the Area of the Star Problem (DK, JM), pp. 483–492.
IFMIFM-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.
HCIHCI-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.
HCIHCI-EI-1999-MarcusAFG99d #development #interface
User-Interface Development: Lessons for the Future from two Past Projects (AM, JA, VF, EG), pp. 1227–1231.
HCIHCI-EI-1999-SophianC
A Picture is Worth More Than Two Lines (CS, MEC), pp. 376–380.
ICEISICEIS-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.
ECIRACIR-1999-FatemiM #representation #retrieval #video
A Two-time Model for Video Content Representation and Retrieval (NF, PM).
SEKESEKE-1999-WieserHS #experience
Push of Pull: Two Cognitive Modes of Systematic Experience Transfer at DaimlerChrysler (EW, FH, KS), pp. 186–204.
SIGIRSIGIR-1999-HoelscherS #web
Searching on the Web: Two Types of Expertise (poster abstract) (CH, GS), pp. 305–306.
TOOLSTOOLS-ASIA-1999-LauderK #modelling
Two-Level Modeling (AL, SK), pp. 108–117.
TOOLSTOOLS-EUROPE-1999-Roubine #repository
Two or Three Things I Have Learnt about Repositories (OR), p. 7.
RERE-1999-BoehmAPKL #requirements
Requirements Engineering, Expectations Management, and the Two Cultures (BWB, MAA, DP, JK, AL), pp. 14–22.
SACSAC-1999-Lee #multi #scheduling
Artificial Intelligence Search Methods for Multi-Machine Two-Stage Scheduling (IL), pp. 31–35.
HPCAHPCA-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.
CADECADE-1999-Schmidt-SchaussS #decidability #equation
Solvability of Context Equations with Two Context Variables is Decidable (MSS, KUS), pp. 67–81.
LICSLICS-1999-GanzingerMV #transitive
The Two-Variable Guarded Fragment with Transitive Relations (HG, CM, MV), pp. 24–34.
LICSLICS-1999-GradelR
Two-Variable Descriptions of Regularity (EG, ER), pp. 14–23.
DATEDATE-1998-ShaoC #approximate #design #using
MCM Interconnect Design Using Two-Pole Approximation (JS, RMMC), pp. 544–548.
FoSSaCSFoSSaCS-1998-BottreauM #graph #normalisation
Minor Searching, Normal Forms of Graph Relabelling: Two Applications Based on Enumerations by Graph Relabelling (AB, YM), pp. 110–124.
FoSSaCSFoSSaCS-1998-Moggi #category theory
Functor Categories and Two-Level Languages (EM), pp. 211–225.
ICSMEICSM-1998-NiessinkV #case study #maintenance
Two Case Studies in Measuring Software Maintenance Effort (FN, HvV), pp. 76–85.
IWPCIWPC-1998-DeursenK #agile #case study #cobol #comprehension
Rapid System Understanding: Two COBOL Case Studies (AvD, TK), pp. 90–97.
STOCSTOC-1998-TherienW #quantifier #word
Over Words, Two Variables Are as Powerful as One Quantifier Alternation (DT, TW), pp. 234–240.
FLOPSFLOPS-1998-LedererD #programming
Two-Stage Programming (EFAL, RAD), pp. 296–313.
ICALPICALP-1998-DyerG #algorithm #polynomial
A Genuinely Polynomial-Time Algorithms for Sampling Two-Rowed Contingency Tables (MED, CSG), pp. 339–350.
ICALPICALP-1998-Vardi #automaton #reasoning
Reasoning about The Past with Two-Way Automata (MYV), pp. 628–641.
CIAAWIA-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.
FMFM-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.
CHICHI-1998-BhavnaniJ #performance
Delegation and Circumvention: Two Faces of Efficiency (SKB, BEJ), pp. 273–280.
AdaEuropeAdaEurope-1998-ArabanS #library #object-oriented
A Two-Level Matching Mechanism for Object-Oriented Class Libraries (SA, ASMS), pp. 188–200.
ICPRICPR-1998-0002C #comparison #evaluation
Experimental evaluation of two criteria for pattern comparison and alignment (CS, RC), pp. 146–153.
ICPRICPR-1998-BouletreauVSE #identifier #question
Handwriting and signature: one or two personality identifiers? (VB, NV, RS, HE), pp. 1758–1760.
ICPRICPR-1998-Lehmann #algorithm #image #modelling
A two-stage algorithm for model-based registration of medical images (TML), pp. 344–351.
ICPRICPR-1998-RodriguezMNZMP #classification
A two-stage classifier for broken and blurred digits in forms (CR, JM, MN, AZ, JIM, JMP), pp. 1101–1105.
ICPRICPR-1998-UchidaS #2d #programming
A monotonic and continuous two-dimensional warping based on dynamic programming (SU, HS), pp. 521–524.
ICPRICPR-1998-WatanabeT #2d #analysis #image
An analysis system for two-dimensional gel electrophoresis images of genomic DNA (YW, KT), pp. 368–371.
ICPRICPR-1998-Yamada #pattern matching #query #retrieval #using
Handwritten text retrieval using two-stage pattern matching with handwritten query (KY), pp. 621–625.
KDDKDD-1998-Domingos
Occam’s Two Razors: The Sharp and the Blunt (PMD), pp. 37–43.
SIGIRSIGIR-1998-KwokC #ad hoc #query #retrieval
Improving Two-Stage Ad-Hoc Retrieval for Short Queries (KLK, MC), pp. 250–256.
SACSAC-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.
HPCAHPCA-1998-MackenzieKFLLAK #performance
Exploiting Two-Case Delivery for Fast Protected Messaging (KM, JK, MF, WL, VL, AA, MFK), pp. 231–242.
HPDCHPDC-1998-KanitkarD #transaction
Two-Stage Transaction Processing in Client-Server DBMSs (VK, AD), pp. 98–105.
LICSLICS-1998-Dalen
L. E. J. Brouwer’s Intuitionism: A Revolution in Two Installments (DvD), pp. 228–241.
LICSLICS-1998-KolaitisO #bound #first-order #logic #on the #problem
On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.
DACDAC-1997-GuptaH #2d #generative #layout #named #optimisation
CLIP: An Optimizing Layout Generator for Two-Dimensional CMOS Cells (AG, JPH), pp. 452–455.
DATEEDTC-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.
DATEEDTC-1997-SeongK #clustering #design #layout
Two-way partitioning based on direction vector [layout design] (KSS, CMK), pp. 306–310.
ICDARICDAR-1997-ChaudhuriP
An OCR System to Read Two Indian Language Scripts: Bangla and Devnagari (Hindi) (BBC, UP), pp. 1011–1015.
ICDARICDAR-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.
CSMRCSMR-1997-Meltz #assessment
Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.
PLDIPLDI-1997-SperberT #compilation #partial evaluation
Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.
STOCSTOC-1997-Kleinberg #algorithm #nearest neighbour
Two Algorithms for Nearest-Neighbor Search in High Dimensions (JMK), pp. 599–608.
DLTDLT-1997-Paun #distributed
Two-Level Distributed H Systems (GP), pp. 309–327.
CHICHI-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.
HCIHCI-SEC-1997-BlanchonF #what
Asking Users About What They Mean: Two Experiments & Results (HB, LF), pp. 609–612.
HCIHCI-SEC-1997-KiyokawaTY #3d #design
Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment (KK, HT, NY), pp. 937–940.
SACSAC-1997-MoonLK #2d #clustering #search-based
Genetic VLSI circuit partitioning with two-dimensional geographic crossover and zigzag mapping (BRM, YSL, CKK), pp. 274–278.
ESECESEC-FSE-1997-PerryV
The Tale of Two Projects — Abstract (DEP, LGV), pp. 521–522.
LICSLICS-1997-EtessamiVW #first-order #logic
First-Order Logic with Two Variables and Unary Temporal Logic (KE, MYV, TW), pp. 228–235.
LICSLICS-1997-GradelOR #decidability #logic
Two-Variable Logic with Counting is Decidable (EG, MO, ER), pp. 306–317.
LICSLICS-1997-PacholskiST #complexity #logic
Complexity of Two-Variable Logic with Counting (LP, WS, LT), pp. 318–327.
RTARTA-1997-Lafont #2d
Two-Dimensional Rewriting (YL), pp. 228–229.
DACDAC-1996-TelicheveskyKW #analysis #performance
Efficient AC and Noise Analysis of Two-Tone RF Circuits (RT, KSK, JW), pp. 292–297.
DACDAC-1996-TheobaldNW #heuristic #logic #named
Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic (MT, SMN, TW), pp. 71–76.
HTHT-1996-Kendall #hypermedia #set
Hypertextual Dynamics in A Life Set for Two (RK), pp. 74–83.
SIGMODSIGMOD-1996-AchyutuniON #database #online #parallel
Two Techniques for On-Line Index Modification in Shared Nothing Parallel Databases (KJA, EO, SBN), pp. 125–136.
SIGMODSIGMOD-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.
SASSAS-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.
IFLIFL-1996-RuncimanR #matter #profiling
Two-Pass Heap Profiling: A Matter of Life and Death (CR, NR), pp. 222–232.
AdaTRI-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.
AdaTRI-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.
ICPRICPR-1996-Aladjem #distance #optimisation #recursion
Two-class pattern discrimination via recursive optimization of Patrick-Fisher distance (MEA), pp. 60–64.
ICPRICPR-1996-Chernov96a #2d #metric
A metric unified treatment of two-dimensional FFT (VMC), pp. 662–669.
ICPRICPR-1996-DuttaM #comparison #performance
Performance comparison of two evolutionary schemes (PD, DDM), pp. 659–663.
ICPRICPR-1996-Fainzilberg #recognition #statistics #why
Why relevant features may be unuseful in statistical recognition of two classes (LF), pp. 730–734.
ICPRICPR-1996-LiM #3d #estimation
3D pose estimation from an n-degree planar curved feature in two perspective views (LL, SM), pp. 374–377.
ICPRICPR-1996-PaikCLL #multi #using
Multiple recognizers system using two-stage combination (JP, SBC, KL, YL), pp. 581–585.
ICPRICPR-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.
ICPRICPR-1996-Zhang #geometry #image #lens #on the
On the epipolar geometry between two images with lens distortion (ZZ), pp. 407–411.
ICPRICPR-1996-ZhangW #algorithm #parallel
A parallel thinning algorithm with two-subiteration that generates one-pixel-wide skeletons (EYYZ, PSPW), pp. 457–461.
KDDKDD-1996-UrpaniWS #induction #named
RITIO — Rule Induction Two In One (DU, XW, JS), pp. 339–342.
SEKESEKE-1996-VerlageDMM #process #synthesis
A Synthesis of Two Process Support Approaches (MV, BD, FM, JM), pp. 59–68.
SIGIRSIGIR-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.
SACSAC-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.
HPCAHPCA-1996-AndersonK #adaptation #hybrid #protocol
Two Adaptive Hybrid Cache Coherency Protocols (CA, ARK), pp. 303–313.
CAVCAV-1996-Fujita #verification
Verification of Arithmetic Circuits by Comparing Two Similar Circuits (MF), pp. 159–168.
ICDARICDAR-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.
ICDARICDAR-v2-1995-JangKHK #recognition
Two-stage recognition of freight train ID number under outdoor environment (JHJ, JHK, KSH, JHK), pp. 986–991.
ICDARICDAR-v2-1995-ZhouHL #classification #recognition
A method of Jia Gu Wen recognition based on a two-level classification (XLZ, XCH, FL), pp. 833–836.
STOCSTOC-1995-FeigeK #proving #random
Impossibility results for recycling random bits in two-prover proof systems (UF, JK), pp. 457–468.
STOCSTOC-1995-GhoshLMMPRRTZ #algorithm #analysis
Tight analyses of two local load balancing algorithms (BG, FTL, BMM, SM, CGP, RR, AWR, RET, DZ), pp. 548–558.
STOCSTOC-1995-Pulleyblank #problem
Two Steiner tree packing problems (Extended Abstract) (WRP), pp. 383–387.
STOCSTOC-1995-RaschleS #graph #recognition
Recognition of graphs with threshold dimension two (TR, KS), pp. 650–661.
DLTDLT-1995-Giammarresi #2d #bibliography #finite
Finite State Recognizability for Two-Dimensional Languages: A Brief Survey (DG), pp. 299–308.
CIKMCIKM-1995-LiR
PERF Join: An Alternative to Two-way Semijoin and Bloomjoin (ZL, KAR), pp. 137–144.
ICMLICML-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.
SIGIRSIGIR-1995-Church #question
One Term Or Two? (KWC), pp. 310–318.
SIGIRSIGIR-1995-WillieB #information management #interface #modelling
Improving the Information Search Interface: the case for two search models (SW, PB), pp. 205–210.
SIGIRSIGIR-1995-Winograd #library
Digital Libraries: Bridging the Two Cultures (TW), p. 2.
SACSAC-1995-HuizingaH #distributed
Two-level client caching and disconnected operation of notebook computers in distributed systems (DMH, KAH), pp. 390–395.
SACSAC-1995-SaiedianM #case study #framework #process #quality
A study of two frameworks for quality software process (HS, LMM), pp. 434–439.
HPCAHPCA-1995-AndersonB #multi #performance
Two Techniques for Improving Performance on Bus-Based Multiprocessors (CA, JLB), pp. 264–275.
HPCAHPCA-1995-CunninghamA #2d #adaptation #fault tolerance
Fault-Tolerant Adaptive Routing for Two-Dimensional Meshes (CMC, DRA), pp. 122–131.
HPCAHPCA-1995-UpadhyayVM #2d #adaptation #performance
Efficient and Balanced Adaptive Routing in Two-Dimensional Meshes (JU, VV, PM), pp. 112–121.
ICLPICLP-1995-BoyeM #aspect-oriented
Two Aspects of Directional Types (JB, JM), pp. 747–761.
ICLPICLP-1995-ShiraiH #constraints #problem
Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
LICSLICS-1995-Otto
Ptime Canonization for Two Variables with Counting (MO), pp. 342–352.
RTARTA-1995-CorradiniGM #modelling #term rewriting
Relating Two Categorial Models of Term Rewriting (AC, FG, UM), pp. 225–240.
DACDAC-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.
DATEEDAC-1994-KeM #synthesis
Synthesis of Delay-Verifiable Two-Level Circuits (WK, PRM), pp. 297–301.
DATEEDAC-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.
VLDBVLDB-1994-OuzzaniAB #approach #top-down
A Top-Down Approach for Two Level Serializability (MO, MAA, NLB), pp. 226–237.
CSEETCSEE-1994-BoardmanM #experience #re-engineering #sequence
A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience (DBB, APM), pp. 5–22.
CSEETCSEE-1994-JohnstonW #experience
Building on Experience: An Undegraduate Course with Two Year-Long Projects (LJ, PWD), pp. 345–357.
CSEETCSEE-1994-MooreP #experience #learning #re-engineering
Learning by Doing: Goals & Experience of Two Software Engineering Project Courses (MMM, CP), pp. 151–164.
STOCSTOC-1994-FeigeK #fault #protocol #proving
Two prover protocols: low error at affordable rates (UF, JK), pp. 172–183.
STOCSTOC-1994-JiangSV
Two heads are better than two tapes (TJ, JIS, PMBV), pp. 668–675.
ICALPICALP-1994-AmirBF #2d
Optimal Two-Dimensional Compressed Matching (AA, GB, MF), pp. 215–226.
CHICHI-1994-KabbashBS94a
Two-handed input in a compound task (PK, WB, AS), pp. 417–423.
CHICHI-1994-MasuiN94b #editing #performance #predict
Repeat and predict — two keys to efficient text editing (TM, KN), pp. 118–123.
CHICHI-1994-MynattW94a #user interface #visual notation
Nonvisual presentation of graphical user interfaces: contrasting two approaches (EDM, GW), pp. 166–172.
CHICHI-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.
AdaEuropeAdaEurope-1994-Schneeweiss #object-oriented
Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods (HS), pp. 155–161.
CIKMCIKM-1994-HelalKF
Quasi-Dynamic Two-Phase Locking (AH, THK, JF), pp. 211–218.
KDDKDD-1994-GregoryC #algorithm #modelling
Two Algorithms for Inducing Causal Models from Data (DEG, PRC), pp. 73–84.
SACSAC-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.
SACSAC-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.
HPDCHPDC-1994-Benslimane #bound #communication #finite #state machine
Deciding Boundedness for Systems of Two Communicating Finite State Machines (AB), pp. 262–269.
DACDAC-1993-ChakravartyG #algorithm #fault
An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits (SC, YG), pp. 520–524.
DACDAC-1993-CoudertMF #logic
A New Viewpoint on Two-Level Logic Minimization (OC, JCM, HF), pp. 625–630.
DACDAC-1993-PapaefthymiouR #named
TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry (MCP, KHR), pp. 497–502.
ICDARICDAR-1993-KrtolicaM #algorithm #recognition
Two-stage box connectivity algorithm for optical character recognition (RK, SM), pp. 179–182.
ICDARICDAR-1993-Viard-GaudinNB #2d #algorithm #approach #using
A bar code location algorithm using a two-dimensional approach (CVG, NN, DB), pp. 45–48.
VLDBVLDB-1993-LampsonL #commit #optimisation
A New Presumed Commit Optimization for Two Phase Commit (BWL, DBL), pp. 630–640.
STOCSTOC-1993-ChouK #2d #complexity
Some complexity issues on the simply connected regions of the two-dimensional plane (AWC, KIK), pp. 1–10.
DLTDLT-1993-Gimmarresi #2d
Two-Dimensional Languages and Recognizable Functions (DG), pp. 290–301.
ICALPICALP-1993-IbarraJTW #decidability
New Decidability Results Concerning Two-way Counter Machines and Applications (OHI, TJ, NQT, HW), pp. 313–324.
HCIHCI-SHI-1993-LeeWV #2d #interactive #interface
Interactive Haptic Interface: Two-Dimensional Form Perception for Blind Access to Computers (SL, SFW, GCV), pp. 190–195.
CHIINTERCHI-1993-NielsenP #empirical #heuristic #interface #usability
Estimating the relative usability of two interfaces: heuristic, formal, and empirical methods compared (JN, VLP), pp. 214–221.
AdaEuropeAdaEurope-1993-KamradH #ada #case study #realtime
Applying Ada 9X to Two Real-Time Applications: A Case Study (JMKI, JH), pp. 79–94.
AdaEuropeAdaEurope-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.
AdaTRI-Ada-1993-Byrnes #ada #migration
Porting Applications Between Two Commercial Ada/Motif Bindings (CB), pp. 37–49.
SEKESEKE-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.
SACSAC-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.
SACSAC-1993-Sabharwal93a #2d #3d #image #parametricity
Recovering 3D Image Parameters from Corresponding Two 2D Images (CLS), pp. 402–409.
DACDAC-1992-LeeM #logic #multi #simulation
Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
DACDAC-1992-Malik #multi #network #optimisation #using
Optimization of Primitive Gate Networks Using Multiple Output Two-Level Minimization (AAM), pp. 449–453.
HTHT-ECHT-1992-MarshallR #case study #experience
Two Years before the Mist: Experiences with Aquanet (CCM, RAR), pp. 53–62.
STOCSTOC-1992-AmirBF #2d #independence
Alphabet Independent Two Dimensional Matching (AA, GB, MF), pp. 59–68.
STOCSTOC-1992-FeigeL92a #problem #proving
Two-Prover One-Round Proof Systems: Their Power and Their Problems (Extended Abstract) (UF, LL), pp. 733–744.
ICALPICALP-1992-BodlaenderFW
Two Strikes Against Perfect Phylogeny (HLB, MRF, TW), pp. 273–283.
CHICHI-1992-BallasHP #aspect-oriented
Evaluating Two Aspects of Direct Manipulation in Advanced Cockpits (JAB, CLH, MAP), pp. 127–134.
CHICHI-1992-MacKenzieB #2d
Extending Fitts’ Law to Two-Dimensional Tasks (ISM, WB), pp. 219–226.
CSCWCSCW-1992-Harper #research #social
Looking at Ourselves: An Examination of the Social Organisation of Two Research Laboratories (RHRH), pp. 330–337.
SEKESEKE-1992-AlcarazNHB #maintenance #monitoring #realtime
Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges (FA, MN, AH, JLB), pp. 364–369.
PPDPPLILP-1992-SaidiB #debugging #two-level grammar
Checking and Debugging of Two-level Grammars (SS, JFB), pp. 158–171.
ICLPJICSLP-1992-AlferesP #logic programming #on the #semantics
On Logic Program Semantics with Two Kinds of Negation (JJA, LMP), pp. 574–588.
DACDAC-1991-ChenM #pipes and filters #scheduling
Datapath Scheduling for Two-Level Pipelining (CYRC, MZM), pp. 603–606.
DACDAC-1991-DoodWLS #2d #geometry
A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.
DACDAC-1991-SoeK #logic #using
Logic Minimization using Two-column Rectangle Replacement (SS, KK), pp. 470–473.
DACDAC-1991-Wang #layout #novel
Novel Routing Schemes for IC Layout, Part I: Two-Layer Channel Routing (DCW), pp. 49–53.
PODSPODS-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.
PLDIPLDI-1991-Launchbury #analysis #strict
Strictness and Binding-Time Analyses: Two for the Price of One (JL), pp. 80–91.
STOCSTOC-1991-CoffmanG #proving #scheduling
Proof of the 4/3 Conjecture for Preemptive vs. Nonpreemptive Two-Processor Scheduling (EGCJ, MRG), pp. 241–248.
STOCSTOC-1991-CohenM #algorithm #difference #linear
Improved Algorithms for Linear Inequalities with Two Variables per Inequality (Extended Abstract) (EC, NM), pp. 145–155.
STOCSTOC-1991-Kilian #game studies #theorem
A General Completeness Theorem for Two-Party Games (JK), pp. 553–560.
ICALPICALP-1991-CuckerT #formal method #problem
Two P-Complete Problems in the Theory of the Reals (FC, AT), pp. 556–565.
ICALPICALP-1991-JungSS #algorithm #constraints #parallel #precedence #scheduling
A Parallel Algorithm for Two Processors Precedence Constraint Scheduling (HJ, MJS, PGS), pp. 417–428.
FMVDME-1991-2-Woodcock91c #case study #refinement
Two Refinement Case Studies (JW), pp. 118–140.
CHICHI-1991-BorningT #interactive #network #video
Two approaches to casual interaction over computer and video networks (AB, MT), pp. 13–19.
CHICHI-1991-Grudin #convergence #development #named
CSCW: the convergence of two development contexts (JG), pp. 91–97.
AdaEuropeAdaEurope-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.
SIGIRSIGIR-1991-AgostiCG #hypermedia #retrieval
A Two-Level Hypertext Retrieval Model for Legal Data (MA, RC, GG), pp. 316–325.
PPDPPLILP-1991-Davison
From Parlog to Polka in two easy Steps (AD), pp. 171–182.
ASPLOSASPLOS-1991-CateG #file system #integration
Integration of Compression and Caching for a Two-Level File System (VC, TRG), pp. 200–211.
CAVCAV-1991-SegerJ #using #verification
A Two-Level Formal Verification Methodology using HOL and COSMOS (CJHS, JJJ), pp. 299–309.
DACDAC-1990-MalikBNS #logic #multi
Reduced Offsets for Two-Level Multi-Valued Logic Minimization (AAM, RKB, ARN, ALSV), pp. 290–296.
VLDBVLDB-1990-Garcia-MolinaPH #algorithm
Two Epoch Algorithms for Disaster Recovery (HGM, CAP, RBH), pp. 222–230.
PLDIPLDI-1990-Horwitz #difference #identification #semantics
Identifying the Semantic and Textual Differences Between Two Versions of a Program (SH), pp. 234–245.
PLDIPLDI-1990-PughW #inheritance #layout #multi
Two-Directional Record Layout for Multiple Inheritance (WP, GEW), pp. 85–91.
STOCSTOC-1990-MillerT
Separators in Two and Three Dimensions (GLM, WPT), pp. 300–309.
ICALPICALP-1990-Anselmo #automaton #multi
Two-Way Automata with Multiplicity (MA), pp. 88–102.
FMVDME-1990-LafontaineLS #formal method #towards
Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.
CAVCAV-1990-Clarke #explosion #logic #model checking #problem
Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem (EMC), p. 1.
DACDAC-1989-DaveP #generative #testing #using
A Functional-Level Test Generation Methodology Using Two-level Representations (UJD, JHP), pp. 722–725.
DACDAC-1989-IrwinO #2d #comparison #layout #matrix #tool support
A Comparison of Four Two-dimensional Gate Matrix Layout Tools (MJI, RMO), pp. 698–701.
DACDAC-1989-LinDY #2d #layout #matrix #synthesis
Gate Matrix Layout Synthesis with Two-Dimensional Folding (IL, DHCD, SHCY), pp. 37–42.
DACDAC-1989-ShinL #2d #algorithm #layout #performance
An Efficient Two-Dimensional Layout Compaction Algorithm (HS, CYL), pp. 290–295.
DACDAC-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.
ICALPICALP-1989-MehlhornP #source code
Two Versus One Index Register and Modifiable Versus Non-modifiable Programs (KM, WJP), pp. 603–609.
CHICHI-1989-Raskin
Systemic implications of leap and an improved two-part cursor (JR), pp. 167–170.
ICMLML-1989-PagalloH #algorithm
Two Algorithms That Learn DNF by Discovering Relevant Features (GP, DH), pp. 119–123.
ICMLML-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.
SEKESEKE-1989-LeaC #agile #prototype
A Two-Level Model for Software Rapid Prototyping (RJL, CGC), pp. 73–78.
SOSPSOSP-1989-BarkleyL #bound #lazy evaluation
A Lazy Buddy System Bounded by Two Coalescing Delays per Class (REB, TPL), pp. 167–176.
DACDAC-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.
PODSPODS-1988-Kelter #concurrent #protocol #queue
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.
STOCSTOC-1988-PintzSS #infinity #performance #testing
Two Infinite Sets of Primes with Fast Primality Tests (JP, WLS, ES), pp. 504–509.
ICALPICALP-1988-LingasS #algorithm #graph #morphism #polynomial
A Polynomial-Time Algorithm for Subgraph Isomorphism of Two-Connected Series-Parallel Graphs (AL, MMS), pp. 394–409.
CSCWCSCW-1988-BjerknesB #evaluation
The Memoirs of two Survivors: or the Evaluation of a Computer System for Cooperative Work (GB, TB), pp. 167–177.
ICMLML-1988-NatarajanT #framework #learning
Two New Frameworks for Learning (BKN, PT), pp. 402–415.
SIGIRSIGIR-1988-YuM #information retrieval #learning
Two Learning Schemes in Information Retrieval (CTY, HM), pp. 201–218.
CCCCHSC-1988-WeisgerberW #pattern matching
Two Tree Pattern Matchers for Code Selection (BW, RW), pp. 215–229.
CADECADE-1988-MarcusR #automation #implementation #proving
Two Automated Methods in Implementation Proofs (LM, TR), pp. 622–642.
LICSLICS-1988-Meyer #paradigm #semantics
Semantical Paradigms: Notes for an Invited Lecture, with Two Appendices by Stavros S. Cosmadakis (ARM), pp. 236–253.
PLDIPLDI-1987-Pittman #execution #hybrid #interpreter #performance
Two-level hybrid interpreter/native code execution for combined space-time program efficiency (TP), pp. 150–152.
STOCSTOC-1987-DietzS #algorithm #maintenance #order
Two Algorithms for Maintaining Order in a List (PFD, DDS), pp. 365–372.
STOCSTOC-1987-MaassSS #turing machine
Two Tapes Are Better than One for Off-Line Turing Machines (WM, GS, ES), pp. 94–100.
STOCSTOC-1987-Munro
Searching a Two Key Table Under a Single Key (JIM), pp. 383–387.
ESECESEC-1987-CartmellA #database #eclipse #interface
The Eclipse Two-Tier Database Interface (JC, AA), pp. 129–137.
DACDAC-1986-Sasao #generative #multi #named #synthesis #using
MACDAS: multi-level AND-OR circuit synthesis using two-variable function generators (TS), pp. 86–93.
DACDAC-1986-ShinSS #2d
Two-dimensional compaction by “zone refining” (HS, ALSV, CHS), pp. 115–122.
ESOPESOP-1986-Nielson #code generation #correctness #metalanguage
Correctness of Code Generation from a Two-Level Meta-Language (FN), pp. 30–40.
ESOPESOP-1986-NielsonN #aspect-oriented #metalanguage
Pragmatic Aspects of Two-Level Denotational Meta-Languages (HRN, FN), pp. 133–143.
STOCSTOC-1986-AjtaiBHKPRST #bound #branch #source code
Two lower bounds for branching programs (MA, LB, PH, JK, PP, VR, ES, GT), pp. 30–38.
STOCSTOC-1986-Bern #probability
Two Probabilistic Results on Rectilinear Steiner Trees (MWB), pp. 433–441.
STOCSTOC-1986-LuekerMR #difference #linear #programming
Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.
ICALPICALP-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.
SIGIRSIGIR-1986-Fuhr #modelling #probability #retrieval
Two Models of Retrieval with Probabilistic Indexing (NF), pp. 249–257.
DACDAC-1985-Marek-Sadowska #2d #layout
Two-dimensional router for double layer layout (MMS), pp. 117–123.
SIGMODSIGMOD-1985-CliffordT #algebra #database #on the #relational
On An Algebra For Historical Relational Databases: Two Views (JC, AUT), pp. 247–265.
STOCSTOC-1985-FichHRW #bound #infinity #parallel
One, Two, Three … Infinity: Lower Bounds for Parallel Computation (FEF, FMadH, PR, AW), pp. 48–58.
STOCSTOC-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.
STOCSTOC-1985-VaziraniV #problem #scheduling
The Two-Processor Scheduling Problem is in R-NC (UVV, VVV), pp. 11–21.
ICSEICSE-1985-KafuraC #metric #using #validation
A Validation of Software Metrics Using Many Metrics and Two Resources (DGK, JC), pp. 378–385.
ICSEICSE-1985-YellinM #attribute grammar
Two-Way Translators Based on Attribute Grammar Inversion (DMY, EMMM), pp. 36–42.
RTARTA-1985-CosmadakisK #database #equation
Two Applications of Equational Theories to Database Theory (SSC, PCK), pp. 107–123.
RTARTA-1985-Hsiang #proving #term rewriting #theorem proving
Two Results in Term Rewriting Theorem Proving (JH), pp. 301–324.
DACDAC-1984-MarkovFB #2d #optimisation
Optimization techniques for two-dimensional placement (LAM, JRF, JHB), pp. 652–654.
STOCSTOC-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.
SIGIRSIGIR-1984-Bollmann #axiom #evaluation #information retrieval #metric
Two Axioms for Evaluation Measures in Information Retrieval (PB), pp. 233–245.
ICLPILPC-1984-Miklos84 #case study #comparison #logic programming #programming language
A Comparison of two Logic Programming Languages: A Case Study (MS), pp. 41–51.
VLDBVLDB-1983-DasguptaK #concurrent #database #protocol
A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases (PD, ZMK), pp. 92–94.
VLDBVLDB-1983-LinN #multi
Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking (WTKL, JN), pp. 109–119.
STOCSTOC-1983-BorodinDFP #bound #branch #source code
Bounds for Width Two Branching Programs (AB, DD, FEF, WJP), pp. 87–93.
STOCSTOC-1983-DurisGPR #bound
Two Nonlinear Lower Bounds (PD, ZG, WJP, RR), pp. 127–132.
ICALPICALP-1983-SpinradV #2d #morphism #partial order #recognition
Recognition and Isomorphism of Two Dimensional Partial Orders (JPS, JV), pp. 676–686.
DACDAC-1982-ChandrasekharB
Optimum placement of two rectangular blocks (MSC, MAB), pp. 879–886.
DACDAC-1982-CosmaiCMN #2d #interactive
An interactive drafting system based on two dimensional primitives (GC, UC, PM, AN), pp. 521–529.
DACDAC-1982-Hsu #2d #algorithm
A new two-dimensional routing algorithm (CPH), pp. 46–50.
DACDAC-1982-Pinter #on the
On routing two-point nets across a channel (RYP), pp. 894–902.
DACDAC-1982-WieselM #2d #problem
Two-dimensional channel routing and channel intersection problems (MW, DAM), pp. 733–739.
PODSPODS-1982-MenasceN #commit #evaluation #performance #protocol
Performance Evaluation of a Two-Phase Commit Based Protocol for DDBS (DAM, TN), pp. 247–255.
PODSPODS-1982-MohanFS #commutative #protocol
Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.
VLDBVLDB-1982-KedemMS #concurrent #performance #protocol
An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.
STOCSTOC-1982-DurisG #nondeterminism
Two Tapes are Better than One for Nondeterministic Machines (PD, ZG), pp. 1–7.
STOCSTOC-1982-InoueTT #2d #turing machine
Two-Dimensional Alternating Turing Machines (KI, IT, HT), pp. 37–46.
ICGTGG-1982-Staples #evaluation #performance #representation
Two-level expression representation for faster evaluation (JS), pp. 392–404.
ICLPILPC-1982-Blair82
The Undecidability of Two Completeness Notions for the “Negation as Failure” (HAB), pp. 164–168.
ICLPILPC-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.
SIGMODSIGMOD-1981-Lin #concurrent #database #distributed #evaluation #performance
Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System (WTKL), pp. 84–92.
STOCSTOC-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.
ICALPICALP-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.
ICSEICSE-1981-BaerGGR #modelling #protocol #proving #specification
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology (JLB, GG, CG, GR), pp. 363–373.
SOSPSOSP-1981-MitchellD #comparison
A Comparison of Two Network-Based File Servers (JGM, JD), pp. 45–46.
DACDAC-1980-GouldE #array #design #standard
The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.
DACDAC-1980-LuebbertU
Gate assignment and pack placement: Two approaches compared (FL, MU), pp. 472–482.
VLDBVLDB-1980-KedemS #protocol
Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.
STOCSTOC-1980-Tompa80a #algorithm #implementation #polynomial #sublinear #transitive
Two Familiar Transitive Closure Algorithms which Admit No Polynomial Time, Sublinear Space Implementations (MT), pp. 333–338.
SIGIRSIGIR-1980-Bookstein #comparison #retrieval
A Comparison of Two Weighting Schemes for Boolean Retrieval (AB), pp. 23–34.
DACDAC-1979-Goto #2d #algorithm #layout #problem #slicing
A two-dimensional placement algorithm for the master slice LSI layout problem (SG), pp. 11–17.
VLDBVLDB-1979-KawazuMIT #algorithm #concurrent #database #detection #distributed
Two-Phase Deadlock Detection Algorithm in Distributed Databases (SK, SM, KI, KT), pp. 360–367.
VLDBVLDB-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.
ICALPICALP-1979-DembinskiM #equation #two-level grammar
Two Level Grammars: CF-Grammars with Equation Schemes (PD, JM), pp. 171–187.
ICALPICALP-1979-FichB
A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages (FEF, JAB), pp. 230–244.
ICALPICALP-1979-Heide #comparison #game studies #graph
A Comparison Between Two Variations of a Pebble Game on Graphs (FMadH), pp. 411–421.
ICALPICALP-1979-Wegner #approach #decidability #two-level grammar
Bracketed Two-Level Grammars — A Decidable and Practical Approach to Language Definitions (LMW), pp. 668–682.
DACDAC-1978-Haims #2d #on the #problem
On the optimum two-dimensional allocation problem (MJH), pp. 298–304.
SIGMODSIGMOD-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.
STOCSTOC-1978-EngelfrietRS #transducer
Tree Transducers, L Systems and Two-Way Machines (Extended Abstract) (JE, GR, GS), pp. 66–74.
STOCSTOC-1978-SakodaS #automaton #finite #nondeterminism
Nondeterminism and the Size of Two Way Finite Automata (WJS, MS), pp. 275–286.
ICGTGG-1978-Hesse #graph grammar
Two-Level Graph Grammars (WH), pp. 255–269.
ICGTGG-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.
ICGTGG-1978-Pfaltz #2d #graph grammar #network #set
A Graph Grammar that Describes the Set of Two-Dimensional Surface Networks (JLP), pp. 379–388.
DACDAC-1977-NishiokaKN #automation #layout
A minicomputerized automatic layout system for two-layer printed wiring boards (IN, TK, HN), pp. 1–11.
DACDAC-1976-WuS #algorithm #float
A new routing algorithm for two-sided boards with floating vias (WW, DCS), pp. 151–160.
STOCSTOC-1976-Schaefer #complexity #finite #game studies #problem
Complexity of Decision Problems Based on Finite Two-Person Perfect-Information Games (TJS), pp. 41–49.
STOCSTOC-1975-Fredman #probability #sorting
Two Applications of a Probabilistic Search Technique: Sorting x + y and Building Balanced Search Trees (MLF), pp. 240–244.
ICALPICALP-1974-Wijngaarden #generative #power of #two-level grammar
The Generative Power of Two-Level Grammars (AvW), pp. 9–16.
STOCSTOC-1973-Constable #complexity
Type Two Computational Complexity (RLC), pp. 108–121.
STOCSTOC-1971-Rajlich #finite #parallel #transducer
Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers (VR), pp. 132–137.
STOCSTOC-1970-Chang #2d #analysis #using
The Analysis of Two-Dimensional Patterns using Picture Processing Grammars (SKC), pp. 206–216.
SOSPSOSP-1969-Karush #performance
Two approaches for measuring the performance of time-sharing systems (ADK), pp. 159–166.
SOSPSOSP-1969-VarehaRG
Strategies for structuring two level memories in a paging environment (ALV, RMR, MMG), pp. 54–59.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.