Stem input$ (all stems)

459 papers:

DAC-2015-Pomeranz #generative #testing

Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.

SIGMOD-2015-BaoZJL #interactive #keyword

Exploratory Keyword Search with Interactive Input (ZB, YZ, HVJ, TWL), pp. 871–876.

ESOP-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.

PLDI-2015-DingAVSOA #algorithm

Autotuning algorithmic choice for input sensitivity (YD, JA, KV, XS, UMO, SPA), pp. 379–390.

PLDI-2015-FeserCD #data type

Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.

SAS-2015-CattaruzzaASK #analysis #bound

Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.

CIAA-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.

CHI-2015-0002FTO #multi

Investigating the Dexterity of Multi-Finger Input for Mid-Air Text Entry (SS, AMF, CT, AO), pp. 3643–3652.

CHI-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.

CHI-2015-DobbelsteinHR #named

Belt: An Unobtrusive Touch Input Device for Head-worn Displays (DD, PH, ER), pp. 2135–2138.

CHI-2015-KaoDPS #named

NailO: Fingernails as an Input Surface (HLCK, AD, JAP, CS), pp. 3015–3018.

CHI-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.

CHI-2015-SavageHHGML #component #named

Lamello: Passive Acoustic Sensing for Tangible Input Components (VS, AH, BH, DBG, GJM, WL), pp. 1277–1280.

CHI-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.

CHI-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.

CHI-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.

DUXU-UI-2015-HigashidaI #information retrieval #interface #keyword #smarttech

Keyword Input via Digits: Simplified Smartphone Interface for Information Retrieval (MH, TI), pp. 530–540.

HCI-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.

HCI-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.

HCI-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.

HCI-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.

HIMI-IKD-2015-MatsunoAIMM #using

Computer Input System Using Eye Glances (SM, KA, NI, TM, KM), pp. 425–432.

ICML-2015-GalT #approximate #nondeterminism #process #representation

Improving the Gaussian Process Sparse Spectrum Approximation by Representing Uncertainty in Frequency Inputs (YG, RT), pp. 655–664.

SAC-2015-Gregorio-Rodriguez #consistency #simulation

Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.

SAC-2015-SoaresMV #multi

Controlling the focus and input events in multimedia applications (LFGS, MFM, ÁLVG), pp. 1278–1284.

ESEC-FSE-2015-BraioneDP #execution #source code #symbolic computation

Symbolic execution of programs with heap inputs (PB, GD, MP), pp. 602–613.

ESEC-FSE-2015-XiongH0ZZL

Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.

ICSE-v2-2015-Imparato #android #testing #user interface

A Combined Technique of GUI Ripping and Input Perturbation Testing for Android Apps (GI), pp. 760–762.

ASE-2014-DingesA #execution #generative #using

Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.

ASE-2014-GiannakopoulouHILRR #assurance #testing

Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.

CASE-2014-XueL #finite

Input-output finite-time stability of time-delay systems and its application to active vibration control (WX, KL), pp. 878–882.

DAC-2014-RaoJDBDM #named #performance

VIX: Virtual Input Crossbar for Efficient Switch Allocation (SR, SJ, RD, DB, RGD, TNM), p. 6.

PODS-2014-PaghS #complexity

The input/output complexity of triangle enumeration (RP, FS), pp. 224–233.

FoSSaCS-2014-AlmagorK #synthesis

Latticed-LTL Synthesis in the Presence of Noisy Inputs (SA, OK), pp. 226–241.

PLDI-2014-LeAS #compilation #equivalence #validation

Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.

DLT-2014-Gusev #automaton #random

Synchronizing Automata with Random Inputs — (Short Paper) (VVG), pp. 68–75.

DLT-2014-OkhotinS #automaton #nondeterminism

Input-Driven Pushdown Automata with Limited Nondeterminism — (Invited Paper) (AO, KS), pp. 84–102.

ICALP-v1-2014-OstrovskyPV #on the #proving

On Input Indistinguishable Proof Systems (RO, GP, IV), pp. 895–906.

FM-2014-KrkaDMU

Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.

CHI-2014-BidwellHD #interface

Measuring operator anticipatory inputs in response to time-delay for teleoperated human-robot interfaces (JB, AH, SD), pp. 1467–1470.

CHI-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.

CHI-2014-ChapuisBF #development #named

Smarties: an input system for wall display development (OC, AB, SF), pp. 2763–2772.

CHI-2014-GilliotCR

Impact of form factors and input conditions on absolute indirect-touch pointing tasks (JG, GC, NR), pp. 723–732.

CHI-2014-HeoGL #using

Expanding touch input vocabulary by using consecutive distant taps (SH, JG, GL), pp. 2597–2606.

CHI-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.

CHI-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.

CHI-2014-LuoV

Crossing-based selection with direct touch input (YL, DV), pp. 2627–2636.

CHI-2014-McLachlanBB #interactive

Transient and transitional states: pressure as an auxiliary input modality for bimanual interaction (RM, DB, SAB), pp. 401–410.

CHI-2014-NicolauMGGH #multi

B#: chord-based correction for multitouch braille input (HN, KM, TJG, JG, VLH), pp. 1705–1708.

CHI-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.

CHI-2014-SerranoEI

Exploring the use of hand-to-face input for interacting with head-worn displays (MS, BME, PPI), pp. 3181–3190.

CHI-2014-SpindlerSMD #mobile

Pinch-drag-flick vs. spatial input: rethinking zoom & pan on mobile displays (MS, MS, MM, RD), pp. 1113–1122.

CHI-2014-WacharamanothamTPB #comprehension

Understanding finger input above desktop devices (CW, KT, MP, JOB), pp. 1083–1092.

CHI-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.

CHI-2014-XiaoLH #smarttech

Expanding the input expressivity of smartwatches with mechanical pan, twist, tilt and click (RX, GL, CH), pp. 193–196.

DUXU-DI-2014-OgataSMII #smarttech

Augmenting a Wearable Display with Skin Surface as an Expanded Input Area (MO, YS, YM, MI, MI), pp. 606–614.

HCI-AIMT-2014-SchmidtW #gesture #multi #predict

Prediction of Multi-touch Gestures during Input (MS, GW), pp. 158–169.

HCI-AS-2014-DotencoGG #smarttech #using

Smartphone Input Using Its Integrated Projector and Built-In Camera (SD, TG, FG), pp. 124–133.

ICML-c2-2014-SnoekSZA #optimisation

Input Warping for Bayesian Optimization of Non-Stationary Functions (JS, KS, RSZ, RPA), pp. 1674–1682.

ICPR-2014-DarvishLS #image

Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.

KR-2014-BenferhatT #network #nondeterminism #reasoning

Reasoning with Uncertain Inputs in Possibilistic Networks (SB, KT).

OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant

Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.

