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:
input (56)
use (23)
code (22)
test (19)
multipl (19)

Stem output$ (all stems)

210 papers:

SIGMODSIGMOD-2015-MeneghettiMCC #evaluation #query
Output-sensitive Evaluation of Prioritized Skyline Queries (NM, DM, PC, JC), pp. 1955–1967.
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-FeserCD #data type
Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.
CSCWCSCW-2015-GaoXHYCF #collaboration #multi
Two is Better Than One: Improving Multilingual Collaboration by Giving Two Machine Translation Outputs (GG, BX, DCH, ZY, DC, SRF), pp. 852–863.
ICMLICML-2015-WeissN #alias #learning
Learning Parametric-Output HMMs with Two Aliased States (RW, BN), pp. 635–644.
QAPLQAPL-2015-RosendahlK #analysis #probability
Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.
SACSAC-2015-Gregorio-Rodriguez #consistency #simulation
Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
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.
PODSPODS-2014-PaghS #complexity
The input/output complexity of triangle enumeration (RP, FS), pp. 224–233.
DLTDLT-2014-ReynierT #automaton #transducer
Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.
ICALPICALP-v2-2014-EmekSW #network
Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs (YE, JS, RW), pp. 183–195.
FMFM-2014-KrkaDMU
Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.
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-XuGFC
Improving machine translation by showing two outputs (BX, GG, SRF, DC), pp. 3743–3746.
CSCWCSCW-2014-YuAKK #comparison #learning #quality #social
A comparison of social, learning, and financial strategies on crowd engagement and output quality (LY, PA, AK, RK), pp. 967–978.
ICMLICML-c2-2014-LiZ #higher-order #learning #problem
High Order Regularization for Semi-Supervised Learning of Structured Output Problems (YL, RSZ), pp. 1368–1376.
ICPRICPR-2014-LiYLMDWX #higher-order #multi
Multiple-Output Regression with High-Order Structure Information (CL, LY, QL, FM, WD, YW, JX), pp. 3868–3873.
SACSAC-2014-BeoharM #consistency #testing
Input-output conformance testing based on featured transition systems (HB, MRM), pp. 1272–1278.
ISSTAISSTA-2014-AlshahwanH #detection #fault #testing
Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.
ASEASE-2013-ZhangS #automation #query #sql
Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.
DATEDATE-2013-DimitrakopoulosGNK #multi
Switch folding: network-on-chip routers with time-multiplexed output ports (GD, NG, CN, EK), pp. 344–349.
DATEDATE-2013-GaoGB #fault tolerance #scheduling #using
Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors (YG, SKG, MAB), pp. 927–932.
DATEDATE-2013-ShafaeiSP #logic #synthesis
Reversible logic synthesis of k-input, m-output lookup tables (AS, MS, MP), pp. 1235–1240.
DATEDATE-2013-WangYWZ #3d #configuration management #manycore #network
3D reconfigurable power switch network for demand-supply matching between multi-output power converters and many-core microprocessors (KW, HY, BW, CZ), pp. 1643–1648.
DRRDRR-2013-LundKR #multi
Combining multiple thresholding binarization values to improve OCR output (WBL, DJK, EKR).
DRRDRR-2013-SalahRP #adaptation #assessment #automation #detection #quality
Adaptive detection of missed text areas in OCR outputs: application to the automatic assessment of OCR quality in mass digitization projects (ABS, NR, TP).
FASEFASE-2013-CavalcantiH #csp #testing
Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.
ICSMEICSM-2013-NguyenNNN #refactoring #web
Output-Oriented Refactoring in PHP-Based Dynamic Web Applications (HAN, HVN, TTN, TNN), pp. 150–159.
CHICHI-2013-RoudautRSPLB #feedback #gesture #using
Gesture output: eyes-free output using a force feedback touch surface (AR, AR, CS, MP, PL, PB), pp. 2547–2556.
ICMLICML-c1-2013-GiguereLMS #algorithm #approach #bound #learning #predict
Risk Bounds and Learning Algorithms for the Regression Approach to Structured Output Prediction (SG, FL, MM, KS), pp. 107–114.
ICMLICML-c1-2013-KadriGP #approach #kernel #learning
A Generalized Kernel Approach to Structured Output Learning (HK, MG, PP), pp. 471–479.
ICMLICML-c3-2013-KontorovichNW #learning #on the
On learning parametric-output HMMs (AK, BN, RW), pp. 702–710.
POPLPOPL-2013-BotincanB #learning #specification
Sigma*: symbolic learning of input-output specifications (MB, DB), pp. 443–456.
ICSEICSE-2013-LetierH #automaton #modelling #requirements #synthesis
Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.
CASECASE-2012-YangTCHC
A dual-forecast scheme for production output with paired/unpaired WIP data (HCY, THT, CYC, MHH, FTC), pp. 581–586.
DACDAC-2012-ChatterjeeKMZB #architecture
Checking architectural outputs instruction-by-instruction on acceleration platforms (DC, AK, RM, AZ, VB), pp. 955–961.
ITiCSEITiCSE-2012-Larraza-MendiluzeGMMRALS
Nintendo® DS projects to learn computer input-output (ELM, NGV, JIM, JM, TRV, ISA, JFL, KS), p. 373.
DLTDLT-2012-Carton #transducer
Two-Way Transducers with a Two-Way Output Tape (OC), pp. 263–272.
ICMLICML-2012-BalasubramanianL #multi #predict
The Landmark Selection Method for Multiple Output Prediction (KB, GL), p. 41.
ICMLICML-2012-DanylukA #feature model #probability
Feature Selection via Probabilistic Outputs (APD, NA), p. 127.
ICMLICML-2012-DoppaFT #predict
Output Space Search for Structured Prediction (JRD, AF, PT), p. 107.
ICMLICML-2012-ZhangS
Maximum Margin Output Coding (YZ, JGS), p. 53.
ICPRICPR-2012-YanKMW #automation #game studies #learning
Automatic annotation of court games with structured output learning (FY, JK, KM, DW), pp. 3577–3580.
ICSEICSE-2012-AlshahwanH #effectiveness #testing
Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.
CAVCAV-2012-SinghG
Synthesizing Number Transformations from Input-Output Examples (RS, SG), pp. 634–651.
CASECASE-2011-AranovskiyBB #identification #metric
The method of identification for the “motor-dual-section device” system through output signal measurements (SA, AAB, VB), pp. 346–350.
ICDARICDAR-2011-LundR #fault #multi
Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.
CHICHI-2011-BrumbyDJG #how #performance
Fast or safe?: how performance objectives determine modality output choices while interacting on the move (DPB, SCED, CPJ, JJG), pp. 473–482.
CHICHI-2011-GrossYK #interface #named #visual notation
Dinah: an interface to assist non-programmers with selecting program code causing graphical output (PAG, JY, CK), pp. 3397–3400.
HCIHCI-DDA-2011-ChangZDWH #multi #sketching #synthesis
Face Sketch Synthesis via Multivariate Output Regression (LC, MZ, XD, ZW, YH), pp. 555–561.
ICMLICML-2011-BrouarddS #kernel #predict
Semi-supervised Penalized Output Kernel Regression for Link Prediction (CB, FdB, MS), pp. 593–600.
ICMLICML-2011-DinuzzoOGP #coordination #kernel #learning
Learning Output Kernels with Block Coordinate Descent (FD, CSO, PVG, GP), pp. 49–56.
ICMLICML-2011-GaoK #multi
Multiclass Boosting with Hinge Loss based on Output Coding (TG, DK), pp. 569–576.
KDIRKDIR-2011-KuhlweinUTGH #automation #multi #ranking #reasoning
Multi-output Ranking for Automated Reasoning (DK, JU, ET, HG, TH), pp. 42–51.
POPLPOPL-2011-Gulwani #automation #spreadsheet #string #using
Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.
SACSAC-2011-HuangH #detection #markov #multi #semantics
Semantic event detection in baseball videos based on a multi-output hidden Markov model (YFH, JJH), pp. 929–936.
ESEC-FSEESEC-FSE-2011-QiNR
Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.
ICLPICLP-2011-Brass #declarative
Declarative Output by Ordering Text Pieces (SB), pp. 151–161.
DATEDATE-2010-CupaiuoloST #architecture #detection #ml #throughput
Low-complexity high throughput VLSI architecture of soft-output ML MIMO detector (TC, MS, AT), pp. 1396–1401.
DATEDATE-2010-MartinelloMRR #approach #logic #multi #named #synthesis
KL-Cuts: A new approach for logic synthesis targeting multiple output blocks (OM, FSM, RPR, AIR), pp. 777–782.
DATEDATE-2010-PakerEB #algorithm #architecture #low cost #multi #standard
A low cost multi-standard near-optimal soft-output sphere decoder: Algorithm and architecture (ÖP, SE, AB), pp. 1402–1407.
DATEDATE-2010-RoxE #correlation
Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks (JR, RE), pp. 226–231.
VLDBVLDB-2010-WeiRM #quality #xml
Achieving High Output Quality under Limited Resources through Structure-based Spilling in XML Streams (MW, EAR, MM), pp. 1267–1278.
VLDBVLDB-2011-PapadimitriouGDK10
Output URL Bidding (PP, HGM, AD, SK), pp. 161–172.
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.
LATALATA-2010-PlatekML #automaton #functional #generative
Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
CIKMCIKM-2010-TakamuraO #learning #summary
Learning to generate summary as structured output (HT, MO), pp. 1437–1440.
ICMLICML-2010-ChangSGR #learning
Structured Output Learning with Indirect Supervision (MWC, VS, DG, DR), pp. 199–206.
ICPRICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using
Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.
ICPRICPR-2010-CiompiPR #approach #random #using
A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.
ICPRICPR-2010-DengSS #detection #network #pattern matching #pattern recognition #recognition
Applying Error-Correcting Output Coding to Enhance Convolutional Neural Network for Target Detection and Pattern Recognition (HD, GS, CYS), pp. 4291–4294.
ICPRICPR-2010-EscaleraMPRP #fault #framework #online
Adding Classes Online in Error Correcting Output Codes Framework (SE, DM, EP, PR, OP), pp. 2945–2948.
ICPRICPR-2010-SmithW #analysis
A Bias-Variance Analysis of Bootstrapped Class-Separability Weighting for Error-Correcting Output Code Ensembles (RSS, TW), pp. 61–64.
CASECASE-2009-MitraS #automaton #composition #hybrid
Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
CASECASE-2009-WuCLZCH
Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
DATEDATE-2009-LiFNBPC #architecture #co-evolution #design #detection #ml #parallel #set
Algorithm-architecture co-design of soft-output ML MIMO detector for parallel application specific instruction set processors (ML, RF, DN, BB, LVdP, FC), pp. 1608–1613.
ICDARICDAR-2009-DengSS #network #recognition
Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition (HD, GS, CYS), pp. 581–585.
ICDARICDAR-2009-PirloITS #classification #normalisation
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.
PODSPODS-2009-RastogiHMS #privacy #query
Relationship privacy: output perturbation for queries with joins (VR, MH, GM, DS), pp. 107–116.
SIGMODSIGMOD-2009-TranCP #query
Query by output (QTT, CYC, SP), pp. 535–548.
VLDBVLDB-2009-HasanZ #graph
Output Space Sampling for Graph Patterns (MAH, MJZ), pp. 730–741.
SASSAS-2009-DohKS #parsing #static analysis #string #using
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
CHICHI-2009-KoM #java
Finding causes of program output with the Java Whyline (AJK, BAM), pp. 1569–1578.
CIKMCIKM-2009-ChenLQZ #classification
Instance- and bag-level manifold regularization for aggregate outputs classification (SC, BL, MQ, CZ), pp. 1593–1596.
SOSPSOSP-2009-AltekarS #debugging #manycore #named
ODR: output-deterministic replay for multicore debugging (GA, IS), pp. 193–206.
CASECASE-2008-VahediS #towards
Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.
CASECASE-2008-WuCZLC
Developing a selection scheme for dual virtual-metrology outputs (WMW, FTC, DLZ, THL, JFC), pp. 230–235.
DACDAC-2008-HuSMH #multi #reduction
FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.
DATEDATE-2008-ArteagaF #architecture #hardware #implementation #named #novel
GMDS: Hardware implementation of novel real output queuing architecture (RA, FT, REC, VdA, RS), pp. 1450–1455.
VLDBVLDB-2008-XiaoT #query
Output perturbation with query relaxation (XX, YT), pp. 857–869.
CIKMCIKM-2008-MihailaSL #incremental
Anomaly-free incremental output in stream processing (GAM, IS, CAL), pp. 359–368.
ICMLICML-2008-SarawagiG
Accurate max-margin training for structured output spaces (SS, RG), pp. 888–895.
ICPRICPR-2008-EscaleraPR
Separability of ternary Error-Correcting Output Codes (SE, OP, PR), pp. 1–4.
ICPRICPR-2008-EscaleraPR08a
Error-Correcting output coding for chagasic patients characterization (SE, OP, PR), pp. 1–4.
ICPRICPR-2008-KashimaYIS
Regression with interval output values (HK, KY, AI, HS), pp. 1–4.
FATESTestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing
Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.
DATEDATE-2007-YeGM #interactive
Interactive presentation: An FPGA based all-digital transmitter with radio frequency output for software defined radio (ZY, JG, GM), pp. 21–26.
HTHT-2007-KehoeP #speech #synthesis #topic
Transforming DITA topics for speech synthesis output (AK, IJP), pp. 147–148.
ITiCSEITiCSE-2007-OechsleB #automation #concurrent #thread
Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.
ICMLICML-2007-GeurtsWd #kernel
Gradient boosting for kernelized output spaces (PG, LW, FdB), pp. 289–296.
SIGIRSIGIR-2007-TanW #categorisation
Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.
FATESTestCom-FATES-2007-HaarJJ #automaton #partial order #testing
Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.
DATEDATE-2006-LinC #multi
Multiple-fault diagnosis based on single-fault activation and single-output observation (YCL, KTC), pp. 424–429.
DATEDATE-2006-WangCG #fault #formal method #probability #testing #using
Test set enrichment using a probabilistic fault model and the theory of output deviations (ZW, KC, MG), pp. 1270–1275.
DATEDATE-DF-2006-ChengL #multi
A fast-lock mixed-mode DLL with wide-range operation and multiphase outputs (KHC, YLL), pp. 178–182.
WCREWCRE-2006-LimRL #bytecode
Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.
DLTDLT-2006-BastienCFR #context-free grammar #equivalence
Equivalence of Functions Represented by Simple Context-Free Grammars with Output (CB, JC, WF, WR), pp. 71–82.
ICALPICALP-v2-2006-ArmknechtK #algebra #multi
Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity (FA, MK), pp. 180–191.
FMFM-2006-LarsenNW #automaton #interface
Interface Input/Output Automata (KGL, UN, AW), pp. 82–97.
ICMLICML-2006-BrefeldS #learning
Semi-supervised learning for structured output variables (UB, TS), pp. 145–152.
ICMLICML-2006-GeurtsWd #kernel
Kernelizing the output of tree-based methods (PG, LW, FdB), pp. 345–352.
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-EscaleraPR #fault
Forest Extension of Error Correcting Output Codes and Boosted Landmarks (SE, OP, PR), pp. 104–107.
SACSAC-2006-ChenJH #detection #fault #generative #multi #sequence #testing
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
ICSEICSE-2006-Ko #debugging
Debugging by asking questions about program output (AJK), pp. 989–992.
FATESFATES-RV-2006-Osch #consistency #generative #hybrid #testing
Hybrid Input-Output Conformance and Test Generation (MvO), pp. 70–84.
DACDAC-2005-DongR #automation #megamodelling #performance
Automated nonlinear Macromodelling of output buffers for high-speed digital applications (ND, JSR), pp. 51–56.
DACDAC-2005-SasaoM #composition #functional #logic #multi #representation
BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition (TS, MM), pp. 373–378.
DATEDATE-2005-SandireddyA #detection #fault #multi
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits (RKKRS, VDA), pp. 1014–1019.
ICDARICDAR-2005-TakiguchiOM #comprehension #layout #recognition #semantics
A Fundamental Study of Output Translation from Layout Recognition and Semantic Understanding System for Mathematical Formulae (YT, MO, YM), pp. 745–749.
ICDARICDAR-2005-ZhouS #approach #fault #recognition #using
Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.
ITiCSEITiCSE-2005-MedeirosDGM #programming #using
Using a PC simulator to illustrate input-output programming techniques (PDM, VD, MCG, RFM), p. 388.
ICMLICML-2005-JinZ #algorithm #probability #using
A smoothed boosting algorithm using probabilistic output codes (RJ, JZ), pp. 361–368.
ICMLICML-2005-SunTLW #framework
Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.
KDDKDD-2005-BesemannD #integration #markov #mining
Integration of profile hidden Markov model output into association rule mining (CB, AD), pp. 538–543.
DACDAC-2004-KapoorJ #concurrent #logic #specification #synthesis
Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis (HKK, MBJ), pp. 830–833.
DACDAC-2004-SasaoM #logic #multi
A method to decompose multiple-output logic functions (TS, MM), pp. 428–433.
DATEDATE-v2-2004-JabirP #diagrams #multi #named #representation
MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.
SEFMSEFM-2004-LiYW #distributed #multi #testing
Distributed Testing of Multi Input/Output Transition System (ZL, XY, JW), pp. 271–280.
ICMLICML-2004-TsochantaridisHJA #machine learning
Support vector machine learning for interdependent and structured output spaces (IT, TH, TJ, YA).
ICPRICPR-v3-2004-KoKB04a #learning #multi #problem
Improved N-Division Output Coding for Multiclass Learning Problems (JK, EK, HB), pp. 470–473.
ICTSSTestCom-2004-LiWY #multi #testing
Testing Multi Input/Output Transition System with All-Observer (ZL, JW, XY), pp. 95–111.
DACDAC-2003-AgarwalSB #effectiveness
An effective capacitance based driver output model for on-chip RLC interconnects (KA, DS, DB), pp. 376–381.
DATEDATE-2003-DrineasM #concurrent #detection #fault #monitoring
Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees (PD, YM), pp. 11164–11167.
DATEDATE-2003-PomeranzR03a #dependence #testing
Test Data Compression Based on Output Dependence (IP, SMR), pp. 11186–11187.
VLDBVLDB-2003-HelmerNM #clustering
Estimating the Output Cardinality of Partial Preaggregation with a Measure of Clusteredness (SH, TN, GM), pp. 656–667.
VLDBVLDB-2003-ViglasNB #multi #query #streaming
Maximizing the Output Rate of Multi-Way Join Queries over Streaming Information Sources (SV, JFN, JB), pp. 285–296.
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.
DACDAC-2002-PomeranzKR #on the
On output response compression in the presence of unknown output values (IP, SK, SMR), pp. 255–258.
DATEDATE-2002-Kania #approach #multi #using
Improved Technology Mapping for PAL-Based Devices Using a New Approach to Multi-Output Boolean Functions (DK), p. 1087.
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.
PEPMASIA-PEPM-2002-KhooS #constraints
Output-constraint specialization (SCK, KS), pp. 106–116.
IFLIFL-2002-VervoortP #functional #lazy evaluation
Lazy Dynamic Input/Output in the Lazy Functional Language Clean (MV, MJP), pp. 101–117.
ICMLICML-2002-DeCoste #classification #distance #geometry #kernel #performance
Anytime Interval-Valued Outputs for Kernel Machines: Fast Support Vector Machine Classification via Distance Geometry (DD), pp. 99–106.
ICPRICPR-v2-2002-AltyncayD #classification #multi #normalisation #problem #question #why
Why Does Output Normalization Create Problems in Multiple Classifier Systems? (HA, MD), pp. 775–778.
ICPRICPR-v2-2002-WindeattA
Tree Pruning for Output Coded Ensembles (TW, GA), pp. 92–95.
DATEDATE-2001-BekooijEWB #behaviour #functional
Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
ICMLICML-2001-LatinneSD #classification #multi #problem
Adjusting the Outputs of a Classifier to New a Priori Probabilities May Significantly Improve Classification Accuracy: Evidence from a multi-class problem in remote sensing (PL, MS, CD), pp. 298–305.
SIGIRSIGIR-2001-ManmathaRF #modelling
Modeling Score Distributions for Combining the Outputs of Search Engines (RM, TMR, FF), pp. 267–275.
RERE-2001-Voas
Discovering Unanticipated Software Output Modes (JMV), p. 277.
SACSAC-2001-SerearunoH #comparison #multi #network
A comparison in training time of the single and multiple-output MLP neural networks (MS, TH), pp. 32–35.
ICALPICALP-2000-Konig #mobile #process #type system
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System (BK0), pp. 403–414.
ICEISICEIS-2000-OConnorW #self
An Information Theoretic Self-Organising Map with Disaggregation of Output Classes (MO, WJW), pp. 108–115.
ISSTAISSTA-2000-SchroederK #analysis #black box #reduction #using
Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
DATEDATE-1999-ThorntonWDD #diagrams #order #using
Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.
CIAAWIA-1999-SeuringG #automaton
A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits (MS, MG), pp. 158–163.
ECIRACIR-1999-KuralRJ #clustering #information retrieval
Clustering Information Retrieval Search Outputs (YK, SER, SJ).
DATEDATE-1998-BogueGJZ #self
Built-In Self-Test with an Alternating Output (TB, MG, HJ, YZ), pp. 180–184.
DATEDATE-1998-MetraFR
Highly Testable and Compact 1-out-of-n Code Checker with Single Output (CM, MF, BR), pp. 981–982.
DATEDATE-1998-ObergHK #communication #grammarware #hardware #protocol #scheduling #synthesis
Scheduling of Outputs in Grammar-based Hardware Synthesis of Data Communication Protocols (, AH, AK), pp. 596–603.
DATEDATE-1998-Scholl #composition #functional #multi
Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.
DATEDATE-1998-YarmolikHW #performance #self
Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs (VNY, SH, HJW), pp. 173–179.
SIGMODSIGMOD-1998-AvnurHLORRRW #named #navigation #online #refinement
CONTROL: Continuous Output and Navigation Technology with Refinement On-Line (RA, JMH, BL, CO, BR, VR, TR, KW), pp. 567–569.
STOCSTOC-1998-AndrewsZ #network
Stability Results for Networks with Input and Output Blocking (MA, LZ), pp. 369–377.
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-RenovellAB
On-chip analog output response compaction (MR, FA, YB), pp. 568–572.
ICDARICDAR-1997-KeeniSN #distributed #network #on the #representation #using
On Distributed Representation of Output Layer for Recognizing Japanese Kana characters Using Neural Networks (KK, HS, KN), pp. 600–603.
ICMLICML-1997-Schapire #learning #multi #problem #using
Using output codes to boost multiclass learning problems (RES), pp. 313–321.
SACSAC-1997-LewisSZ #network #performance #retrieval #scalability
Scaling of neural network inferencing by efficient storage and retrieval of outputs (BL, AS, JZ), pp. 10–14.
CADECADE-1997-WolfS #named #natural language #proving
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output (AW, JS), pp. 61–64.
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.
DACDAC-1995-WurthEA #algorithm #composition #functional #multi
Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm (BW, KE, KA), pp. 54–59.
VLDBVLDB-1995-HoelS #benchmark #metric
Benchmarking Spatial Join Operations with Spatial Output (EGH, HS), pp. 606–618.
ICMLICML-1995-KongD #bias
Error-Correcting Output Coding Corrects Bias and Variance (EBK, TGD), pp. 313–321.
DACDAC-1994-TomitaYSH #design #fault #logic #multi
Rectification of Multiple Logic Design Errors in Multiple Output Circuits (MT, TY, FS, KH), pp. 212–217.
DATEEDAC-1994-ChangCM #multi
Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions (SCC, DIC, MMS), pp. 620–624.
SEKESEKE-1994-Kalnins
Extensions of GRAPES/4GL for Windows style input/output (AK), pp. 201–208.
ICLPICLP-1994-BigotGD #logic programming #source code
Output Value Placement in Moded Logic Programs (PAB, DG, SKD), pp. 175–189.
HPDCHPDC-1993-MaR #composition #multi #named #queue
MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.
CAVCAV-1993-ProbstL #automaton #behaviour #verification
Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.
DACDAC-1992-Malik #multi #network #optimisation #using
Optimization of Primitive Gate Networks Using Multiple Output Two-Level Minimization (AAM), pp. 449–453.
DACDAC-1992-PomeranzC #using
State Assignment Using Input/Output Functions (IP, KTC), pp. 573–577.
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-SaldanhaVBS #constraints #encoding #framework
A Framework for Satisfying Input and Output Encoding Constraints (AS, TV, RKB, ALSV), pp. 170–175.
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.
DACDAC-1990-ChengA #complexity #multi
An Entropy Measure for the Complexity of Multi-Output Boolean Functions (KTC, VDA), pp. 302–305.
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.
STOCSTOC-1990-Mulmuley #diagrams #order
Output Sensitive Construction of Levels and Voronoi Diagrams in R^d of Order 1 to k (KM), pp. 322–330.
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.
SOSPSOSP-1989-MassalinP #kernel #synthesis #thread
Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.
DACDAC-1988-HelliwellP #algorithm #multi #performance
A Fast Algorithm to Minimize Multi-Output Mixed-Polarity Generalized Reed-Muller Forms (MH, MAP), pp. 427–432.
DACDAC-1988-WeyC #named
PLAYGROUND: Minimization of PLAs with Mixed Ground True Outputs (CLW, TYC), pp. 421–426.
ICALPICALP-1988-DietzfelbingerM #complexity #matrix #turing machine
The Complexity of Matrix Transposition on One-Tape Off-Line Turing Machines with Output Tape (MD, WM), pp. 188–200.
DACDAC-1985-AgrawalAB #multi
Multiple output minimization (PA, VDA, NNB), pp. 674–680.
SIGIRSIGIR-1985-Radecki #clustering #ranking #retrieval
Output Ranking Methodology for Document-Clustering-Based Boolean Retrieval Systems (TR), pp. 70–76.
SIGIRSIGIR-1984-KraftB #behaviour #information retrieval #roadmap
Advances in a Bayesian Decision Model of User Stopping Behaviour for Scanning the Output of an Information Retrieval System (DHK, DAB), pp. 421–433.
SIGIRSIGIR-1982-SmithL #information retrieval
Information Retrieval by Voice Input and Output (FJS, RJL), pp. 275–288.
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-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.
VLDBVLDB-1975-Senko #data type #specification
Specification of Stored Data Structures and Desired Output Results in DIAM II with FORAL (MES), pp. 557–571.
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.
DACSHARE-1964-GordonO
Printer graphics: New horizons in graphic output on the IBM 1403 printer (MG, AO).

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.