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:
use (62)
test (60)
output (56)
system (54)
base (44)

Stem input$ (all stems)

459 papers:

DACDAC-2015-Pomeranz #generative #testing
Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
SIGMODSIGMOD-2015-BaoZJL #interactive #keyword
Exploratory Keyword Search with Interactive Input (ZB, YZ, HVJ, TWL), pp. 871–876.
ESOPESOP-2015-Penninckx0P #behaviour #composition #source code #verification
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.
PLDIPLDI-2015-DingAVSOA #algorithm
Autotuning algorithmic choice for input sensitivity (YD, JA, KV, XS, UMO, SPA), pp. 379–390.
PLDIPLDI-2015-FeserCD #data type
Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.
SASSAS-2015-CattaruzzaASK #analysis #bound
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
CIAACIAA-J-2013-KutribMMPW15 #automaton #decidability #finite #queue
Deterministic input-driven queue automata: Finite turns, decidability, and closure properties (MK, AM, CM, BP, MW), pp. 58–71.
CHICHI-2015-0002FTO #multi
Investigating the Dexterity of Multi-Finger Input for Mid-Air Text Entry (SS, AMF, CT, AO), pp. 3643–3652.
CHICHI-2015-ChanHCYHLC #gesture #named #smarttech
Cyclops: Wearable and Single-Piece Full-Body Gesture Input Devices (LWC, CHH, YLC, SY, DYH, RHL, BYC), pp. 3001–3009.
CHICHI-2015-DobbelsteinHR #named
Belt: An Unobtrusive Touch Input Device for Head-worn Displays (DD, PH, ER), pp. 2135–2138.
CHICHI-2015-KaoDPS #named
NailO: Fingernails as an Input Surface (HLCK, AD, JAP, CS), pp. 3015–3018.
CHICHI-2015-PerelmanSRPDD #2d #3d #design #interactive
The Roly-Poly Mouse: Designing a Rolling Input Device Unifying 2D and 3D Interaction (GP, MS, MR, CP, MD, ED), pp. 327–336.
CHICHI-2015-SavageHHGML #component #named
Lamello: Passive Acoustic Sensing for Tangible Input Components (VS, AH, BH, DBG, GJM, WL), pp. 1277–1280.
CHICHI-2015-TungHWCLWVC #game studies
User-Defined Game Input for Smart Glasses in Public Space (YCT, CYH, HYW, SC, JWL, PJW, AV, MYC), pp. 3327–3336.
CHICHI-2015-VertanenMERK #mobile #named #performance #using
VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keyboard Input (KV, HM, JE, SR, POK), pp. 659–668.
CHICHI-2015-WithanaPSN #gesture #named #recognition #smarttech
zSense: Enabling Shallow Depth Gesture Recognition for Greater Input Expressivity on Smart Wearables (AIW, RLP, NS, SN), pp. 3661–3670.
HCIDUXU-UI-2015-HigashidaI #information retrieval #interface #keyword #smarttech
Keyword Input via Digits: Simplified Smartphone Interface for Information Retrieval (MH, TI), pp. 530–540.
HCIHCI-IT-2015-MullerLBSKSW #bibliography #data-driven #network #predict #using
Using Neural Networks for Data-Driven Backchannel Prediction: A Survey on Input Features and Training Techniques (MM, DL, LB, MS, KK, SS, AW), pp. 329–340.
HCIHCI-IT-2015-MurataMF #modelling #performance
Effects of Target Shape and Display Location on Pointing Performance by Eye-Gaze Input System — Modeling of Pointing Time by Extended Fitts’ Law (AM, MM, DF), pp. 94–106.
HCIHCI-IT-2015-MurataMT #comparison
Optimal Scroll Method for Eye-Gaze Input System — Comparison of R-E and R-S Compatibility (AM, MM, YT), pp. 86–93.
HCIHCI-IT-2015-PoirierB #named
UniWatch — Some Approaches Derived from UniGlyph to Allow Text Input on Tiny Devices Such as Connected Watches (FP, MB), pp. 554–562.
HCIHIMI-IKD-2015-MatsunoAIMM #using
Computer Input System Using Eye Glances (SM, KA, NI, TM, KM), pp. 425–432.
ICMLICML-2015-GalT #approximate #nondeterminism #process #representation
Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.
SACSAC-2015-Gregorio-Rodriguez #consistency #simulation
Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
SACSAC-2015-SoaresMV #multi
Controlling the focus and input events in multimedia applications (LFGS, MFM, ÁLVG), pp. 1278–1284.
ESEC-FSEESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation
Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.
ESEC-FSEESEC-FSE-2015-XiongH0ZZL
Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.
ICSEICSE-v2-2015-Imparato #android #testing #user interface
A Combined Technique of GUI Ripping and Input Perturbation Testing for Android Apps (GI), pp. 760–762.
ASEASE-2014-DingesA #execution #generative #using
Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASEASE-2014-GiannakopoulouHILRR #assurance #testing
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
CASECASE-2014-XueL #finite
Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.
DACDAC-2014-RaoJDBDM #named #performance
VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.
PODSPODS-2014-PaghS #complexity
The input/output complexity of triangle enumeration (RP, FS), pp. 224–233.
FoSSaCSFoSSaCS-2014-AlmagorK #synthesis
Latticed-LTL Synthesis in the Presence of Noisy Inputs (SA, OK), pp. 226–241.
PLDIPLDI-2014-LeAS #compilation #equivalence #validation
Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.
DLTDLT-2014-Gusev #automaton #random
Synchronizing Automata with Random Inputs — (Short Paper) (VVG), pp. 68–75.
DLTDLT-2014-OkhotinS #automaton #nondeterminism
Input-Driven Pushdown Automata with Limited Nondeterminism — (Invited Paper) (AO, KS), pp. 84–102.
ICALPICALP-v1-2014-OstrovskyPV #on the #proving
On Input Indistinguishable Proof Systems (RO, GP, IV), pp. 895–906.
FMFM-2014-KrkaDMU
Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.
CHICHI-2014-BidwellHD #interface
Measuring operator anticipatory inputs in response to time-delay for teleoperated human-robot interfaces (JB, AH, SD), pp. 1467–1470.
CHICHI-2014-CarringtonHK #design #mobile #smarttech
Wearables and chairables: inclusive design of mobile input and output techniques for power wheelchair users (PC, AH, SKK), pp. 3103–3112.
CHICHI-2014-ChapuisBF #development #named
Smarties: an input system for wall display development (OC, AB, SF), pp. 2763–2772.
CHICHI-2014-GilliotCR
Impact of form factors and input conditions on absolute indirect-touch pointing tasks (JG, GC, NR), pp. 723–732.
CHICHI-2014-HeoGL #using
Expanding touch input vocabulary by using consecutive distant taps (SH, JG, GL), pp. 2597–2606.
CHICHI-2014-HuangTTTYCHC #named #using
TouchSense: expanding touchscreen input vocabulary using different areas of users’ finger pads (DYH, MCT, YCT, MLT, YTY, LWC, YPH, MYC), pp. 189–192.
CHICHI-2014-KimIDRKZSLBNBFP #3d #named #physics
RetroDepth: 3D silhouette sensing for high-precision input on and above physical surfaces (DK, SI, JD, CR, CK, CZ, JS, TAL, SB, MN, DAB, SF, VP), pp. 1377–1386.
CHICHI-2014-LuoV
Crossing-based selection with direct touch input (YL, DV), pp. 2627–2636.
CHICHI-2014-McLachlanBB #interactive
Transient and transitional states: pressure as an auxiliary input modality for bimanual interaction (RM, DB, SAB), pp. 401–410.
CHICHI-2014-NicolauMGGH #multi
B#: chord-based correction for multitouch braille input (HN, KM, TJG, JG, VLH), pp. 1705–1708.
CHICHI-2014-ProbstLHSS #gesture #interactive #ubiquitous
A chair as ubiquitous input device: exploring semaphoric chair gestures for focused and peripheral interaction (KP, DL, MH, BS, AS), pp. 4097–4106.
CHICHI-2014-SerranoEI
Exploring the use of hand-to-face input for interacting with head-worn displays (MS, BME, PPI), pp. 3181–3190.
CHICHI-2014-SpindlerSMD #mobile
Pinch-drag-flick vs. spatial input: rethinking zoom & pan on mobile displays (MS, MS, MM, RD), pp. 1113–1122.
CHICHI-2014-WacharamanothamTPB #comprehension
Understanding finger input above desktop devices (CW, KT, MP, JOB), pp. 1083–1092.
CHICHI-2014-WeigelMS #comprehension #how #mobile #people
More than touch: understanding how people use skin as an input surface for mobile computing (MW, VM, JS), pp. 179–188.
CHICHI-2014-XiaoLH #smarttech
Expanding the input expressivity of smartwatches with mechanical pan, twist, tilt and click (RX, GL, CH), pp. 193–196.
HCIDUXU-DI-2014-OgataSMII #smarttech
Augmenting a Wearable Display with Skin Surface as an Expanded Input Area (MO, YS, YM, MI, MI), pp. 606–614.
HCIHCI-AIMT-2014-SchmidtW #gesture #multi #predict
Prediction of Multi-touch Gestures during Input (MS, GW), pp. 158–169.
HCIHCI-AS-2014-DotencoGG #smarttech #using
Smartphone Input Using Its Integrated Projector and Built-In Camera (SD, TG, FG), pp. 124–133.
ICMLICML-c2-2014-SnoekSZA #optimisation
Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.
ICPRICPR-2014-DarvishLS #image
Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.
KRKR-2014-BenferhatT #network #nondeterminism #reasoning
Reasoning with Uncertain Inputs in Possibilistic Networks (SB, KT).
OOPSLAOOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
OOPSLAOOPSLA-2014-ZhouSGY #adaptation #multi #optimisation
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.
POPLPOPL-2014-LongSKR #fault #generative #integer
Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
SACSAC-2014-BeoharM #consistency #testing
Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
SACSAC-2014-GuoQS
Locating fault-inducing patterns from structural inputs (HFG, ZQ, HPS), pp. 1100–1107.
FSEFSE-2014-HuoC #detection #quality #testing
Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.
PPoPPPPoPP-2014-ChiangGRS #fault #float #performance
Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
ICSTICST-2014-KifetewJTOT #grammarware #source code
Reproducing Field Failures for Programs with Complex Grammar-Based Input (FMK, WJ, RT, AO, PT), pp. 163–172.
ICSTICST-2014-PapadakisHT #analysis #combinator #interactive #mutation testing #testing
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing (MP, CH, YLT), pp. 1–10.
ICTSSICTSS-2014-DoganayEAB #embedded #search-based #testing
Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ISSTAISSTA-2014-AlkhalafAB #difference #semantics #validation
Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
ISSTAISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing
Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTAISSTA-2014-MarianiPRS #named #testing #web
Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
ASEASE-2013-KifetewJTOT #approach #grammarware #named #source code
SBFR: A search based approach for reproducing failures of programs with grammar based input (FMK, WJ, RT, AO, PT), pp. 604–609.
ASEASE-2013-ZhangS #automation #query #sql
Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.
DATEDATE-2013-ShafaeiSP #logic #synthesis
Reversible logic synthesis of k-input, m-output lookup tables (AS, MS, MP), pp. 1235–1240.
FASEFASE-2013-BouchouchaSL #behaviour #comprehension #modelling #probability #towards #using
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs (AB, HAS, PL), pp. 99–113.
FASEFASE-2013-CavalcantiH #csp #testing
Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
PLDIPLDI-2013-LiTCS #adaptation #multi #named
SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication (JL, GT, MC, NS), pp. 117–126.
STOCSTOC-2013-ClarksonW #approximate #rank
Low rank approximation and regression in input sparsity time (KLC, DPW), pp. 81–90.
STOCSTOC-2013-HardtW #adaptation #how #linear #question #robust #sketching
How robust are linear sketches to adaptive inputs? (MH, DPW), pp. 121–130.
STOCSTOC-2013-Huang #approximate #satisfiability
Approximation resistance on satisfiable instances for predicates with few accepting inputs (SH), pp. 457–466.
STOCSTOC-2013-MengM #linear #robust
Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (XM, MWM), pp. 91–100.
CIAACIAA-2013-KutribMMPW #automaton #decidability #finite #queue
Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties (MK, AM, CM, BP, MW), pp. 232–243.
CHICHI-2013-FindlaterFFWD #difference #performance
Age-related differences in performance with touchscreens compared to traditional mouse input (LF, JF, KF, JOW, TD), pp. 343–346.
CHICHI-2013-PohlHHVP #interactive #string
An interactive belt-worn badge with a retractable string-based input mechanism (NP, SH, JH, NV, TP), pp. 1465–1468.
CHICHI-2013-SodhiJFBM #3d #collaboration #mobile #named
BeThere: 3D mobile collaboration with spatial input (RS, BRJ, DAF, BPB, GM), pp. 179–188.
CSCWCSCW-2013-VermaRMJD
Complementarity of input devices to achieve knowledge sharing in meetings (HV, FR, SM, PJ, PD), pp. 701–714.
HCIHCI-AMTE-2013-MayasHK #classification #diagrams #process
Extending the Information of Activity Diagrams with a User Input Classification (CM, SH, HK), pp. 391–400.
HCIHCI-IMT-2013-GaoIMM #interface
Study of Eye-Glance Input Interface (DG, NI, TM, KM), pp. 225–234.
HCIHCI-IMT-2013-GuoCCJT #multimodal
Intent Capturing through Multimodal Inputs (WG, CC, MC, YJ, HT), pp. 243–251.
HCIHCI-IMT-2013-KurosawaST
Keyboard Clawing: Input Method by Clawing Key Tops (TK, BS, JT), pp. 272–280.
HCIHCI-IMT-2013-MaWHZ #gesture #interactive
A Method for Single Hand Fist Gesture Input to Enhance Human Computer Interaction (TM, WGW, CYH, XZ), pp. 291–300.
HCIHCI-IMT-2013-MurataHMH #case study #interface #using
Study on Character Input Methods Using Eye-gaze Input Interface (AM, KH, MM, TH), pp. 320–329.
HCIHCI-IMT-2013-MurataHO #estimation #interface
Proposal of Estimation Method of Stable Fixation Points for Eye-gaze Input Interface (AM, TH, KO), pp. 330–339.
HCIHCI-IMT-2013-MurataUH #case study
Study on Cursor Shape Suitable for Eye-gaze Input System (AM, RU, TH), pp. 312–319.
HCIHIMI-D-2013-GhoshJT #empirical #evaluation #interactive #multimodal
Empirical Evaluation of Multimodal Input Interactions (SG, AJ, ST), pp. 37–47.
ICMLICML-c2-2013-AlainO
Gated Autoencoders with Tied Input Weights (AD, OS), pp. 154–162.
ICMLICML-c3-2013-YiZJQJ #clustering #matrix #similarity
Semi-supervised Clustering by Input Pattern Assisted Pairwise Similarity Matrix Completion (JY, LZ, RJ, QQ, AKJ), pp. 1400–1408.
SIGIRSIGIR-2013-JiangJH #fault #how #query
How do users respond to voice input errors?: lexical and phonetic query reformulation in voice search (JJ, WJ, DH), pp. 143–152.
OOPSLAOOPSLA-2013-BerganCG #parallel #source code #thread
Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
OOPSLAOOPSLA-2013-BhattacharyaGN #detection #program analysis
Combining concern input with program analysis for bloat detection (SB, KG, MGN), pp. 745–764.
OOPSLAOOPSLA-2013-Deng0L #detection #performance
Efficient concurrency-bug detection across inputs (DD, WZ, SL), pp. 785–802.
POPLPOPL-2013-BotincanB #learning #specification
Sigma*: symbolic learning of input-output specifications (MB, DB), pp. 443–456.
SACSAC-2013-AnielloQB #data transformation
Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.
SACSAC-2013-ValsomatzisG #in memory #multi
Driver input selection for main-memory multi-way joins (EV, AG), pp. 818–825.
ESEC-FSEESEC-FSE-2013-MachiryTN #android #generative #named
Dynodroid: an input generation system for Android apps (AM, RT, MN), pp. 224–234.
ICSEICSE-2013-LetierH #automaton #modelling #requirements #synthesis
Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.
ICLPICLP-J-2013-JansenJJ #compilation #induction #prolog
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.
ICSTICST-2013-AfshanMS #evolution #natural language #string #testing #using
Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost (SA, PM, MS), pp. 352–361.
ISSTAISSTA-2013-TsankovDB #testing
Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.
ASEASE-2012-SharT #predict #validation #web
Predicting common web application vulnerabilities from input validation and sanitization code patterns (LKS, HBKT), pp. 310–313.
CASECASE-2012-HoerningSWS #analysis #robust #simulation #tool support
Improving discrete event simulation in the emergency department with innovative and robust input analysis tools (SH, JS, TW, LS), pp. 131–136.
CASECASE-2012-Moon
Input shaping control for suppression of boom vibrations (KSM), pp. 782–785.
DACDAC-2012-HuangCBK #consistency #embedded #realtime #runtime
Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.
DATEDATE-2012-Voyiatzis #concurrent #logic #monitoring #multi
Input vector monitoring on line concurrent BIST based on multilevel decoding logic (IV), pp. 1251–1256.
ITiCSEITiCSE-2012-Larraza-MendiluzeGMMRALS
Nintendo® DS projects to learn computer input-output (ELM, NGV, JIM, JM, TRV, ISA, JFL, KS), p. 373.
SCAMSCAM-2012-KargenS #analysis #comprehension #data flow #named
InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries (UK, NS), pp. 138–143.
PLDIPLDI-2012-CoppaDF #profiling
Input-sensitive profiling (EC, CD, IF), pp. 89–98.
PLDIPLDI-2012-SamadiHMLM #adaptation #compilation
Adaptive input-aware compilation for graphics engines (MS, AH, MM, JL, SAM), pp. 13–22.
CHICHI-2012-CasiezRV #interactive
1 € filter: a simple speed-based low-pass filter for noisy input in interactive systems (GC, NR, DV), pp. 2527–2530.
CHICHI-2012-EvansW #behaviour #metric
Taming wild behavior: the input observer for text entry and mouse pointing measures from everyday computer use (AE, JOW), pp. 1947–1956.
CHICHI-2012-FindlaterLW #gesture #multi
Beyond QWERTY: augmenting touch screen keyboards with multi-touch gestures for non-alphanumeric input (LF, BL, JOW), pp. 2679–2682.
CHICHI-2012-FindlaterW #adaptation #automation #personalisation #type system
Personalized input: improving ten-finger touchscreen typing through automatic adaptation (LF, JOW), pp. 815–824.
CHICHI-2012-FrauenbergerGKP #approach
Interpreting input from children: a designerly approach (CF, JG, WKB, HP), pp. 2377–2386.
CHICHI-2012-GhomiFHCB #using
Using rhythmic patterns as an input method (EG, GF, SH, OC, MBL), pp. 1253–1262.
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-HasanYBI #coordination #interactive
A-coord input: coordinating auxiliary input streams for augmenting contextual pen-based interactions (KH, XDY, AB, PI), pp. 805–814.
CHICHI-2012-KratzMS #gesture
Making gestural input from arm-worn inertial sensors more practical (LK, DM, TSS), pp. 1747–1750.
CHICHI-2012-LeeLLLHP #evaluation #performance
Evaluation of human tangential force input performance (BL, HL, SCL, HL, SH, JP), pp. 3121–3130.
CHICHI-2012-SoloveySSSFJ #interactive #named #streaming
Brainput: enhancing interactive systems with streaming fnirs brain input (ETS, PWS, MS, AS, SF, RJKJ), pp. 2193–2202.
SACSAC-2012-ScholteRBK #analysis #empirical #validation #web
An empirical analysis of input validation mechanisms in web applications and languages (TS, WKR, DB, EK), pp. 1419–1426.
FSEFSE-2012-ZaeemK #generative #programming #using
Test input generation using dynamic programming (RNZ, SK), p. 34.
ICSEICSE-2012-AlkhalafBG #analysis #string #using #validation #verification
Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.
ICSEICSE-2012-Bohme #clustering
Software regression as change of input partitioning (MB), pp. 1523–1526.
ICSEICSE-2012-LongGCSR #automation
Automatic input rectification (FL, VG, MC, SS, MCR), pp. 80–90.
ICSEICSE-2012-SharT #injection #mining #predict #sql
Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities (LKS, HBKT), pp. 1293–1296.
CAVCAV-2012-SinghG
Synthesizing Number Transformations from Input-Output Examples (RS, SG), pp. 634–651.
ICSTICST-2012-BallanceVJ #effectiveness #testing
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.
ICSTICST-2012-McMinnSS #data type #generative #query #search-based #string #using #web
Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
ISSTAISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string #validation
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
ASEASE-2011-Groce #adaptation #generative #programming
Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
ASEASE-2011-KhalekNK #constraints #generative
Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASEASE-2011-PanWX #database #generative #testing
Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
DATEDATE-2011-LiuV #analysis #generative #performance #source code #validation
Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
ICDARICDAR-2011-ZouLLW #mobile
Overlapped Handwriting Input on Mobile Phones (YZ, YL, YL, KW), pp. 369–373.
FoSSaCSFoSSaCS-2011-VelnerR #problem #synthesis
Church Synthesis Problem for Noisy Input (YV, AR), pp. 275–289.
STOCSTOC-2011-FeigeT #design #nondeterminism
Mechanism design with uncertain inputs: (to err is human, to forgive divine) (UF, MT), pp. 549–558.
CIAACIAA-2011-Buchnik #algorithm #multi #named #string
Bouma2 — A High-Performance Input-Aware Multiple String-Match Algorithm (EB), pp. 53–64.
CIAACIAA-2011-HolzerK #automaton #finite
Gaining Power by Input Operations: Finite Automata and Beyond (MH, MK), pp. 16–29.
CHICHI-2011-AshbrookBW #mobile #named
Nenya: subtle and eyes-free mobile input with a magnetically-tracked finger ring (DA, PB, SW), pp. 2043–2046.
CHICHI-2011-KarrerWLHB #interactive #named
Pinstripe: eyes-free continuous input on interactive clothing (TK, MW, LL, FH, JOB), pp. 1313–1322.
CHICHI-2011-PazminoL #case study #mobile
An exploratory study of input modalities for mobile devices used with museum exhibits (PJP, LL), pp. 895–904.
CHICHI-2011-RoudautPB
Touch input on curved surfaces (AR, HP, PB), pp. 1011–1020.
CHICHI-2011-SporkaFKPHM #named #predict #using
CHANTI: predictive text entry using non-verbal vocal input (AJS, TF, SHK, OP, PH, ISM), pp. 2463–2472.
CHICHI-2011-WacharamanothamHMKSB
Evaluating swabbing: a touchscreen input method for elderly users with tremor (CW, JH, AM, MK, CMS, JOB), pp. 623–626.
CHICHI-2011-YoshizakiSCHIIAKKM #physics
An actuated physical puppet as an input device for controlling a digital manikin (WY, YS, ACC, SH, MI, TI, YA, KK, SK, MM), pp. 637–646.
HCIHCI-ITE-2011-KimiokaST #multi #using
Niboshi for Slate Devices: A Japanese Input Method Using Multi-touch for Slate Devices (GK, BS, JT), pp. 81–89.
HCIHIMI-v1-2011-OhoriSNI #analysis
Construction of a Model for Discriminating between Electroencephalographic Patterns at the Time of Incorrect Inputs Based on Sensitivity Spectrum Analysis (RO, DS, YN, SI), pp. 618–626.
HCIIDGD-2011-WuCCL #design #evaluation #novel
Design and Evaluation of a Novel Trackball Input Device for Middle-Aged Users (FGW, JC, CHC, LRL), pp. 228–237.
KEODKEOD-2011-KohnMSL #complexity #ontology
Use of Existing Ontologies as Input for Structural Complexity Management — Reducing the Effort for Analysing and Improving Engineering Systems (AK, MM, HXS, UL), pp. 195–201.
OOPSLAOOPSLA-2011-TianZS #integration #optimisation #towards
A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.
POPLPOPL-2011-Gulwani #automation #spreadsheet #string #using
Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.
ICSTICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
TAPTAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
ASEASE-2010-ManiSDS #automation #fault
Automated support for repairing input-model faults (SM, VSS, PD, SS), pp. 195–204.
ASEASE-2010-TanejaLMXT #multi #named #testing #validation #web
MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.
DACDAC-2010-GajskiAS #question #synthesis #what
What input-language is the best choice for high level synthesis (HLS)? (DG, TMA, SS), pp. 857–858.
DRRDRR-2010-ZhuL #online #recognition
A combined recognition system for online handwritten Pinyin input (MZ, CL), pp. 1–10.
ITiCSEITiCSE-2010-Larraza-MendiluzeG #game studies #learning #process #topic #using
Changing the learning process of the input/output topic using a game in a portable console (ELM, NGV), p. 316.
DLTDLT-2010-Maletti #top-down #transducer
Input Products for Weighted Extended Top-Down Tree Transducers (AM), pp. 316–327.
SEFMSEFM-2010-GallerWW #contract #design
Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
CHICHI-2010-HarrisonTM #named
Skinput: appropriating the body as an input surface (CH, DST, DM), pp. 453–462.
CHICHI-2010-HolzB #how
The generalized perceived input point model and how to double touch accuracy by extracting fingerprints (CH, PB), pp. 581–590.
CHICHI-2010-LeeKJCKJKL #how
How users manipulate deformable displays as input devices (SSL, SK, BJ, EC, BK, XJ, DK, KPL), pp. 1647–1656.
CHICHI-2010-LucaHH #named
ColorPIN: securing PIN entry through indirect input (ADL, KH, HH), pp. 1103–1106.
CHICHI-2010-SchwarzHHM #mobile #multi
Cord input: an intuitive, high-accuracy, multi-degree-of-freedom input method for mobile devices (JS, CH, SEH, JM), pp. 1657–1660.
CHICHI-2010-StewartRKE #mobile
Characteristics of pressure-based input for mobile devices (CDS, MR, SGK, GE), pp. 801–810.
CHICHI-2010-TuddenhamKI #multi
Graspables revisited: multi-touch vs. tangible input for tabletop displays in acquisition and manipulation tasks (PT, DSK, SI), pp. 2223–2232.
CHICHI-2010-WangZC #gesture #mobile #named #predict #problem
SHRIMP: solving collision and out of vocabulary problems in mobile predictive input with motion gesture (JW, SZ, JFC), pp. 15–24.
KDIRKDIR-2010-AddisAV #categorisation
Assessing Progressive Filtering to Perform Hierarchical Text Categorization in Presence of Input Imbalance (AA, GA, EV), pp. 14–23.
SEKESEKE-2010-Wang #black box #parametricity #testing #using
Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.
OOPSLAOOPSLA-2010-TianJZS #optimisation #paradigm
An input-centric paradigm for program dynamic optimizations (KT, YJ, EZZ, XS), pp. 125–139.
SACSAC-2010-KimHJEY #framework #pipes and filters
Harnessing input redundancy in a MapReduce framework (SGK, HH, HJ, HE, HYY), pp. 362–366.
SACSAC-2010-Kuzume #using
Input device for disabled persons using expiration and tooth-touch sound signals (KK), pp. 1159–1164.
PPoPPPPoPP-2010-AleenSP #execution #predict #streaming
Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.
PPoPPPPoPP-2010-YangXKZ #compilation #optimisation #source code
An optimizing compiler for GPGPU programs with input-data sharing (YY, PX, JK, HZ), pp. 343–344.
ISSTAISSTA-2010-CarbinR #automation #identification
Automatically identifying critical input regions and code in applications (MC, MCR), pp. 37–48.
ASEASE-2009-BookBGH #interface #internet #specification
Specification and Control of Interface Responses to User Input in Rich Internet Applications (MB, TB, VG, MH), pp. 321–331.
ASEASE-2009-HanWM #code completion
Code Completion from Abbreviated Input (SH, DRW, RCM), pp. 332–343.
CASECASE-2009-MitraS #automaton #composition #hybrid
Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
DACDAC-2009-TsaiH
A false-path aware formal static timing analyzer considering simultaneous input transitions (ST, CYH), pp. 25–30.
DATEDATE-2009-CongG #energy #multi #performance #scheduling
Energy efficient multiprocessor task scheduling under input-dependent variation (JC, KG), pp. 411–416.
TACASTACAS-2009-VanoverbergheTP #generative #pointer #source code
Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.
CSMRCSMR-2009-NagyM #analysis #fault #security
Static Security Analysis Based on Input-Related Software Faults (CN, SM), pp. 37–46.
STOCSTOC-2009-DodisKL #encryption #on the
On cryptography with auxiliary input (YD, YTK, SL), pp. 621–630.
CHICHI-2009-BlanchO #concurrent #performance
Rake cursor: improving pointing performance with concurrent input channels (RB, MO), pp. 1415–1418.
CHICHI-2009-LawA #game studies #named #using
Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.
CHICHI-2009-PatelARNDP #case study #comparative #interface #speech
A comparative study of speech and dialed input voice interfaces in rural India (NP, SKA, NR, AAN, PD, TSP), pp. 51–54.
CHICHI-2009-RahmanGIS
Tilt techniques: investigating the dexterity of wrist-based input (MR, SG, PI, SS), pp. 1943–1952.
CHICHI-2009-RoudautLG #named
MicroRolls: expanding touch-screen input vocabulary by distinguishing rolls vs. slides of the thumb (AR, EL, YG), pp. 927–936.
CHICHI-2009-VogelCCBK
Hand occlusion with tablet-sized direct pen input (DV, MC, GC, RB, LK), pp. 557–566.
CHICHI-2009-WangR #empirical #evaluation #interactive #multi
Empirical evaluation for finger input properties in multi-touch interaction (FW, XR), pp. 1063–1072.
HCIHCI-AUII-2009-JiK #named #using
CLURD: A New Character-Inputting System Using One 5-Way Key Module (HJ, TK), pp. 39–47.
HCIHCI-AUII-2009-YamamotoOW #speech #video
Video Content Production Support System with Speech-Driven Embodied Entrainment Character by Speech and Hand Motion Inputs (MY, KO, TW), pp. 358–367.
HCIHCI-NIMT-2009-AmftASST #gesture
Gesture-Controlled User Input to Complete Questionnaires on Wrist-Worn Watches (OA, RA, AS, DPS, GT), pp. 131–140.
HCIHCI-NIMT-2009-ChangW #gesture
The Gestural Input System for Living Room Digital Devices (WSC, FGW), pp. 151–160.
HCIHCI-NIMT-2009-ChenN #named #scalability
VTouch: A Vision-Base Dual Finger Touched Inputs for Large Displays (CHC, CXN), pp. 426–434.
HCIHCI-NIMT-2009-NisimuraMKI #development #interactive #speech
Development of Speech Input Method for Interactive VoiceWeb Systems (RN, JM, HK, TI), pp. 710–719.
HCIHIMI-DIE-2009-GarciaV #performance
Effects of Practice with Foot- and Hand-Operated Secondary Input Devices on Performance of a Word-Processing Task (FPG, KPLV), pp. 505–514.
HCIHIMI-II-2009-YoshidaH #chat #multi
Input Text Repairing for Multi-lingual Chat System (KY, FH), pp. 210–217.
CGOCGO-2009-BerubeAHS #multi #optimisation #reduction
Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.
CGOCGO-2009-MaoS #evolution #learning #predict #virtual machine
Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines (FM, XS), pp. 92–101.
CAVCAV-2009-MajumdarX #testing #using
Reducing Test Inputs Using Information Partitions (RM, RGX), pp. 555–569.
ICSTICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using
Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
ICSTICST-2009-HalfondCO #identification #testing
Penetration Testing with Improved Input Vector Identification (WGJH, SRC, AO), pp. 346–355.
ICSTICST-2009-SiddiquiK #generative #named #parallel #testing
PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
ISSTAISSTA-2009-ClauseO #automation #identification #named #using
Penumbra: automatically identifying failure-relevant inputs using dynamic tainting (JAC, AO), pp. 249–260.
CASECASE-2008-Andoh #identification #using
Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs (FA), pp. 265–272.
DACDAC-2008-AlkabaniMKP #variability
Input vector control for post-silicon leakage current minimization in the presence of manufacturing variability (YA, TM, FK, MP), pp. 606–609.
DATEDATE-2008-AmelifardHFP #logic #multi #stack
A Current Source Model for CMOS Logic Cells Considering Multiple Input Switching and Stack Effect (BA, SH, HF, MP), pp. 568–573.
SCAMSCAM-2008-ScholzZC #analysis #dependence #graph #reachability
User-Input Dependence Analysis via Graph Reachability (BS, CZ, CC), pp. 25–34.
LATALATA-2008-BenschBHK #automaton #finite
Deterministic Input-Reversal and Input-Revolving Finite Automata (SB, HB, MH, MK), pp. 113–124.
CHICHI-2008-ForlinesB #feedback
Evaluating tactile feedback and direct vs. indirect stylus input in pointing and crossing selection tasks (CF, RB), pp. 1563–1572.
CHICHI-2008-KarlsonB #legacy
One-handed touchscreen input for legacy applications (AKK, BBB), pp. 1399–1408.
CHICHI-2008-KimKLNL #feedback
Inflatable mouse: volume-adjustable mouse with air-pressure-sensitive input and haptic feedback (SK, HK, BL, TJN, WL), pp. 211–224.
CHICHI-2008-MoscovichH #multi #using
Indirect mappings of multi-touch input using one and two hands (TM, JFH), pp. 1275–1284.
CHICHI-2008-Muller-TomfeldeS #collaboration #difference #multi
Touchers and mousers: commonalities and differences in co-located collaboration with multiple input devices (CMT, CS), pp. 1149–1152.
CHICHI-2008-Murray-SmithWHQ #named
Stane: synthesized surfaces for tactile input (RMS, JW, SH, TQ), pp. 1299–1302.
CHICHI-2008-ShiIGS #named
PressureFish: a method to improve control of discrete pressure-based input (KS, PI, SG, SS), pp. 1295–1298.
CHICHI-2008-ZhaiK #flexibility #visual notation
Interlaced QWERTY: accommodating ease of visual search and input flexibility in shape writing (SZ, POK), pp. 593–596.
CSCWCSCW-2008-HorneckerMDR #collaboration
Collaboration and interference: awareness with mice or touch input (EH, PM, NSD, YR), pp. 167–176.
CSCWCSCW-2008-WallaceMI
Comparing content and input redirection in MDEs (JRW, RLM, KMI), pp. 157–166.
ICEISICEIS-HCI-2008-LevisHB #empirical #validation
Form Input Validation — An Empirical Study on Irish Corporate Websites (ML, MH, MB), pp. 148–153.
LOPSTRLOPSTR-2008-DegraveSV #automation #generative #testing
Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
PADLPADL-2008-KoopmanAP #modelling #navigation #testing #web
Model-Based Testing of Thin-Client Web Applications and Navigation Input (PWMK, PA, RP), pp. 299–315.
FSEFSE-2008-LinZ #execution
Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.
ISSTAISSTA-2008-WassermannYCDIS #generative #web
Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
FATESTestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing
Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.
VMCAIVMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code
Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.
ASEASE-2007-YuanCM #array #automation #sequence #testing #user interface
Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.
DATEDATE-2007-JayakumarK #algorithm
An algorithm to minimize leakage through simultaneous input vector control and circuit modification (NJ, SPK), pp. 618–623.
DATEDATE-2007-MamagkakisSC #design #middleware #optimisation #protocol
Middleware design optimization of wireless protocols based on the exploitation of dynamic input patterns (SM, DS, FC), pp. 1036–1041.
DATEDATE-2007-PomeranzR #generative #on the #testing
On test generation by input cube avoidance (IP, SMR), pp. 522–527.
DATEDATE-2007-WangLHLYX #modelling #performance
Temperature-aware NBTI modeling and the impact of input vector control on performance degradation (YW, HL, KH, RL, HY, YX), pp. 546–551.
ICDARICDAR-2007-TonouchiK #mobile #online #recognition #using
Text Input System Using Online Overlapped Handwriting Recognition for Mobile Devices (YT, AK), pp. 754–758.
SCAMSCAM-2007-NaylorR
Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.
CHICHI-2007-BirnholtzGMB #case study #process #scalability #using
An exploratory study of input configuration and group process in a negotiation task using a large display (JPB, TG, CM, RB), pp. 91–100.
CHICHI-2007-CechanowiczIS
Augmenting the mouse with pressure sensitive input (JC, PI, SS), pp. 1385–1394.
CHICHI-2007-ForlinesWSB
Direct-touch vs. mouse input for tabletop displays (CF, DW, CS, RB), pp. 647–656.
CHICHI-2007-RamosCBB #lens
Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.
CHICHI-2007-ZhaoDCBB #feedback #named #using
Earpod: eyes-free menu selection using touch input and reactive audio feedback (SZ, PD, MHC, RB, PB), pp. 1395–1404.
HCIDHM-2007-ZhengB #approach #modelling #navigation
An Integrated Approach for Reconstructing Surface Models of the Proximal Femur from Sparse Input Data for Surgical Navigation (GZ, MÁGB), pp. 767–775.
HCIHCI-IPT-2007-RichardsDP #mobile
Developing a Motion-Based Input Model for Mobile Devices (MR, TD, BP), pp. 470–479.
HCIHCI-IPT-2007-SongKPPJ #design
Designing Input Method of Hand-Held Device with International User Studies (SS, JK, WP, BP, HJ), pp. 480–485.
HCIHCI-MIE-2007-Hashimi #interactive
Preferences and Patterns of Paralinguistic Voice Input to Interactive Media (SAH), pp. 3–12.
HCIHCI-MIE-2007-SunCSC #algorithm #gesture #integration #interface #natural language
An Input-Parsing Algorithm Supporting Integration of Deictic Gesture in Natural Language Interface (YS, FC, Y(S, VC), pp. 206–215.
HCIHIMI-IIE-2007-KomischkeH #concept #industrial #process #user interface
Coping with Information Input Overload: User Interface Concepts for Industrial Process Control (TK, LEH), pp. 918–928.
HCIHIMI-MTT-2007-SakuradaHON #interface #online #recognition #using
A Japanese Text Input Interface Using On-Line Writing-Box-Free Handwriting Recognition and Kana-to-Kanji Conversion (TS, YH, HO, MN), pp. 940–949.
ICEISICEIS-DISI-2007-PapatheocharousA #estimation #network #using
Software cost estimation using artificial neural networks with inputs selection (EP, ASA), pp. 398–407.
MLDMMLDM-2007-MendezCGRD #performance
Analyzing the Performance of Spam Filtering Methods When Dimensionality of Input Vector Changes (JRM, BC, DGP, FFR, FD), pp. 364–378.
SEKESEKE-2007-FerriGP #approach #human-computer #interactive #multimodal
An Approach to Multimodal Input Interpretation in Human-Computer Interaction (FF, PG, SP), pp. 664–669.
SEKESEKE-2007-KuoSSTZ #random testing #source code #testing
Enhanced Random Testing for Programs with High Dimensional Input Domains (FCK, KYS, CaS, SFT, ZZ), pp. 135–140.
ECOOPECOOP-2007-ElkarabliehZK #generative
Efficiently Generating Structurally Complex Inputs with Thousands of Objects (BE, YZ, SK), pp. 248–272.
SACSAC-2007-KuoCLC #adaptation #random testing #testing
Enhancing adaptive random testing in high dimensional input domains (FCK, TYC, HL, WKC), pp. 1467–1472.
ESEC-FSEESEC-FSE-2007-HarmanHLMW #generative #reduction #search-based #testing
The impact of input domain reduction on search-based test data generation (MH, YH, KL, PM, JW), pp. 155–164.
ICSEICSE-2007-GrundyH #diagrams #sketching #visual notation
Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.
ICSEICSE-2007-MilicevicMMK #generative #named #testing
Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.
SOSPSOSP-2007-CostaCZZP #named
Bouncer: securing software by blocking bad input (MC, MC, LZ, LZ, MP), pp. 117–130.
ICLPICLP-2007-BaralDT #information management #natural language #prolog #set #towards
Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs (CB, JD, LT), pp. 1–21.
ISSTAISSTA-2007-EmmiMS #database #generative
Dynamic test input generation for database applications (ME, RM, KS), pp. 151–162.
FATESTestCom-FATES-2007-HaarJJ #automaton #partial order #testing
Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.
DACDAC-2006-AminKMKC #library #multi
A multi-port current source model for multiple-input switching effects in CMOS library cells (CSA, CVK, NM, KK, EC), pp. 247–252.
DACDAC-2006-ChengDCW #algorithm #generative #performance #power management #reduction
A fast simultaneous input vector generation and gate replacement algorithm for leakage power reduction (LC, LD, DC, MDFW), pp. 117–120.
DACDAC-2006-SinghMPO #nondeterminism #runtime
Gain-based technology mapping for minimum runtime leakage under input vector uncertainty (AKS, MM, RP, MO), pp. 522–527.
DATEDATE-2006-SridharanC #modelling #multi #using
Modeling multiple input switching of CMOS gates in DSM technology using HDMR (JS, TC), pp. 626–631.
DATEDATE-DF-2006-SaponaraT #design
Mixed-signal design of a digital input power amplifier for automotive audio applications (SS, PT), pp. 212–216.
ICSMEICSM-2006-LiuT #approach #comprehension #maintenance #validation
An Approach to Aid the Understanding and Maintenance of Input Validation (HL, HBKT), pp. 370–379.
ICSMEICSM-2006-NgoT #fault #maintenance
A Method to Aid Recovery and Maintenance of the Input Error Correction Features (MNN, HBKT), pp. 360–369.
FMFM-2006-LarsenNW #automaton #interface
Interface Input/Output Automata (KGL, UN, AW), pp. 82–97.
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-ProschowskySJ
An intuitive text input method for touch wheels (MP, NS, NEJ), pp. 467–470.
CHICHI-2006-WangXXWZDZ #game studies #video
Face-tracking as an augmented input in video games: enhancing presence, role-playing and control (SW, XX, YX, CW, WZ, XD, DZ), pp. 1097–1106.
CIKMCIKM-2006-VardeRRBMS #clustering #design #semantics
Designing semantics-preserving cluster representatives for scientific input conditions (ASV, EAR, CR, DCB, MM, RDSJ), pp. 708–717.
ICMLICML-2006-TingDS
Bayesian regression with input noise for high dimensional data (JAT, AD, SS), pp. 937–944.
ICPRICPR-v3-2006-BianchiniMS #locality #network #recursion #using
Object Localization Using Input/Output Recursive Neural Networks (MB, MM, LS), pp. 95–98.
ICPRICPR-v4-2006-NeubertF #visual notation
Direct Mapping of Visual Input to Motor Torques (JJN, NJF), pp. 634–638.
SACSAC-2006-DoyleB #effectiveness #interactive #mobile #speech
Combining speech and pen input for effective interaction in mobile geospatial environments (JD, MB), pp. 1182–1183.
ICSEICSE-2006-YangBC #estimation #integration #off the shelf #using
Assessing COTS integration risk using cost estimation inputs (YY, BWB, BC), pp. 431–438.
CGOCGO-2006-KimSMP #2d #branch #detection #named #set
2D-Profiling: Detecting Input-Dependent Branches with a Single Input Data Set (HK, MAS, OM, YNP), pp. 159–172.
FATESFATES-RV-2006-Osch #consistency #generative #hybrid #testing
Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.
ISSTAISSTA-2006-VisserPP #generative #java #using
Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
MBTMBT-2006-BourdonovKK #consistency #testing
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.
ICSTSAT-2006-Gelder #metric #proving
Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.
ASEASE-2005-CoppitL #generative #named #testing
yagg: an easy-to-use generator for structured test inputs (DC, JL), pp. 356–359.
ASEASE-2005-VisserPP #abstraction #generative #using
Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.
DATEDATE-2005-KumarLTW #multi #probability #process #statistics
A Probabilistic Collocation Method Based Statistical Gate Delay Model Considering Process Variations and Multiple Input Switching (YSK, JL, CT, JMW), pp. 770–775.
ICDARICDAR-2005-GeGZC #online #recognition
Online Chinese Character Recognition System with Handwritten Pinyin Input (YG, FJG, LXZ, QSC), pp. 1265–1269.
ITiCSEITiCSE-2005-MedeirosDGM #programming #using
Using a PC simulator to illustrate input-output programming techniques (PDM, VD, MCG, RFM), p. 388.
STOCSTOC-2005-BenjaminiSW
Balanced boolean functions that can be evaluated so that every input bit is unlikely to be read (IB, OS, DBW), pp. 244–250.
DLTDLT-2005-BordihnHK #automaton #finite
Revolving-Input Finite Automata (HB, MH, MK), pp. 168–179.
CHICHI-2005-HornbaekF #development #problem #usability
Comparing usability problems and redesign proposals as input to practical systems development (KH, EF), pp. 391–400.
CHICHI-2005-HudsonMS #tool support
Extensible input handling in the subArctic toolkit (SEH, JM, IES), pp. 381–390.
SEKESEKE-2005-ChenKZ #adaptation #effectiveness #on the #random testing #testing
On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing (TYC, FCK, ZZ), pp. 306–311.
ECOOPECOOP-2005-PachecoE #automation #classification #generative #named #testing
Eclat: Automatic Generation and Classification of Test Inputs (CP, MDE), pp. 504–527.
SACSAC-2005-Lopresti #evaluation #performance
Performance evaluation for text processing of noisy inputs (DPL), pp. 759–763.
ICSTSAT-2005-Gelder #bound #distance #proving
Input Distance and Lower Bounds for Propositional Resolution Proof Length (AVG), pp. 282–293.
ASEASE-2004-JiXCHCM #fault #statistics
A Statistical Model to Locate Faults at Input Level (JW, XxJ, CL, HyY, CL, MJ), pp. 274–277.
DACDAC-2004-AgarwalDB #multi #statistics
Statistical gate delay model considering multiple input switching (AA, FD, DB), pp. 658–663.
DACDAC-2004-ChopraV #algorithm #pseudo
Implicit pseudo boolean enumeration algorithms for input vector control (KC, SBKV), pp. 767–772.
DACDAC-2004-SilveiraP #algorithm #network #reduction
Exploiting input information in a model reduction algorithm for massively coupled parasitic networks (LMS, JRP), pp. 385–388.
DATEDATE-v1-2004-NagariN #algorithm #multi
A 2.7V 350muW 11-b Algorithmic Analog-to-Digital Converter with Single-Ended Multiplexed Inputs (AN, GN), pp. 76–81.
DLTDLT-2004-BordihnHK #automaton #geometry
Input Reversals and Iterated Pushdown Automata: A New Characterization of Khabbaz Geometric Hierarchy of Languages (HB, MH, MK), pp. 102–113.
ICALPICALP-2004-Rytter #algorithm #encoding #string
Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input (WR), pp. 15–27.
SEFMSEFM-2004-LiYW #distributed #multi #testing
Distributed Testing of Multi Input/Output Transition System (ZL, XY, JW), pp. 271–280.
CHICHI-2004-IngmarssonDZ #named
TNT: a numeric keypad based text input method (MI, DD, SZ), pp. 639–646.
CHICHI-2004-KlemmerLLL #named #tool support
Papier-Mache: toolkit support for tangible input (SRK, JL, JL, JAL), pp. 399–406.
CHICHI-2004-WigdorB #comparison #concurrent #mobile
A comparison of consecutive and concurrent input text entry techniques for mobile phones (DW, RB), pp. 81–88.
ICPRICPR-v4-2004-OuelletH #geometry #image #quality #tool support
Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images (JNO, PH), pp. 80–83.
LOPSTRLOPSTR-2004-Rao #logic programming #source code
Input-Termination of Logic Programs (MRKKR), pp. 215–230.
LOPSTRPDCL-2004-BossiCER #declarative #logic programming #semantics #source code
Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.
LDTALDTA-2004-BegelG #ambiguity #analysis #tool support
Language Analysis and Tools for Ambiguous Input Streams (AB, SLG), pp. 75–96.
LCTESLCTES-2004-GuoBN #compilation #configuration management #hardware #reuse
Input data reuse in compiling window operations onto reconfigurable hardware (ZG, BB, WAN), pp. 249–256.
ICTSSTestCom-2004-LiWY #multi #testing
Testing Multi Input/Output Transition System with All-Observer (ZL, JW, XY), pp. 95–111.
ICDARICDAR-2003-KameyaMO #online #sequence #verification
Figure-Based Writer Verification by Matching between an Arbitrary Part of Registered Sequence and an Input Sequence Extracted from On-Line Handwritten Figures (HK, SM, RO), pp. 985–989.
ICALPICALP-2003-HoyerMW #bound #quantum
Quantum Search on Bounded-Error Inputs (PH, MM, RdW), pp. 291–299.
CHICHI-2003-GrossmanBS #interface #using
An interface for creating and manipulating curves using a high degree-of-freedom curve input device (TG, RB, KS), pp. 185–192.
SIGIRSIGIR-2003-LevinCS #effectiveness #query
Assessing the effectiveness of pen-based input queries (SL, PDC, MS), pp. 437–438.
FATESFATES-2003-GuoHHD #algorithm #search-based #sequence #using
Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.
ICTSSTestCom-2003-En-NouaaryD #automaton #testing
A Guided Method for Testing Timed Input Output Automata (AEN, RD), pp. 211–225.
ICTSSTestCom-2003-PetrenkoYH #testing
Testing Transition Systems with Input and Output Testers (AP, NY, JH), pp. 129–145.
ASEASE-2002-VisvanathanG #generative #pointer #testing
Generating Test Data for Functions with Pointer Inputs (SV, NG), p. 149–?.
DACDAC-2002-ShimizuD #generative #metric #simulation #specification
Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.
DATEDATE-2002-VanasscheGS #behaviour #matrix #modelling #using
Constructing Symbolic Models for the Input/Output Behavior of Periodically Time-Varying Systems Using Harmonic Transfer Matrices (PV, GGEG, WMCS), pp. 279–284.
VLDBVLDB-2002-IlyasAE
Joining Ranked Inputs in Practice (IFI, WGA, AKE), pp. 950–961.
WCREWCRE-2002-TanT #fault #program analysis #transaction #verification
Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.
CIAACIAA-J-2000-Mohri02 #algorithm #transducer
Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.
IFLIFL-2002-VervoortP #functional #lazy evaluation
Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.
ICMLICML-2002-KondorL #graph #kernel
Diffusion Kernels on Graphs and Other Discrete Input Spaces (RK, JDL), pp. 315–322.
SIGIRSIGIR-2002-FengZP #approach #database #music #query #scalability
A hierarchical approach: query large music database by acoustic input (YF, YZ, YP), pp. 441–442.
ICSEICSE-2002-Wong
Use of software inspection inputs in practice (YKW), pp. 725–726.
DACDAC-2001-WangRLJ #adaptation #design #energy #optimisation #performance
Input Space Adaptive Design: A High-level Methodology for Energy and Performance Optimization (WW, AR, GL, NKJ), pp. 738–743.
DATEDATE-2001-BekooijEWB #behaviour #functional
Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
VLDBVLDB-2001-NatsevCSLV #incremental #query
Supporting Incremental Join Queries on Ranked Inputs (AN, YCC, JRS, CSL, JSV), pp. 281–290.
STOCSTOC-2001-MostefaouiRR #distributed
Conditions on input vectors for consensus solvability in asynchronous distributed systems (AM, SR, MR), pp. 153–162.
CHICHI-2001-JamesR #mobile #performance #predict
Text input for mobile devices: comparing model prediction to actual performance (CLJ, KMR), pp. 365–371.
CHICHI-2001-WangZS
Chinese input with keyboard and eye-tracking: an anatomical study (JW, SZ, HS), pp. 349–356.
SEKESEKE-2001-TanTL #design #fault #transaction
Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.
SACSAC-2001-AnconaLR
Context and location aware textual data input (MA, SL, AR), pp. 425–428.
SACSAC-2001-MinFO #adaptation #analysis #network
Analysis of adaptive wormhole-routed torus networks with IPP input traffic (GM, JDF, MOK), pp. 494–498.
ICALPICALP-2000-Konig #mobile #process #type system
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System (BK0), pp. 403–414.
CHICHI-2000-FrohlichP #3d #polynomial
The cubic mouse: a new device for three-dimensional input (BF, JP), pp. 526–531.
CHICHI-2000-MyersLY #using
Two-handed input using a PDA and a mouse (BAM, KPL, BCY), pp. 41–48.
ICMLICML-2000-WilliamsS #classification #kernel
The Effect of the Input Density Distribution on Kernel-based Classifiers (CKIW, MWS), pp. 1159–1166.
ICPRICPR-v3-2000-Garcia-VareaSC #approach #statistics
A New Approach to Speech-Input Statistical Translation (IGV, AS, FC), pp. 3094–3097.
ICPRICPR-v4-2000-EzakiHYK
A Pen-Based Japanese Character Input System for the Blind Person (NE, TH, SY, KK), pp. 4372–4375.
ICPRICPR-v4-2000-Lucas #graph #performance #taxonomy
Efficient Best-First Dictionary Search Given Graph-Based Input (SML), pp. 4434–4437.
ICLPCL-2000-BossiER #logic programming #semantics #source code
Semantics of Input-Consuming Logic Programs (AB, SE, SR), pp. 194–208.
ISSTAISSTA-2000-HildebrandtZ
Simplifying failure-inducing input (RH, AZ), pp. 135–145.
ISSTAISSTA-2000-SchroederK #analysis #black box #reduction #using
Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
ICDARICDAR-1999-FukudaSTXS #analysis
A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System (RF, IS, FT, MX, MS), pp. 131–134.
ICDARICDAR-1999-TanakaNIAN #hybrid #integration #recognition
Hybrid Pen-Input Character Recognition System based on Integration of Online-Offline Recognition (HT, KN, KI, KA, MN), pp. 209–212.
SIGMODSIGMOD-1999-MamoulisP #algorithm #integration #multi
Integration of Spatial Join Algorithms for Processing Multiple Inputs (NM, DP), pp. 1–12.
ICALPICALP-1999-Rutten #automaton #induction
Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously (JJMMR), pp. 645–654.
CHICHI-1999-AccotZ #evaluation #performance
Performance Evaluation of Input Devices in Trajectory-Based Tasks: An Application of the Steering Law (JA, SZ), pp. 466–472.
CHICHI-1999-GoldsteinBAT #interface #mobile #type system
Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for The Mobile User (MG, RB, GA, ST), pp. 32–39.
CHICHI-1999-HinckleyS
Touch-Sensing Input Devices (KH, MS), pp. 223–230.
CHICHI-1999-ZhaiMI
Manual and Gaze Input Cascaded (MAGIC) Pointing (SZ, CM, SI), pp. 246–253.
HCIHCI-CCAD-1999-BoschianLDMJ #artificial reality #how #people #question
How can people with disabilities navigate in virtual reality with an input device they can use? (KB, AL, RCD, UM, GJ), pp. 1111–1115.
HCIHCI-EI-1999-BuckleHWH
Investigation of the Use of Non-Keyboard Input Devices (NKID) (PB, RAH, VW, SH), pp. 102–105.
HCIHCI-EI-1999-KitakazeAIF #adaptation #evaluation
Study of Adaptive Input System for Telecommunication Terminal — Evaluation of Discriminant which Controls Computer key-input - (SK, YA, TI, SF), pp. 74–78.
HCIHCI-EI-1999-StephanidisGA #development #human-computer #user interface
Embedding HCI guideline input to iterative user interface development (CS, DG, DA), pp. 978–982.
HCIHCI-EI-1999-TakahashiK #3d #interface #using
3-D Input Device Using a Ball Rotation Interface (TT, MK), pp. 397–401.
ICEISICEIS-1999-AbeysingheH #modelling #natural language #process
Process Modelling with Natural Language Input (GA, CRH), p. 762.
ICLPICLP-1999-Smaus #logic programming #proving #source code #termination
Proving Termination of Input-Consuming Logic Programs (JGS), pp. 335–349.
STOCSTOC-1998-AndrewsZ #network
Stability Results for Networks with Input and Output Blocking (MA, LZ), pp. 369–377.
ICALPICALP-1998-Ben-AmramP #source code
CONS-Free Programs with Tree Input (Extended Abstract) (AMBA, HP), pp. 271–282.
CHICHI-1998-KawachiyaI #mobile #named
NaviPoint: An Input Device for Mobile Information Browsing (KK, HI), pp. 1–8.
CHICHI-1998-Masui #performance
An Efficient Text Input Method for Pen-Based Computers (TM), pp. 328–335.
CHICHI-1998-ZhaiM #coordination #multi
Quantifying Coordination in Multiple DOF Movement and Its Application to Evaluating 6 DOF Input Devices (SZ, PM), pp. 320–327.
ICPRICPR-1998-WatanabeY #gesture #image #multi #realtime #recognition #sequence #using
Real time recognition of gesture and gesture degree information using multi input image sequences (TW, MY), pp. 1855–1858.
ICTSSIWTCS-1998-BrinksmaHT #generative #multi #testing
Factorized Test Generation for Multi-Input/Output Transition Systems (EB, LH, JT), pp. 67–82.
ICTSSIWTCS-1998-TanP #automaton #generative #specification #testing
Test Generation for Specifications Modeled by Input/Output Automata (QMT, AP), pp. 83–100.
DATEEDTC-1997-BlantonH #fault
The input pattern fault model and its application (RDB, JPH), p. 628.
ICDARICDAR-1997-MatsumuraKNO #documentation #recognition
Document Input According to Recognition Accuracy of Handwritten Characters (SM, TK, ON, KO), pp. 51–55.
CHICHI-1997-BalakrishnanM #difference #performance
Performance Differences in the Fingers, Wrist, and Forearm in Computer Input Control (RB, ISM), pp. 303–310.
CHICHI-1997-FitzmauriceB #empirical #evaluation #multi #towards #user interface
An Empirical Evaluation of Graspable User Interfaces: Towards Specialized, Space-Multiplexed Input (GWF, WB), pp. 43–50.
CHICHI-1997-OviattDK #human-computer #integration #interactive #multimodal
Integration and Synchronization of Input Modes during Multimodal Human-Computer Interaction (SLO, ADA, KK), pp. 415–422.
HCIHCI-CC-1997-Aoki #interface #using
An Ergonomical Study on Computer Interface Using Input Devices (MA), pp. 587–590.
HCIHCI-CC-1997-AraiYIHU #interface #using
An Input Interface System Using VEP for the Physically Challenged (YA, YY, KI, MH, YU), pp. 397–400.
HCIHCI-CC-1997-Vanderheiden97a #architecture #interface
Use of a Common Table Architecture for Creating Hands Free, Eyes Free, Noisy Environment (Flex-Modal, Flex-Input) Interfaces (GCV), pp. 449–452.
HCIHCI-SEC-1997-NishimuraN #interface
Form Input System by Pen Interface (YN, MN), pp. 431–434.
HCIHCI-SEC-1997-Souya #elicitation #interface
A System for Eliciting and Helping to Score Test Answers Input Through a Handwriting Interface (TS), pp. 427–430.
HCIHCI-SEC-1997-Sun #artificial reality
Data Input Devices and Application in Virtual Reality (HS), pp. 1001–1004.
PPDPPLILP-1997-JanousekM #lr
Formal Translations Described by Translation Grammars with LR(k) Input Grammars (JJ, BM), pp. 421–422.
DACDAC-1996-ChandramouliS #modelling #proximity
Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time (VC, KAS), pp. 617–622.
DACDAC-1996-DasguptaK96a #order #reliability
Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing (AD, RK), pp. 819–824.
DACDAC-1996-KahngM #analysis
Analysis of RC Interconnections Under Ramp Input (ABK, SM), pp. 533–538.
DACDAC-1996-KudvaGJN #multi #network #synthesis
Synthesis for Hazard-free Customized CMOS Complex-Gate Networks Under Multiple-Input Changes (PK, GG, HMJ, SMN), pp. 77–82.
DACDAC-1996-TsuiMMP #performance
Improving the Efficiency of Power Simulators by Input Vector Compaction (CYT, RM, DM, MP), pp. 165–168.
WRLARWLW-1996-Viry
Input/Output for ELAN (PV), pp. 51–64.
TACASTACAS-1996-Tretmans #generative #testing
Test Generation with Inputs, Outputs, and Quiescence (JT), pp. 127–146.
CHICHI-1996-ZhaiMB #multi #performance
The Influence of Muscle Groups on Performance of Multiple Degree-of-Freedom Input (SZ, PM, WB), pp. 308–315.
ICPRICPR-1996-MunichP #visual notation
Visual input for pen-based computers (MEM, PP), pp. 33–37.
SACSAC-1996-GabrielliGM #design #fuzzy #process
VLSI design of a fuzzy chip that processes 2-4 inputs every 160-320 ns whichever is the fuzzy system (AG, EG, MM), pp. 590–594.
SACSAC-1996-LeungC #network
A stroke-order free Chinese handwriting input system based on relative stroke positions and back-propagation networks (WnL, KsC), pp. 22–27.
DACDAC-1995-GuptaKTWP #bound
The Elmore Delay as a Bound for RC Trees with Generalized Input Signals (RG, BK, BT, JW, LTP), pp. 364–369.
DACDAC-1995-MarculescuMP #correlation #estimation #performance
Efficient Power Estimation for Highly Correlated Input Streams (RM, DM, MP), pp. 628–634.
CHICHI-1995-KnepHSW
Dinosaur Input Device (BK, CH, RS, TW), pp. 304–309.
CHICHI-1995-KohlertO
Pictures as Input Data (DCK, DRO), pp. 464–471.
SACSAC-1995-Bothe #fuzzy #modelling #speech #visual notation
Fuzzy input coding for an artificial neural--network modelling visual speech movements (HHB), pp. 450–454.
CHICHI-1994-KabbashBS94a
Two-handed input in a compound task (PK, WB, AS), pp. 417–423.
CHICHI-1994-MurakamiN94a #3d
Direct and intuitive input device for 3-D shape deformation (TM, NN), pp. 465–470.
CHICHI-1994-Oviatt94a #interface
Interface techniques for minimizing disfluent input to spoken language systems (SLO), pp. 205–210.
SEKESEKE-1994-Kalnins
Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.
ICDARICDAR-1993-ToyokawaKKKIF #effectiveness #online #recognition
An on-line character recognition system for effective Japanese input (KT, KK, SK, HK, NI, MF), pp. 208–213.
HCIHCI-SHI-1993-ChoMHM #algorithm #comprehension #development #recognition
A Pen-Based System to Input Correct Answers to Assist in the Development of Recognition and Understanding Algorithms of Ink Data (YC, TM, SH, SM), pp. 68–73.
HCIHCI-SHI-1993-EndoAM
The Context-Based Graphic Input System: T-Board (YE, SA, MM), pp. 1004–1009.
HCIHCI-SHI-1993-RenM
The Minimal Sizes and the Quasi-Optimal Sizes for the Input Square During Pen-Input of Characters (XR, SM), pp. 1028–1033.
HCIHCI-SHI-1993-Watanabe #feedback #speech
Voice-Responsive Eye-Blinking Feedback for Improved Human-to-Machine Speech Input (TW), pp. 1091–1096.
CHIINTERCHI-1993-KabbashMB #performance #using
Human performance using computer input devices in the preferred and non-preferred hands (PK, ISM, WB), pp. 474–481.
SACSAC-1993-Goforth #editing #interactive #simulation
Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.
CAVCAV-1993-ProbstL #automaton #behaviour #verification
Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.
CSLCSL-1993-GradelM #problem #random
Approximable Minimization Problems and Optimal Solutions on Random Inputs (EG, AM), pp. 139–149.
DACDAC-1992-PomeranzC #using
State Assignment Using Input/Output Functions (IP, KTC), pp. 573–577.
CHICHI-1992-JacobS #multi
The Perceptual Structure of Multidimensional Input Device Selection (RJKJ, LES), pp. 211–218.
CHICHI-1992-LimL #design
A Method for (recruiting) Methods: Facilitating Human Factors Input to System Design (KYL, JBL), pp. 549–556.
CADECADE-1992-Sutcliffe #analysis #set
Linear-Input Subset Analysis (GS), pp. 268–280.
DACDAC-1991-CiesielskiSD #approach #automaton #encoding
A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.
DACDAC-1991-LaddB #finite #multi #state machine #synthesis
Synthesis of Multiple-Input Change Asynchronous Finite state Machines (ML, WPB), pp. 309–314.
DACDAC-1991-SaldanhaVBS #constraints #encoding #framework
A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.
CHICHI-1991-MacKenzieSB #comparison
A comparison of input devices in element pointing and dragging tasks (ISM, AS, WB), pp. 161–166.
AdaEuropeAdaEurope-1991-Rosskopf #ada #reuse
Reusable Input/Output Packages for Ada Avionic Applications (AR), pp. 338–360.
LOPSTRLOPSTR-1991-AlexandreBQ #logic programming #on the #source code #using
On Using Mode Input-output for Transforming Logic Programs (FA, KB, AQ), pp. 129–146.
LICSLICS-1991-Vaandrager #algebra #automaton #on the #process
On the Relationship Between Process Algebra and Input/Output Automata (FWV), pp. 387–398.
SIGMODSIGMOD-1990-SalzbergTGSUV #distributed #named
FastSort: A Distributed Single-Input Single-Output External Sort (BS, AT, JG, MS, SU, BV), pp. 94–101.
SIGMODSIGMOD-1990-UllmanY #complexity #transitive
The Input/Output Complexity of Transitive Closure (JDU, MY), pp. 44–53.
ICALPICALP-1990-GoodrichAO #trade-off
An Input-Size/Output-Size Trade-Off in the Time-Complexity of Rectilinear Hidden Surface Removal (Preliminary Version) (MTG, MJA, MHO), pp. 689–702.
CHICHI-1990-CardMR #design
The design space of input devices (SKC, JDM, GGR), pp. 117–124.
CHICHI-1989-WeimerG #visual notation
A synthetic visual environment with hand gesturing and voice input (DMW, SKG), pp. 235–240.
SOSPSOSP-1989-MassalinP #kernel #synthesis #thread
Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.
ICLPNACLP-1989-Wakayama #monad
Monadic Cases: Rediscovering Input Resolution (TW), pp. 115–130.
DACDAC-1987-Wunderlich #on the #random testing #testing
On Computing Optimized Input Probabilities for Random Tests (HJW), pp. 392–398.
HTHT-1987-Jones #hypermedia #parametricity #tool support
Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.
HCIHCI-SES-1987-Roesser
A Notation for the Input and Storage of Mathematics: An Application of SGML (JRR), pp. 137–142.
DACDAC-1986-KuoC #generative #multi
Generating essential primes for a Boolean function with multiple-valued inputs (YSK, WKC), pp. 193–199.
SIGIRSIGIR-1985-ChiFSL #database
Processing Free-Text Input to Obtain a Database of Medical Information (ECC, CF, NS, MSL), pp. 82–90.
SIGIRSIGIR-1984-JonesB #automation #information retrieval #word
The Automatic Extraction of Words from Texts Especially for Input into Information Retrieval Systems Based on Inverted Files (KPJ, CLMB), pp. 409–420.
SIGIRSIGIR-1982-SmithL #information retrieval
Information Retrieval by Voice Input and Output (FJS, RJL), pp. 275–288.
ICSEICSE-1982-Ito #automation #documentation #image
Automatic Input of Flow Chart in Document Image (SI), pp. 319–329.
ICLPILPC-1982-Skuce82 #automation #development #generative #program transformation
Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation (DRS), pp. 116–122.
DACDAC-1981-IshiiIIYK #automation #diagrams #editing #interactive #logic
Automatic input and interactive editing systems of logic circuit diagrams (MI, YI, MI, MY, SK), pp. 639–645.
DACDAC-1980-KarpovskyS #component #detection #fault #standard
Detecting bridging and stuck-at faults at input and output pins of standard digital components (MGK, SYHS), pp. 494–505.
DACDAC-1979-IshiiYIS #diagrams #logic
An experimental input system of hand-drawn logic circuit diagram for LSI CAD (MI, MY, MI, HS), pp. 114–120.
DACDAC-1978-AllisonG #3d #architecture #visual notation
The three-dimensional graphical input method for architecture (HCA, DPG), pp. 133–137.
DACDAC-1976-Rutman
Non-gridded graphic input (RR), pp. 392–398.
SOSPSOSP-1971-FeiertagO #multi
The MULTICS Input/Output System (RJF, EIO), pp. 35–41.
DACDAC-1970-RockwellP #analysis #finite
Computer aided input/output for use with the finite element method of structural analysis (RDR, DSP), pp. 315–334.

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.