OOPSLA-2014-ZhouSGY #adaptation #multi #optimisation

Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations (MZ, XS, YG, GY), pp. 763–776.

POPL-2014-LongSKR #fault #generative #integer

Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.

SAC-2014-BeoharM #consistency #testing

Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.

SAC-2014-GuoQS

Locating fault-inducing patterns from structural inputs (HFG, ZQ, HPS), pp. 1100–1107.

FSE-2014-HuoC #detection #quality #testing

Improving oracle quality by detecting brittle assertions and unused inputs in tests (CH, JC), pp. 621–631.

PPoPP-2014-ChiangGRS #fault #float #performance

Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.

ICST-2014-KifetewJTOT #grammarware #source code

Reproducing Field Failures for Programs with Complex Grammar-Based Input (FMK, WJ, RT, AO, PT), pp. 163–172.

ICST-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.

ICTSS-2014-DoganayEAB #embedded #search-based #testing

Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.

ISSTA-2014-AlkhalafAB #difference #semantics #validation

Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.

ISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing

Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.

ISSTA-2014-MarianiPRS #named #testing #web

Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.

ASE-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.

ASE-2013-ZhangS #automation #query #sql

Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.

DATE-2013-ShafaeiSP #logic #synthesis

Reversible logic synthesis of k-input, m-output lookup tables (AS, MS, MP), pp. 1235–1240.

FASE-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.

FASE-2013-CavalcantiH #csp #testing

Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.

PLDI-2013-LiTCS #adaptation #multi #named

SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication (JL, GT, MC, NS), pp. 117–126.

STOC-2013-ClarksonW #approximate #rank

Low rank approximation and regression in input sparsity time (KLC, DPW), pp. 81–90.

STOC-2013-HardtW #adaptation #how #linear #question #robust #sketching

How robust are linear sketches to adaptive inputs? (MH, DPW), pp. 121–130.

STOC-2013-Huang #approximate #satisfiability

Approximation resistance on satisfiable instances for predicates with few accepting inputs (SH), pp. 457–466.

STOC-2013-MengM #linear #robust

Low-distortion subspace embeddings in input-sparsity time and applications to robust linear regression (XM, MWM), pp. 91–100.

CIAA-2013-KutribMMPW #automaton #decidability #finite #queue

Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties (MK, AM, CM, BP, MW), pp. 232–243.

CHI-2013-FindlaterFFWD #difference #performance

Age-related differences in performance with touchscreens compared to traditional mouse input (LF, JF, KF, JOW, TD), pp. 343–346.

CHI-2013-PohlHHVP #interactive #string

An interactive belt-worn badge with a retractable string-based input mechanism (NP, SH, JH, NV, TP), pp. 1465–1468.

CHI-2013-SodhiJFBM #3d #collaboration #mobile #named

BeThere: 3D mobile collaboration with spatial input (RS, BRJ, DAF, BPB, GM), pp. 179–188.

CSCW-2013-VermaRMJD

Complementarity of input devices to achieve knowledge sharing in meetings (HV, FR, SM, PJ, PD), pp. 701–714.

HCI-AMTE-2013-MayasHK #classification #diagrams #process

Extending the Information of Activity Diagrams with a User Input Classification (CM, SH, HK), pp. 391–400.

HCI-IMT-2013-GaoIMM #interface

Study of Eye-Glance Input Interface (DG, NI, TM, KM), pp. 225–234.

HCI-IMT-2013-GuoCCJT #multimodal

Intent Capturing through Multimodal Inputs (WG, CC, MC, YJ, HT), pp. 243–251.

HCI-IMT-2013-KurosawaST

Keyboard Clawing: Input Method by Clawing Key Tops (TK, BS, JT), pp. 272–280.

HCI-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.

HCI-IMT-2013-MurataHMH #case study #interface #using

Study on Character Input Methods Using Eye-gaze Input Interface (AM, KH, MM, TH), pp. 320–329.

HCI-IMT-2013-MurataHO #estimation #interface

Proposal of Estimation Method of Stable Fixation Points for Eye-gaze Input Interface (AM, TH, KO), pp. 330–339.

HCI-IMT-2013-MurataUH #case study

Study on Cursor Shape Suitable for Eye-gaze Input System (AM, RU, TH), pp. 312–319.

HIMI-D-2013-GhoshJT #empirical #evaluation #interactive #multimodal

Empirical Evaluation of Multimodal Input Interactions (SG, AJ, ST), pp. 37–47.

ICML-c2-2013-AlainO

Gated Autoencoders with Tied Input Weights (AD, OS), pp. 154–162.

ICML-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.

SIGIR-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.

OOPSLA-2013-BerganCG #parallel #source code #thread

Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.

OOPSLA-2013-BhattacharyaGN #detection #program analysis

Combining concern input with program analysis for bloat detection (SB, KG, MGN), pp. 745–764.

OOPSLA-2013-Deng0L #detection #performance

Efficient concurrency-bug detection across inputs (DD, WZ, SL), pp. 785–802.

POPL-2013-BotincanB #learning #specification

Sigma*: symbolic learning of input-output specifications (MB, DB), pp. 443–456.

SAC-2013-AnielloQB #data transformation

Input data organization for batch processing in time window based computations (LA, LQ, RB), pp. 363–370.

SAC-2013-ValsomatzisG #in memory #multi

Driver input selection for main-memory multi-way joins (EV, AG), pp. 818–825.

ESEC-FSE-2013-MachiryTN #android #generative #named

Dynodroid: an input generation system for Android apps (AM, RT, MN), pp. 224–234.

ICSE-2013-LetierH #automaton #modelling #requirements #synthesis

Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.

ICLP-J-2013-JansenJJ #compilation #induction #prolog

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3 (JJ, AJ, GJ), pp. 691–704.

ICST-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.

ISSTA-2013-TsankovDB #testing

Semi-valid input coverage for fuzz testing (PT, MTD, DAB), pp. 56–66.

ASE-2012-SharT #predict #validation #web

Predicting common web application vulnerabilities from input validation and sanitization code patterns (LKS, HBKT), pp. 310–313.

CASE-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.

CASE-2012-Moon

Input shaping control for suppression of boom vibrations (KSM), pp. 782–785.

DAC-2012-HuangCBK #consistency #embedded #realtime #runtime

Conforming the runtime inputs for hard real-time embedded systems (KH, GC, CB, AK), pp. 430–436.

DATE-2012-Voyiatzis #concurrent #logic #monitoring #multi

Input vector monitoring on line concurrent BIST based on multilevel decoding logic (IV), pp. 1251–1256.

ITiCSE-2012-Larraza-MendiluzeGMMRALS

Nintendo® DS projects to learn computer input-output (ELM, NGV, JIM, JM, TRV, ISA, JFL, KS), p. 373.

SCAM-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.

PLDI-2012-CoppaDF #profiling

Input-sensitive profiling (EC, CD, IF), pp. 89–98.

PLDI-2012-SamadiHMLM #adaptation #compilation

Adaptive input-aware compilation for graphics engines (MS, AH, MM, JL, SAM), pp. 13–22.

CHI-2012-CasiezRV #interactive

1 € filter: a simple speed-based low-pass filter for noisy input in interactive systems (GC, NR, DV), pp. 2527–2530.

CHI-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.

CHI-2012-FindlaterLW #gesture #multi

Beyond QWERTY: augmenting touch screen keyboards with multi-touch gestures for non-alphanumeric input (LF, BL, JOW), pp. 2679–2682.

CHI-2012-FindlaterW #adaptation #automation #personalisation #type system

Personalized input: improving ten-finger touchscreen typing through automatic adaptation (LF, JOW), pp. 815–824.

CHI-2012-FrauenbergerGKP #approach

Interpreting input from children: a designerly approach (CF, JG, WKB, HP), pp. 2377–2386.

CHI-2012-GhomiFHCB #using

Using rhythmic patterns as an input method (EG, GF, SH, OC, MBL), pp. 1253–1262.

CHI-2012-HarrisonH #2d #interactive #using

Using shear as a supplemental two-dimensional input channel for rich touchscreen interaction (CH, SEH), pp. 3149–3152.

CHI-2012-HasanYBI #coordination #interactive

A-coord input: coordinating auxiliary input streams for augmenting contextual pen-based interactions (KH, XDY, AB, PI), pp. 805–814.

CHI-2012-KratzMS #gesture

Making gestural input from arm-worn inertial sensors more practical (LK, DM, TSS), pp. 1747–1750.

CHI-2012-LeeLLLHP #evaluation #performance

Evaluation of human tangential force input performance (BL, HL, SCL, HL, SH, JP), pp. 3121–3130.

CHI-2012-SoloveySSSFJ #interactive #named #streaming

Brainput: enhancing interactive systems with streaming fnirs brain input (ETS, PWS, MS, AS, SF, RJKJ), pp. 2193–2202.

SAC-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.

FSE-2012-ZaeemK #generative #programming #using

Test input generation using dynamic programming (RNZ, SK), p. 34.

ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification

Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.

ICSE-2012-Bohme #clustering

Software regression as change of input partitioning (MB), pp. 1523–1526.

ICSE-2012-LongGCSR #automation

Automatic input rectification (FL, VG, MC, SS, MCR), pp. 80–90.

ICSE-2012-SharT #injection #mining #predict #sql

Mining input sanitization patterns for predicting SQL injection and cross site scripting vulnerabilities (LKS, HBKT), pp. 1293–1296.

CAV-2012-SinghG

Synthesizing Number Transformations from Input-Output Examples (RS, SG), pp. 634–651.

ICST-2012-BallanceVJ #effectiveness #testing

Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.

ICST-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.

ISSTA-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.

ASE-2011-Groce #adaptation #generative #programming

Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.

ASE-2011-KhalekNK #constraints #generative

Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.

ASE-2011-PanWX #database #generative #testing

Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.

DATE-2011-LiuV #analysis #generative #performance #source code #validation

Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.

ICDAR-2011-ZouLLW #mobile

Overlapped Handwriting Input on Mobile Phones (YZ, YL, YL, KW), pp. 369–373.

FoSSaCS-2011-VelnerR #problem #synthesis

Church Synthesis Problem for Noisy Input (YV, AR), pp. 275–289.

STOC-2011-FeigeT #design #nondeterminism

Mechanism design with uncertain inputs: (to err is human, to forgive divine) (UF, MT), pp. 549–558.

CIAA-2011-Buchnik #algorithm #multi #named #string

Bouma2 — A High-Performance Input-Aware Multiple String-Match Algorithm (EB), pp. 53–64.

CIAA-2011-HolzerK #automaton #finite

Gaining Power by Input Operations: Finite Automata and Beyond (MH, MK), pp. 16–29.

CHI-2011-AshbrookBW #mobile #named

Nenya: subtle and eyes-free mobile input with a magnetically-tracked finger ring (DA, PB, SW), pp. 2043–2046.

CHI-2011-KarrerWLHB #interactive #named

Pinstripe: eyes-free continuous input on interactive clothing (TK, MW, LL, FH, JOB), pp. 1313–1322.

CHI-2011-PazminoL #case study #mobile

An exploratory study of input modalities for mobile devices used with museum exhibits (PJP, LL), pp. 895–904.

CHI-2011-RoudautPB

Touch input on curved surfaces (AR, HP, PB), pp. 1011–1020.

CHI-2011-SporkaFKPHM #named #predict #using

CHANTI: predictive text entry using non-verbal vocal input (AJS, TF, SHK, OP, PH, ISM), pp. 2463–2472.

CHI-2011-WacharamanothamHMKSB

Evaluating swabbing: a touchscreen input method for elderly users with tremor (CW, JH, AM, MK, CMS, JOB), pp. 623–626.

CHI-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.

HCI-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.

HIMI-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.

IDGD-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.

KEOD-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.

OOPSLA-2011-TianZS #integration #optimisation #towards

A step towards transparent integration of input-consciousness into dynamic program optimizations (KT, EZZ, XS), pp. 445–462.

POPL-2011-Gulwani #automation #spreadsheet #string #using

Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.

ICST-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.

TAP-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.

ASE-2010-ManiSDS #automation #fault

Automated support for repairing input-model faults (SM, VSS, PD, SS), pp. 195–204.

ASE-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.

DAC-2010-GajskiAS #question #synthesis #what

What input-language is the best choice for high level synthesis (HLS)? (DG, TMA, SS), pp. 857–858.

DRR-2010-ZhuL #online #recognition

A combined recognition system for online handwritten Pinyin input (MZ, CL), pp. 1–10.

ITiCSE-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.

DLT-2010-Maletti #top-down #transducer

Input Products for Weighted Extended Top-Down Tree Transducers (AM), pp. 316–327.

SEFM-2010-GallerWW #contract #design

Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.

CHI-2010-HarrisonTM #named

Skinput: appropriating the body as an input surface (CH, DST, DM), pp. 453–462.

CHI-2010-HolzB #how

The generalized perceived input point model and how to double touch accuracy by extracting fingerprints (CH, PB), pp. 581–590.

CHI-2010-LeeKJCKJKL #how

How users manipulate deformable displays as input devices (SSL, SK, BJ, EC, BK, XJ, DK, KPL), pp. 1647–1656.

CHI-2010-LucaHH #named

ColorPIN: securing PIN entry through indirect input (ADL, KH, HH), pp. 1103–1106.

CHI-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.

CHI-2010-StewartRKE #mobile

Characteristics of pressure-based input for mobile devices (CDS, MR, SGK, GE), pp. 801–810.

CHI-2010-TuddenhamKI #multi

Graspables revisited: multi-touch vs. tangible input for tabletop displays in acquisition and manipulation tasks (PT, DSK, SI), pp. 2223–2232.

CHI-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.

KDIR-2010-AddisAV #categorisation

Assessing Progressive Filtering to Perform Hierarchical Text Categorization in Presence of Input Imbalance (AA, GA, EV), pp. 14–23.

SEKE-2010-Wang #black box #parametricity #testing #using

Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.

OOPSLA-2010-TianJZS #optimisation #paradigm

An input-centric paradigm for program dynamic optimizations (KT, YJ, EZZ, XS), pp. 125–139.

SAC-2010-KimHJEY #framework #pipes and filters

Harnessing input redundancy in a MapReduce framework (SGK, HH, HJ, HE, HYY), pp. 362–366.

SAC-2010-Kuzume #using

Input device for disabled persons using expiration and tooth-touch sound signals (KK), pp. 1159–1164.

PPoPP-2010-AleenSP #execution #predict #streaming

Input-driven dynamic execution prediction of streaming applications (FA, MS, SP), pp. 315–324.

PPoPP-2010-YangXKZ #compilation #optimisation #source code

An optimizing compiler for GPGPU programs with input-data sharing (YY, PX, JK, HZ), pp. 343–344.

ISSTA-2010-CarbinR #automation #identification

Automatically identifying critical input regions and code in applications (MC, MCR), pp. 37–48.

ASE-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.

ASE-2009-HanWM #code completion

Code Completion from Abbreviated Input (SH, DRW, RCM), pp. 332–343.

CASE-2009-MitraS #automaton #composition #hybrid

Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.

DAC-2009-TsaiH

A false-path aware formal static timing analyzer considering simultaneous input transitions (ST, CYH), pp. 25–30.

DATE-2009-CongG #energy #multi #performance #scheduling

Energy efficient multiprocessor task scheduling under input-dependent variation (JC, KG), pp. 411–416.

TACAS-2009-VanoverbergheTP #generative #pointer #source code

Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.

CSMR-2009-NagyM #analysis #fault #security

Static Security Analysis Based on Input-Related Software Faults (CN, SM), pp. 37–46.

STOC-2009-DodisKL #encryption #on the

On cryptography with auxiliary input (YD, YTK, SL), pp. 621–630.

CHI-2009-BlanchO #concurrent #performance

Rake cursor: improving pointing performance with concurrent input channels (RB, MO), pp. 1415–1418.

CHI-2009-LawA #game studies #named #using

Input-agreement: a new mechanism for collecting data using human computation games (EL, LvA), pp. 1197–1206.

CHI-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.

CHI-2009-RahmanGIS

Tilt techniques: investigating the dexterity of wrist-based input (MR, SG, PI, SS), pp. 1943–1952.

CHI-2009-RoudautLG #named

MicroRolls: expanding touch-screen input vocabulary by distinguishing rolls vs. slides of the thumb (AR, EL, YG), pp. 927–936.

CHI-2009-VogelCCBK

Hand occlusion with tablet-sized direct pen input (DV, MC, GC, RB, LK), pp. 557–566.

CHI-2009-WangR #empirical #evaluation #interactive #multi

Empirical evaluation for finger input properties in multi-touch interaction (FW, XR), pp. 1063–1072.

HCI-AUII-2009-JiK #named #using

CLURD: A New Character-Inputting System Using One 5-Way Key Module (HJ, TK), pp. 39–47.

HCI-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.

HCI-NIMT-2009-AmftASST #gesture

Gesture-Controlled User Input to Complete Questionnaires on Wrist-Worn Watches (OA, RA, AS, DPS, GT), pp. 131–140.

HCI-NIMT-2009-ChangW #gesture

The Gestural Input System for Living Room Digital Devices (WSC, FGW), pp. 151–160.

HCI-NIMT-2009-ChenN #named #scalability

VTouch: A Vision-Base Dual Finger Touched Inputs for Large Displays (CHC, CXN), pp. 426–434.

HCI-NIMT-2009-NisimuraMKI #development #interactive #speech

Development of Speech Input Method for Interactive VoiceWeb Systems (RN, JM, HK, TI), pp. 710–719.

HIMI-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.

HIMI-II-2009-YoshidaH #chat #multi

Input Text Repairing for Multi-lingual Chat System (KY, FH), pp. 210–217.

CGO-2009-BerubeAHS #multi #optimisation #reduction

Workload Reduction for Multi-input Feedback-Directed Optimization (PB, JNA, RH, RS), pp. 59–69.

CGO-2009-MaoS #evolution #learning #predict #virtual machine

Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines (FM, XS), pp. 92–101.

CAV-2009-MajumdarX #testing #using

Reducing Test Inputs Using Information Partitions (RM, RGX), pp. 555–569.

ICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using

Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.

ICST-2009-HalfondCO #identification #testing

Penetration Testing with Improved Input Vector Identification (WGJH, SRC, AO), pp. 346–355.

ICST-2009-SiddiquiK #generative #named #parallel #testing

PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.

ISSTA-2009-ClauseO #automation #identification #named #using

Penumbra: automatically identifying failure-relevant inputs using dynamic tainting (JAC, AO), pp. 249–260.

CASE-2008-Andoh #identification #using

Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs (FA), pp. 265–272.

DAC-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.

DATE-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.

SCAM-2008-ScholzZC #analysis #dependence #graph #reachability

User-Input Dependence Analysis via Graph Reachability (BS, CZ, CC), pp. 25–34.

LATA-2008-BenschBHK #automaton #finite

Deterministic Input-Reversal and Input-Revolving Finite Automata (SB, HB, MH, MK), pp. 113–124.

CHI-2008-ForlinesB #feedback

Evaluating tactile feedback and direct vs. indirect stylus input in pointing and crossing selection tasks (CF, RB), pp. 1563–1572.

CHI-2008-KarlsonB #legacy

One-handed touchscreen input for legacy applications (AKK, BBB), pp. 1399–1408.

CHI-2008-KimKLNL #feedback

Inflatable mouse: volume-adjustable mouse with air-pressure-sensitive input and haptic feedback (SK, HK, BL, TJN, WL), pp. 211–224.

CHI-2008-MoscovichH #multi #using

Indirect mappings of multi-touch input using one and two hands (TM, JFH), pp. 1275–1284.

CHI-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.

CHI-2008-Murray-SmithWHQ #named

Stane: synthesized surfaces for tactile input (RMS, JW, SH, TQ), pp. 1299–1302.

CHI-2008-ShiIGS #named

PressureFish: a method to improve control of discrete pressure-based input (KS, PI, SG, SS), pp. 1295–1298.

CHI-2008-ZhaiK #flexibility #visual notation

Interlaced QWERTY: accommodating ease of visual search and input flexibility in shape writing (SZ, POK), pp. 593–596.

CSCW-2008-HorneckerMDR #collaboration

Collaboration and interference: awareness with mice or touch input (EH, PM, NSD, YR), pp. 167–176.

CSCW-2008-WallaceMI

Comparing content and input redirection in MDEs (JRW, RLM, KMI), pp. 157–166.

ICEIS-HCI-2008-LevisHB #empirical #validation

Form Input Validation — An Empirical Study on Irish Corporate Websites (ML, MH, MB), pp. 148–153.

LOPSTR-2008-DegraveSV #automation #generative #testing

Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.

PADL-2008-KoopmanAP #modelling #navigation #testing #web

Model-Based Testing of Thin-Client Web Applications and Navigation Input (PWMK, PA, RP), pp. 299–315.

FSE-2008-LinZ #execution

Deriving input syntactic structure from execution (ZL, XZ), pp. 83–93.

ISSTA-2008-WassermannYCDIS #generative #web

Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.

TestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing

Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.

VMCAI-2008-BouissouM #abstract interpretation #embedded #physics #source code

Abstract Interpretation of the Physical Inputs of Embedded Programs (OB, MM), pp. 37–51.

ASE-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.

DATE-2007-JayakumarK #algorithm

An algorithm to minimize leakage through simultaneous input vector control and circuit modification (NJ, SPK), pp. 618–623.

DATE-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.

DATE-2007-PomeranzR #generative #on the #testing

On test generation by input cube avoidance (IP, SMR), pp. 522–527.

DATE-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.

ICDAR-2007-TonouchiK #mobile #online #recognition #using

Text Input System Using Online Overlapped Handwriting Recognition for Mobile Devices (YT, AK), pp. 754–758.

SCAM-2007-NaylorR

Finding Inputs that Reach a Target Expression (MN, CR), pp. 133–142.

CHI-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.

CHI-2007-CechanowiczIS

Augmenting the mouse with pressure sensitive input (JC, PI, SS), pp. 1385–1394.

CHI-2007-ForlinesWSB

Direct-touch vs. mouse input for tabletop displays (CF, DW, CS, RB), pp. 647–656.

CHI-2007-RamosCBB #lens

Pointing lenses: facilitating stylus input through visual-and motor-space magnification (GR, AC, RB, MBL), pp. 757–766.

CHI-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.

DHM-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.

HCI-IPT-2007-RichardsDP #mobile

Developing a Motion-Based Input Model for Mobile Devices (MR, TD, BP), pp. 470–479.

HCI-IPT-2007-SongKPPJ #design

Designing Input Method of Hand-Held Device with International User Studies (SS, JK, WP, BP, HJ), pp. 480–485.

HCI-MIE-2007-Hashimi #interactive

Preferences and Patterns of Paralinguistic Voice Input to Interactive Media (SAH), pp. 3–12.

HCI-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.

HIMI-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.

HIMI-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.

ICEIS-DISI-2007-PapatheocharousA #estimation #network #using

Software cost estimation using artificial neural networks with inputs selection (EP, ASA), pp. 398–407.

MLDM-2007-MendezCGRD #performance

Analyzing the Performance of Spam Filtering Methods When Dimensionality of Input Vector Changes (JRM, BC, DGP, FFR, FD), pp. 364–378.

SEKE-2007-FerriGP #approach #human-computer #interactive #multimodal

An Approach to Multimodal Input Interpretation in Human-Computer Interaction (FF, PG, SP), pp. 664–669.

SEKE-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.

ECOOP-2007-ElkarabliehZK #generative

Efficiently Generating Structurally Complex Inputs with Thousands of Objects (BE, YZ, SK), pp. 248–272.

SAC-2007-KuoCLC #adaptation #random testing #testing

Enhancing adaptive random testing in high dimensional input domains (FCK, TYC, HL, WKC), pp. 1467–1472.

ESEC-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.

ICSE-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.

ICSE-2007-MilicevicMMK #generative #named #testing

Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.

SOSP-2007-CostaCZZP #named

Bouncer: securing software by blocking bad input (MC, MC, LZ, LZ, MP), pp. 117–130.

ICLP-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.

ISSTA-2007-EmmiMS #database #generative

Dynamic test input generation for database applications (ME, RM, KS), pp. 151–162.

TestCom-FATES-2007-HaarJJ #automaton #partial order #testing

Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.

DAC-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.

DAC-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.

DAC-2006-SinghMPO #nondeterminism #runtime

Gain-based technology mapping for minimum runtime leakage under input vector uncertainty (AKS, MM, RP, MO), pp. 522–527.

DATE-2006-SridharanC #modelling #multi #using

Modeling multiple input switching of CMOS gates in DSM technology using HDMR (JS, TC), pp. 626–631.

DATE-DF-2006-SaponaraT #design

Mixed-signal design of a digital input power amplifier for automotive audio applications (SS, PT), pp. 212–216.

ICSM-2006-LiuT #approach #comprehension #maintenance #validation

An Approach to Aid the Understanding and Maintenance of Input Validation (HL, HBKT), pp. 370–379.

ICSM-2006-NgoT #fault #maintenance

A Method to Aid Recovery and Maintenance of the Input Error Correction Features (MNN, HBKT), pp. 360–369.

FM-2006-LarsenNW #automaton #interface

Interface Input/Output Automata (KGL, UN, AW), pp. 82–97.

CHI-2006-FroehlichHSH

The GlobeFish and the GlobeMouse: two new six degree of freedom input devices for graphics applications (BF, JH, VS, AH), pp. 191–199.

CHI-2006-ProschowskySJ

An intuitive text input method for touch wheels (MP, NS, NEJ), pp. 467–470.

CHI-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.

CIKM-2006-VardeRRBMS #clustering #design #semantics

Designing semantics-preserving cluster representatives for scientific input conditions (ASV, EAR, CR, DCB, MM, RDSJ), pp. 708–717.

ICML-2006-TingDS

Bayesian regression with input noise for high dimensional data (JAT, AD, SS), pp. 937–944.

ICPR-v3-2006-BianchiniMS #locality #network #recursion #using

Object Localization Using Input/Output Recursive Neural Networks (MB, MM, LS), pp. 95–98.

ICPR-v4-2006-NeubertF #visual notation

Direct Mapping of Visual Input to Motor Torques (JJN, NJF), pp. 634–638.

SAC-2006-DoyleB #effectiveness #interactive #mobile #speech

Combining speech and pen input for effective interaction in mobile geospatial environments (JD, MB), pp. 1182–1183.

ICSE-2006-YangBC #estimation #integration #off the shelf #using

Assessing COTS integration risk using cost estimation inputs (YY, BWB, BC), pp. 431–438.

CGO-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.

FATES-RV-2006-Osch #consistency #generative #hybrid #testing

Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.

ISSTA-2006-VisserPP #generative #java #using

Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.

MBT-2006-BourdonovKK #consistency #testing

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.

SAT-2006-Gelder #metric #proving

Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.

ASE-2005-CoppitL #generative #named #testing

yagg: an easy-to-use generator for structured test inputs (DC, JL), pp. 356–359.

ASE-2005-VisserPP #abstraction #generative #using

Test input generation for red-black trees using abstraction (WV, CSP, RP), pp. 414–417.

DATE-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.

ICDAR-2005-GeGZC #online #recognition

Online Chinese Character Recognition System with Handwritten Pinyin Input (YG, FJG, LXZ, QSC), pp. 1265–1269.

ITiCSE-2005-MedeirosDGM #programming #using

Using a PC simulator to illustrate input-output programming techniques (PDM, VD, MCG, RFM), p. 388.

STOC-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.

DLT-2005-BordihnHK #automaton #finite

Revolving-Input Finite Automata (HB, MH, MK), pp. 168–179.

CHI-2005-HornbaekF #development #problem #usability

Comparing usability problems and redesign proposals as input to practical systems development (KH, EF), pp. 391–400.

CHI-2005-HudsonMS #tool support

Extensible input handling in the subArctic toolkit (SEH, JM, IES), pp. 381–390.

SEKE-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.

ECOOP-2005-PachecoE #automation #classification #generative #named #testing

Eclat: Automatic Generation and Classification of Test Inputs (CP, MDE), pp. 504–527.

SAC-2005-Lopresti #evaluation #performance

Performance evaluation for text processing of noisy inputs (DPL), pp. 759–763.

SAT-2005-Gelder #bound #distance #proving

Input Distance and Lower Bounds for Propositional Resolution Proof Length (AVG), pp. 282–293.

ASE-2004-JiXCHCM #fault #statistics

A Statistical Model to Locate Faults at Input Level (JW, XxJ, CL, HyY, CL, MJ), pp. 274–277.

DAC-2004-AgarwalDB #multi #statistics

Statistical gate delay model considering multiple input switching (AA, FD, DB), pp. 658–663.

DAC-2004-ChopraV #algorithm #pseudo

Implicit pseudo boolean enumeration algorithms for input vector control (KC, SBKV), pp. 767–772.

DAC-2004-SilveiraP #algorithm #network #reduction

Exploiting input information in a model reduction algorithm for massively coupled parasitic networks (LMS, JRP), pp. 385–388.

DATE-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.

DLT-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.

ICALP-2004-Rytter #algorithm #encoding #string

Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input (WR), pp. 15–27.

SEFM-2004-LiYW #distributed #multi #testing

Distributed Testing of Multi Input/Output Transition System (ZL, XY, JW), pp. 271–280.

CHI-2004-IngmarssonDZ #named

TNT: a numeric keypad based text input method (MI, DD, SZ), pp. 639–646.

CHI-2004-KlemmerLLL #named #tool support

Papier-Mache: toolkit support for tangible input (SRK, JL, JL, JAL), pp. 399–406.

CHI-2004-WigdorB #comparison #concurrent #mobile

A comparison of consecutive and concurrent input text entry techniques for mobile phones (DW, RB), pp. 81–88.

ICPR-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.

LOPSTR-2004-Rao #logic programming #source code

Input-Termination of Logic Programs (MRKKR), pp. 215–230.

PDCL-2004-BossiCER #declarative #logic programming #semantics #source code

Declarative Semantics of Input Consuming Logic Programs (AB, NC, SE, SR), pp. 90–114.

LDTA-2004-BegelG #ambiguity #analysis #tool support

Language Analysis and Tools for Ambiguous Input Streams (AB, SLG), pp. 75–96.

LCTES-2004-GuoBN #compilation #configuration management #hardware #reuse

Input data reuse in compiling window operations onto reconfigurable hardware (ZG, BB, WAN), pp. 249–256.

TestCom-2004-LiWY #multi #testing

Testing Multi Input/Output Transition System with All-Observer (ZL, JW, XY), pp. 95–111.

ICDAR-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.

ICALP-2003-HoyerMW #bound #quantum

Quantum Search on Bounded-Error Inputs (PH, MM, RdW), pp. 291–299.

CHI-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.

SIGIR-2003-LevinCS #effectiveness #query

Assessing the effectiveness of pen-based input queries (SL, PDC, MS), pp. 437–438.

FATES-2003-GuoHHD #algorithm #search-based #sequence #using

Computing Unique Input/Output Sequences Using Genetic Algorithms (QG, RMH, MH, KD), pp. 164–177.

TestCom-2003-En-NouaaryD #automaton #testing

A Guided Method for Testing Timed Input Output Automata (AEN, RD), pp. 211–225.

TestCom-2003-PetrenkoYH #testing

Testing Transition Systems with Input and Output Testers (AP, NY, JH), pp. 129–145.

ASE-2002-VisvanathanG #generative #pointer #testing

Generating Test Data for Functions with Pointer Inputs (SV, NG), p. 149–?.

DAC-2002-ShimizuD #generative #metric #simulation #specification

Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.

DATE-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.

VLDB-2002-IlyasAE

Joining Ranked Inputs in Practice (IFI, WGA, AKE), pp. 950–961.

WCRE-2002-TanT #fault #program analysis #transaction #verification

Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis (HBKT, NLT), p. 233–?.

CIAA-J-2000-Mohri02 #algorithm #transducer

Generic e-Removal and Input e-Normalization Algorithms for Weighted Transducers (MM), pp. 129–143.

IFL-2002-VervoortP #functional #lazy evaluation

Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.

ICML-2002-KondorL #graph #kernel

Diffusion Kernels on Graphs and Other Discrete Input Spaces (RK, JDL), pp. 315–322.

SIGIR-2002-FengZP #approach #database #music #query #scalability

A hierarchical approach: query large music database by acoustic input (YF, YZ, YP), pp. 441–442.

ICSE-2002-Wong

Use of software inspection inputs in practice (YKW), pp. 725–726.

DAC-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.

DATE-2001-BekooijEWB #behaviour #functional

Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.

VLDB-2001-NatsevCSLV #incremental #query

Supporting Incremental Join Queries on Ranked Inputs (AN, YCC, JRS, CSL, JSV), pp. 281–290.

STOC-2001-MostefaouiRR #distributed

Conditions on input vectors for consensus solvability in asynchronous distributed systems (AM, SR, MR), pp. 153–162.

CHI-2001-JamesR #mobile #performance #predict

Text input for mobile devices: comparing model prediction to actual performance (CLJ, KMR), pp. 365–371.

CHI-2001-WangZS

Chinese input with keyboard and eye-tracking: an anatomical study (JW, SZ, HS), pp. 349–356.

SEKE-2001-TanTL #design #fault #transaction

Design for Post-Transaction Input Error Handling (HBKT, NLT, YL), pp. 212–219.

SAC-2001-AnconaLR

Context and location aware textual data input (MA, SL, AR), pp. 425–428.

SAC-2001-MinFO #adaptation #analysis #network

Analysis of adaptive wormhole-routed torus networks with IPP input traffic (GM, JDF, MOK), pp. 494–498.

ICALP-2000-Konig #mobile #process #type system

Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System (BK0), pp. 403–414.

CHI-2000-FrohlichP #3d #polynomial

The cubic mouse: a new device for three-dimensional input (BF, JP), pp. 526–531.

CHI-2000-MyersLY #using

Two-handed input using a PDA and a mouse (BAM, KPL, BCY), pp. 41–48.

ICML-2000-WilliamsS #classification #kernel

The Effect of the Input Density Distribution on Kernel-based Classifiers (CKIW, MWS), pp. 1159–1166.

ICPR-v3-2000-Garcia-VareaSC #approach #statistics

A New Approach to Speech-Input Statistical Translation (IGV, AS, FC), pp. 3094–3097.

ICPR-v4-2000-EzakiHYK

A Pen-Based Japanese Character Input System for the Blind Person (NE, TH, SY, KK), pp. 4372–4375.

ICPR-v4-2000-Lucas #graph #performance #taxonomy

Efficient Best-First Dictionary Search Given Graph-Based Input (SML), pp. 4434–4437.

CL-2000-BossiER #logic programming #semantics #source code

Semantics of Input-Consuming Logic Programs (AB, SE, SR), pp. 194–208.

ISSTA-2000-HildebrandtZ

Simplifying failure-inducing input (RH, AZ), pp. 135–145.

ISSTA-2000-SchroederK #analysis #black box #reduction #using

Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.

ICDAR-1999-FukudaSTXS #analysis

A Technique of Mathematical Expression Structure Analysis for the Handwriting Input System (RF, IS, FT, MX, MS), pp. 131–134.

ICDAR-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.

SIGMOD-1999-MamoulisP #algorithm #integration #multi

Integration of Spatial Join Algorithms for Processing Multiple Inputs (NM, DP), pp. 1–12.

ICALP-1999-Rutten #automaton #induction

Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously (JJMMR), pp. 645–654.

CHI-1999-AccotZ #evaluation #performance

Performance Evaluation of Input Devices in Trajectory-Based Tasks: An Application of the Steering Law (JA, SZ), pp. 466–472.

CHI-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.

CHI-1999-HinckleyS

Touch-Sensing Input Devices (KH, MS), pp. 223–230.

CHI-1999-ZhaiMI

Manual and Gaze Input Cascaded (MAGIC) Pointing (SZ, CM, SI), pp. 246–253.

HCI-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.

HCI-EI-1999-BuckleHWH

Investigation of the Use of Non-Keyboard Input Devices (NKID) (PB, RAH, VW, SH), pp. 102–105.

HCI-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.

HCI-EI-1999-StephanidisGA #development #human-computer #user interface

Embedding HCI guideline input to iterative user interface development (CS, DG, DA), pp. 978–982.

HCI-EI-1999-TakahashiK #3d #interface #using

3-D Input Device Using a Ball Rotation Interface (TT, MK), pp. 397–401.

ICEIS-1999-AbeysingheH #modelling #natural language #process

Process Modelling with Natural Language Input (GA, CRH), p. 762.

ICLP-1999-Smaus #logic programming #proving #source code #termination

Proving Termination of Input-Consuming Logic Programs (JGS), pp. 335–349.

STOC-1998-AndrewsZ #network

Stability Results for Networks with Input and Output Blocking (MA, LZ), pp. 369–377.

ICALP-1998-Ben-AmramP #source code

CONS-Free Programs with Tree Input (Extended Abstract) (AMBA, HP), pp. 271–282.

CHI-1998-KawachiyaI #mobile #named

NaviPoint: An Input Device for Mobile Information Browsing (KK, HI), pp. 1–8.

CHI-1998-Masui #performance

An Efficient Text Input Method for Pen-Based Computers (TM), pp. 328–335.

CHI-1998-ZhaiM #coordination #multi

Quantifying Coordination in Multiple DOF Movement and Its Application to Evaluating 6 DOF Input Devices (SZ, PM), pp. 320–327.

ICPR-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.

IWTCS-1998-BrinksmaHT #generative #multi #testing

Factorized Test Generation for Multi-Input/Output Transition Systems (EB, LH, JT), pp. 67–82.

IWTCS-1998-TanP #automaton #generative #specification #testing

Test Generation for Specifications Modeled by Input/Output Automata (QMT, AP), pp. 83–100.

EDTC-1997-BlantonH #fault

The input pattern fault model and its application (RDB, JPH), p. 628.

ICDAR-1997-MatsumuraKNO #documentation #recognition

Document Input According to Recognition Accuracy of Handwritten Characters (SM, TK, ON, KO), pp. 51–55.

CHI-1997-BalakrishnanM #difference #performance

Performance Differences in the Fingers, Wrist, and Forearm in Computer Input Control (RB, ISM), pp. 303–310.

CHI-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.

CHI-1997-OviattDK #human-computer #integration #interactive #multimodal

Integration and Synchronization of Input Modes during Multimodal Human-Computer Interaction (SLO, ADA, KK), pp. 415–422.

HCI-CC-1997-Aoki #interface #using

An Ergonomical Study on Computer Interface Using Input Devices (MA), pp. 587–590.

HCI-CC-1997-AraiYIHU #interface #using

An Input Interface System Using VEP for the Physically Challenged (YA, YY, KI, MH, YU), pp. 397–400.

HCI-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.

HCI-SEC-1997-NishimuraN #interface

Form Input System by Pen Interface (YN, MN), pp. 431–434.

HCI-SEC-1997-Souya #elicitation #interface

A System for Eliciting and Helping to Score Test Answers Input Through a Handwriting Interface (TS), pp. 427–430.

HCI-SEC-1997-Sun #artificial reality

Data Input Devices and Application in Virtual Reality (HS), pp. 1001–1004.

PLILP-1997-JanousekM #lr

Formal Translations Described by Translation Grammars with LR(k) Input Grammars (JJ, BM), pp. 421–422.

DAC-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.

DAC-1996-DasguptaK96a #order #reliability

Hot-Carrier Reliability Enhancement via Input Reordering and Transistor Sizing (AD, RK), pp. 819–824.

DAC-1996-KahngM #analysis

Analysis of RC Interconnections Under Ramp Input (ABK, SM), pp. 533–538.

DAC-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.

DAC-1996-TsuiMMP #performance

Improving the Efficiency of Power Simulators by Input Vector Compaction (CYT, RM, DM, MP), pp. 165–168.

RWLW-1996-Viry

Input/Output for ELAN (PV), pp. 51–64.

TACAS-1996-Tretmans #generative #testing

Test Generation with Inputs, Outputs, and Quiescence (JT), pp. 127–146.

CHI-1996-ZhaiMB #multi #performance

The Influence of Muscle Groups on Performance of Multiple Degree-of-Freedom Input (SZ, PM, WB), pp. 308–315.

ICPR-1996-MunichP #visual notation

Visual input for pen-based computers (MEM, PP), pp. 33–37.

SAC-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.

SAC-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.

DAC-1995-GuptaKTWP #bound

The Elmore Delay as a Bound for RC Trees with Generalized Input Signals (RG, BK, BT, JW, LTP), pp. 364–369.

DAC-1995-MarculescuMP #correlation #estimation #performance

Efficient Power Estimation for Highly Correlated Input Streams (RM, DM, MP), pp. 628–634.

CHI-1995-KnepHSW

Dinosaur Input Device (BK, CH, RS, TW), pp. 304–309.

CHI-1995-KohlertO

Pictures as Input Data (DCK, DRO), pp. 464–471.

SAC-1995-Bothe #fuzzy #modelling #speech #visual notation

Fuzzy input coding for an artificial neural--network modelling visual speech movements (HHB), pp. 450–454.

CHI-1994-KabbashBS94a

Two-handed input in a compound task (PK, WB, AS), pp. 417–423.

CHI-1994-MurakamiN94a #3d

Direct and intuitive input device for 3-D shape deformation (TM, NN), pp. 465–470.

CHI-1994-Oviatt94a #interface

Interface techniques for minimizing disfluent input to spoken language systems (SLO), pp. 205–210.

SEKE-1994-Kalnins

Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.

ICDAR-1993-ToyokawaKKKIF #effectiveness #online #recognition

An on-line character recognition system for effective Japanese input (KT, KK, SK, HK, NI, MF), pp. 208–213.

HCI-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.

HCI-SHI-1993-EndoAM

The Context-Based Graphic Input System: T-Board (YE, SA, MM), pp. 1004–1009.

HCI-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.

HCI-SHI-1993-Watanabe #feedback #speech

Voice-Responsive Eye-Blinking Feedback for Improved Human-to-Machine Speech Input (TW), pp. 1091–1096.

INTERCHI-1993-KabbashMB #performance #using

Human performance using computer input devices in the preferred and non-preferred hands (PK, ISM, WB), pp. 474–481.

SAC-1993-Goforth #editing #interactive #simulation

Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.

CAV-1993-ProbstL #automaton #behaviour #verification

Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.

CSL-1993-GradelM #problem #random

Approximable Minimization Problems and Optimal Solutions on Random Inputs (EG, AM), pp. 139–149.

DAC-1992-PomeranzC #using

State Assignment Using Input/Output Functions (IP, KTC), pp. 573–577.

CHI-1992-JacobS #multi

The Perceptual Structure of Multidimensional Input Device Selection (RJKJ, LES), pp. 211–218.

CHI-1992-LimL #design

A Method for (recruiting) Methods: Facilitating Human Factors Input to System Design (KYL, JBL), pp. 549–556.

CADE-1992-Sutcliffe #analysis #set

Linear-Input Subset Analysis (GS), pp. 268–280.

DAC-1991-CiesielskiSD #approach #automaton #encoding

A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.

DAC-1991-LaddB #finite #multi #state machine #synthesis

Synthesis of Multiple-Input Change Asynchronous Finite state Machines (ML, WPB), pp. 309–314.

DAC-1991-SaldanhaVBS #constraints #encoding #framework

A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.

CHI-1991-MacKenzieSB #comparison

A comparison of input devices in element pointing and dragging tasks (ISM, AS, WB), pp. 161–166.

AdaEurope-1991-Rosskopf #ada #reuse

Reusable Input/Output Packages for Ada Avionic Applications (AR), pp. 338–360.

LOPSTR-1991-AlexandreBQ #logic programming #on the #source code #using

On Using Mode Input-output for Transforming Logic Programs (FA, KB, AQ), pp. 129–146.

LICS-1991-Vaandrager #algebra #automaton #on the #process

On the Relationship Between Process Algebra and Input/Output Automata (FWV), pp. 387–398.

SIGMOD-1990-SalzbergTGSUV #distributed #named

FastSort: A Distributed Single-Input Single-Output External Sort (BS, AT, JG, MS, SU, BV), pp. 94–101.

SIGMOD-1990-UllmanY #complexity #transitive

The Input/Output Complexity of Transitive Closure (JDU, MY), pp. 44–53.

ICALP-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.

CHI-1990-CardMR #design

The design space of input devices (SKC, JDM, GGR), pp. 117–124.

CHI-1989-WeimerG #visual notation

A synthetic visual environment with hand gesturing and voice input (DMW, SKG), pp. 235–240.

SOSP-1989-MassalinP #kernel #synthesis #thread

Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.

NACLP-1989-Wakayama #monad

Monadic Cases: Rediscovering Input Resolution (TW), pp. 115–130.

DAC-1987-Wunderlich #on the #random testing #testing

On Computing Optimized Input Probabilities for Random Tests (HJW), pp. 392–398.

HT-1987-Jones #hypermedia #parametricity #tool support

Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.

HCI-SES-1987-Roesser

A Notation for the Input and Storage of Mathematics: An Application of SGML (JRR), pp. 137–142.

DAC-1986-KuoC #generative #multi

Generating essential primes for a Boolean function with multiple-valued inputs (YSK, WKC), pp. 193–199.

SIGIR-1985-ChiFSL #database

Processing Free-Text Input to Obtain a Database of Medical Information (ECC, CF, NS, MSL), pp. 82–90.

SIGIR-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.

SIGIR-1982-SmithL #information retrieval

Information Retrieval by Voice Input and Output (FJS, RJL), pp. 275–288.

ICSE-1982-Ito #automation #documentation #image

Automatic Input of Flow Chart in Document Image (SI), pp. 319–329.

ILPC-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.

DAC-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.

DAC-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.

DAC-1979-IshiiYIS #diagrams #logic

An experimental input system of hand-drawn logic circuit diagram for LSI CAD (MI, MY, MI, HS), pp. 114–120.

DAC-1978-AllisonG #3d #architecture #visual notation

The three-dimensional graphical input method for architecture (HCA, DPG), pp. 133–137.

DAC-1976-Rutman

Non-gridded graphic input (RR), pp. 392–398.

SOSP-1971-FeiertagO #multi

The MULTICS Input/Output System (RJF, EIO), pp. 35–41.

DAC-1970-RockwellP #analysis #finite

Computer aided input/output for use with the finite element method of structural analysis (RDR, DSP), pp. 315–334.