Stem output$ (all stems)

210 papers:

SIGMOD-2015-MeneghettiMCC #evaluation #query

Output-sensitive Evaluation of Prioritized Skyline Queries (NM, DM, PC, JC), pp. 1955–1967.

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-FeserCD #data type

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

CSCW-2015-GaoXHYCF #collaboration #multi

Two is Better Than One: Improving Multilingual Collaboration by Giving Two Machine Translation Outputs (GG, BX, DCH, ZY, DC, SRF), pp. 852–863.

ICML-2015-WeissN #alias #learning

Learning Parametric-Output HMMs with Two Aliased States (RW, BN), pp. 635–644.

QAPL-2015-RosendahlK #analysis #probability

Probabilistic Output Analysis by Program Manipulation (MR, MHK), pp. 110–124.

SAC-2015-Gregorio-Rodriguez #consistency #simulation

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

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.

PODS-2014-PaghS #complexity

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

DLT-2014-ReynierT #automaton #transducer

Visibly Pushdown Transducers with Well-Nested Outputs (PAR, JMT), pp. 129–141.

ICALP-v2-2014-EmekSW #network

Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs (YE, JS, RW), pp. 183–195.

FM-2014-KrkaDMU

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

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-XuGFC

Improving machine translation by showing two outputs (BX, GG, SRF, DC), pp. 3743–3746.

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

ICML-c2-2014-LiZ #higher-order #learning #problem

High Order Regularization for Semi-Supervised Learning of Structured Output Problems (YL, RSZ), pp. 1368–1376.

ICPR-2014-LiYLMDWX #higher-order #multi

Multiple-Output Regression with High-Order Structure Information (CL, LY, QL, FM, WD, YW, JX), pp. 3868–3873.

SAC-2014-BeoharM #consistency #testing

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

ISSTA-2014-AlshahwanH #detection #fault #testing

Coverage and fault detection of the output-uniqueness test selection criteria (NA, MH), pp. 181–192.

ASE-2013-ZhangS #automation #query #sql

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

DATE-2013-DimitrakopoulosGNK #multi

Switch folding: network-on-chip routers with time-multiplexed output ports (GD, NG, CN, EK), pp. 344–349.

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

DATE-2013-ShafaeiSP #logic #synthesis

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

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

DRR-2013-LundKR #multi

Combining multiple thresholding binarization values to improve OCR output (WBL, DJK, EKR).

DRR-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).

FASE-2013-CavalcantiH #csp #testing

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

ICSM-2013-NguyenNNN #refactoring #web

Output-Oriented Refactoring in PHP-Based Dynamic Web Applications (HAN, HVN, TTN, TNN), pp. 150–159.

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

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

ICML-c1-2013-KadriGP #approach #kernel #learning

A Generalized Kernel Approach to Structured Output Learning (HK, MG, PP), pp. 471–479.

ICML-c3-2013-KontorovichNW #learning #on the

On learning parametric-output HMMs (AK, BN, RW), pp. 702–710.

POPL-2013-BotincanB #learning #specification

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

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

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

CASE-2012-YangTCHC

A dual-forecast scheme for production output with paired/unpaired WIP data (HCY, THT, CYC, MHH, FTC), pp. 581–586.

DAC-2012-ChatterjeeKMZB #architecture

Checking architectural outputs instruction-by-instruction on acceleration platforms (DC, AK, RM, AZ, VB), pp. 955–961.

ITiCSE-2012-Larraza-MendiluzeGMMRALS

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

DLT-2012-Carton #transducer

Two-Way Transducers with a Two-Way Output Tape (OC), pp. 263–272.

ICML-2012-BalasubramanianL #multi #predict

The Landmark Selection Method for Multiple Output Prediction (KB, GL), p. 41.

ICML-2012-DanylukA #feature model #probability

Feature Selection via Probabilistic Outputs (APD, NA), p. 127.

ICML-2012-DoppaFT #predict

Output Space Search for Structured Prediction (JRD, AF, PT), p. 107.

ICML-2012-ZhangS

Maximum Margin Output Coding (YZ, JGS), p. 53.

ICPR-2012-YanKMW #automation #game studies #learning

Automatic annotation of court games with structured output learning (FY, JK, KM, DW), pp. 3577–3580.

ICSE-2012-AlshahwanH #effectiveness #testing

Augmenting test suites effectiveness by increasing output diversity (NA, MH), pp. 1345–1348.

CAV-2012-SinghG

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

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

ICDAR-2011-LundR #fault #multi

Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.

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

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

HCI-DDA-2011-ChangZDWH #multi #sketching #synthesis

Face Sketch Synthesis via Multivariate Output Regression (LC, MZ, XD, ZW, YH), pp. 555–561.

ICML-2011-BrouarddS #kernel #predict

Semi-supervised Penalized Output Kernel Regression for Link Prediction (CB, FdB, MS), pp. 593–600.

ICML-2011-DinuzzoOGP #coordination #kernel #learning

Learning Output Kernels with Block Coordinate Descent (FD, CSO, PVG, GP), pp. 49–56.

ICML-2011-GaoK #multi

Multiclass Boosting with Hinge Loss based on Output Coding (TG, DK), pp. 569–576.

KDIR-2011-KuhlweinUTGH #automation #multi #ranking #reasoning

Multi-output Ranking for Automated Reasoning (DK, JU, ET, HG, TH), pp. 42–51.

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

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

SAC-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-FSE-2011-QiNR

Path exploration based on symbolic output (DQ, HDTN, AR), pp. 278–288.

ICLP-2011-Brass #declarative

Declarative Output by Ordering Text Pieces (SB), pp. 151–161.

DATE-2010-CupaiuoloST #architecture #detection #ml #throughput

Low-complexity high throughput VLSI architecture of soft-output ML MIMO detector (TC, MS, AT), pp. 1396–1401.

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

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

DATE-2010-RoxE #correlation

Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks (JR, RE), pp. 226–231.

VLDB-2010-WeiRM #quality #xml

Achieving High Output Quality under Limited Resources through Structure-based Spilling in XML Streams (MW, EAR, MM), pp. 1267–1278.

VLDB-2011-PapadimitriouGDK10

Output URL Bidding (PP, HGM, AD, SK), pp. 161–172.

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.

LATA-2010-PlatekML #automaton #functional #generative

Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.

CIKM-2010-TakamuraO #learning #summary

Learning to generate summary as structured output (HT, MO), pp. 1437–1440.

ICML-2010-ChangSGR #learning

Structured Output Learning with Indirect Supervision (MWC, VS, DG, DR), pp. 199–206.

ICPR-2010-ArvanitopoulosBT #fault #linear #subclass #using

Subclass Error Correcting Output Codes Using Fisher’s Linear Discriminant Ratio (NA, DB, AT), pp. 2953–2956.

ICPR-2010-CiompiPR #approach #random #using

A Meta-Learning Approach to Conditional Random Fields Using Error-Correcting Output Codes (FC, OP, PR), pp. 710–713.

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

ICPR-2010-EscaleraMPRP #fault #framework #online

Adding Classes Online in Error Correcting Output Codes Framework (SE, DM, EP, PR, OP), pp. 2945–2948.

ICPR-2010-SmithW #analysis

A Bias-Variance Analysis of Bootstrapped Class-Separability Weighting for Error-Correcting Output Code Ensembles (RSS, TW), pp. 61–64.

CASE-2009-MitraS #automaton #composition #hybrid

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

CASE-2009-WuCLZCH

Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.

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

ICDAR-2009-DengSS #network #recognition

Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition (HD, GS, CYS), pp. 581–585.

ICDAR-2009-PirloITS #classification #normalisation

Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping (GP, DI, CAT, ES), pp. 416–420.

PODS-2009-RastogiHMS #privacy #query

Relationship privacy: output perturbation for queries with joins (VR, MH, GM, DS), pp. 107–116.

SIGMOD-2009-TranCP #query

Query by output (QTT, CYC, SP), pp. 535–548.

VLDB-2009-HasanZ #graph

Output Space Sampling for Graph Patterns (MAH, MJZ), pp. 730–741.

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

CHI-2009-KoM #java

Finding causes of program output with the Java Whyline (AJK, BAM), pp. 1569–1578.

CIKM-2009-ChenLQZ #classification

Instance- and bag-level manifold regularization for aggregate outputs classification (SC, BL, MQ, CZ), pp. 1593–1596.

SOSP-2009-AltekarS #debugging #manycore #named

ODR: output-deterministic replay for multicore debugging (GA, IS), pp. 193–206.

CASE-2008-VahediS #towards

Towards output-sensitive computation of two-finger caging grasps (MV, AFvdS), pp. 73–78.

CASE-2008-WuCZLC

Developing a selection scheme for dual virtual-metrology outputs (WMW, FTC, DLZ, THL, JFC), pp. 230–235.

DAC-2008-HuSMH #multi #reduction

FPGA area reduction by multi-output function based sequential resynthesis (YH, VS, RM, LH), pp. 24–29.

DATE-2008-ArteagaF #architecture #hardware #implementation #named #novel

GMDS: Hardware implementation of novel real output queuing architecture (RA, FT, REC, VdA, RS), pp. 1450–1455.

VLDB-2008-XiaoT #query

Output perturbation with query relaxation (XX, YT), pp. 857–869.

CIKM-2008-MihailaSL #incremental

Anomaly-free incremental output in stream processing (GAM, IS, CAL), pp. 359–368.

ICML-2008-SarawagiG

Accurate max-margin training for structured output spaces (SS, RG), pp. 888–895.

ICPR-2008-EscaleraPR

Separability of ternary Error-Correcting Output Codes (SE, OP, PR), pp. 1–4.

ICPR-2008-EscaleraPR08a

Error-Correcting output coding for chagasic patients characterization (SE, OP, PR), pp. 1–4.

ICPR-2008-KashimaYIS

Regression with interval output values (HK, KY, AI, HS), pp. 1–4.

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

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

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

HT-2007-KehoeP #speech #synthesis #topic

Transforming DITA topics for speech synthesis output (AK, IJP), pp. 147–148.

ITiCSE-2007-OechsleB #automation #concurrent #thread

Checking automatically the output of concurrent threads (RO, KB), pp. 43–47.

ICML-2007-GeurtsWd #kernel

Gradient boosting for kernelized output spaces (PG, LW, FdB), pp. 289–296.

SIGIR-2007-TanW #categorisation

Combining error-correcting output codes and model-refinement for text categorization (ST, YW), pp. 699–700.

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

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

DATE-2006-LinC #multi

Multiple-fault diagnosis based on single-fault activation and single-output observation (YCL, KTC), pp. 424–429.

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

DATE-DF-2006-ChengL #multi

A fast-lock mixed-mode DLL with wide-range operation and multiphase outputs (KHC, YLL), pp. 178–182.

WCRE-2006-LimRL #bytecode

Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.

DLT-2006-BastienCFR #context-free grammar #equivalence

Equivalence of Functions Represented by Simple Context-Free Grammars with Output (CB, JC, WF, WR), pp. 71–82.

ICALP-v2-2006-ArmknechtK #algebra #multi

Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity (FA, MK), pp. 180–191.

FM-2006-LarsenNW #automaton #interface

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

ICML-2006-BrefeldS #learning

Semi-supervised learning for structured output variables (UB, TS), pp. 145–152.

ICML-2006-GeurtsWd #kernel

Kernelizing the output of tree-based methods (PG, LW, FdB), pp. 345–352.

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-EscaleraPR #fault

Forest Extension of Error Correcting Output Codes and Boosted Landmarks (SE, OP, PR), pp. 104–107.

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

ICSE-2006-Ko #debugging

Debugging by asking questions about program output (AJK), pp. 989–992.

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

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

DAC-2005-DongR #automation #megamodelling #performance

Automated nonlinear Macromodelling of output buffers for high-speed digital applications (ND, JSR), pp. 51–56.

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

DATE-2005-SandireddyA #detection #fault #multi

Diagnostic and Detection Fault Collapsing for Multiple Output Circuits (RKKRS, VDA), pp. 1014–1019.

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

ICDAR-2005-ZhouS #approach #fault #recognition #using

Unconstrained Numeral Pair Recognition Using Enhanced Error Correcting Output Coding: A Holistic Approach (JZ, CYS), pp. 484–488.

ITiCSE-2005-MedeirosDGM #programming #using

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

ICML-2005-JinZ #algorithm #probability #using

A smoothed boosting algorithm using probabilistic output codes (RJ, JZ), pp. 361–368.

ICML-2005-SunTLW #framework

Unifying the error-correcting and output-code AdaBoost within the margin framework (YS, ST, JL, DW), pp. 872–879.

KDD-2005-BesemannD #integration #markov #mining

Integration of profile hidden Markov model output into association rule mining (CB, AD), pp. 538–543.

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

DAC-2004-SasaoM #logic #multi

A method to decompose multiple-output logic functions (TS, MM), pp. 428–433.

DATE-v2-2004-JabirP #diagrams #multi #named #representation

MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions (AMJ, DKP), pp. 1388–1389.

SEFM-2004-LiYW #distributed #multi #testing

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

ICML-2004-TsochantaridisHJA #machine learning

Support vector machine learning for interdependent and structured output spaces (IT, TH, TJ, YA).

ICPR-v3-2004-KoKB04a #learning #multi #problem

Improved N-Division Output Coding for Multiclass Learning Problems (JK, EK, HB), pp. 470–473.

TestCom-2004-LiWY #multi #testing

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

DAC-2003-AgarwalSB #effectiveness

An effective capacitance based driver output model for on-chip RLC interconnects (KA, DS, DB), pp. 376–381.

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

DATE-2003-PomeranzR03a #dependence #testing

Test Data Compression Based on Output Dependence (IP, SMR), pp. 11186–11187.

VLDB-2003-HelmerNM #clustering

Estimating the Output Cardinality of Partial Preaggregation with a Measure of Clusteredness (SH, TN, GM), pp. 656–667.

VLDB-2003-ViglasNB #multi #query #streaming

Maximizing the Output Rate of Multi-Way Join Queries over Streaming Information Sources (SV, JFN, JB), pp. 285–296.

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.

DAC-2002-PomeranzKR #on the

On output response compression in the presence of unknown output values (IP, SK, SMR), pp. 255–258.

DATE-2002-Kania #approach #multi #using

Improved Technology Mapping for PAL-Based Devices Using a New Approach to Multi-Output Boolean Functions (DK), p. 1087.

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.

ASIA-PEPM-2002-KhooS #constraints

Output-constraint specialization (SCK, KS), pp. 106–116.

IFL-2002-VervoortP #functional #lazy evaluation

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

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

ICPR-v2-2002-AltyncayD #classification #multi #normalisation #problem #question #why

Why Does Output Normalization Create Problems in Multiple Classifier Systems? (HA, MD), pp. 775–778.

ICPR-v2-2002-WindeattA

Tree Pruning for Output Coded Ensembles (TW, GA), pp. 92–95.

DATE-2001-BekooijEWB #behaviour #functional

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

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

SIGIR-2001-ManmathaRF #modelling

Modeling Score Distributions for Combining the Outputs of Search Engines (RM, TMR, FF), pp. 267–275.

RE-2001-Voas

Discovering Unanticipated Software Output Modes (JMV), p. 277.

SAC-2001-SerearunoH #comparison #multi #network

A comparison in training time of the single and multiple-output MLP neural networks (MS, TH), pp. 32–35.

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

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

ICEIS-2000-OConnorW #self

An Information Theoretic Self-Organising Map with Disaggregation of Output Classes (MO, WJW), pp. 108–115.

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

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

DATE-1999-ThorntonWDD #diagrams #order #using

Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.

WIA-1999-SeuringG #automaton

A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits (MS, MG), pp. 158–163.

ACIR-1999-KuralRJ #clustering #information retrieval

Clustering Information Retrieval Search Outputs (YK, SER, SJ).

DATE-1998-BogueGJZ #self

Built-In Self-Test with an Alternating Output (TB, MG, HJ, YZ), pp. 180–184.

DATE-1998-MetraFR

Highly Testable and Compact 1-out-of-n Code Checker with Single Output (CM, MF, BR), pp. 981–982.

DATE-1998-ObergHK #communication #grammarware #hardware #protocol #scheduling #synthesis

Scheduling of Outputs in Grammar-based Hardware Synthesis of Data Communication Protocols (JÖ, AH, AK), pp. 596–603.

DATE-1998-Scholl #composition #functional #multi

Multi-output Functional Decomposition with Exploitation of Don’t Cares (CS), pp. 743–748.

DATE-1998-YarmolikHW #performance #self

Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs (VNY, SH, HJW), pp. 173–179.

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

STOC-1998-AndrewsZ #network

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

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-RenovellAB

On-chip analog output response compaction (MR, FA, YB), pp. 568–572.

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

ICML-1997-Schapire #learning #multi #problem #using

Using output codes to boost multiclass learning problems (RES), pp. 313–321.

SAC-1997-LewisSZ #network #performance #retrieval #scalability

Scaling of neural network inferencing by efficient storage and retrieval of outputs (BL, AS, JZ), pp. 10–14.

CADE-1997-WolfS #named #natural language #proving

ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output (AW, JS), pp. 61–64.

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.

DAC-1995-WurthEA #algorithm #composition #functional #multi

Functional Multiple-Output Decomposition: Theory and an Implicit Algorithm (BW, KE, KA), pp. 54–59.

VLDB-1995-HoelS #benchmark #metric

Benchmarking Spatial Join Operations with Spatial Output (EGH, HS), pp. 606–618.

ICML-1995-KongD #bias

Error-Correcting Output Coding Corrects Bias and Variance (EBK, TGD), pp. 313–321.

DAC-1994-TomitaYSH #design #fault #logic #multi

Rectification of Multiple Logic Design Errors in Multiple Output Circuits (MT, TY, FS, KH), pp. 212–217.

EDAC-1994-ChangCM #multi

Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions (SCC, DIC, MMS), pp. 620–624.

SEKE-1994-Kalnins

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

ICLP-1994-BigotGD #logic programming #source code

Output Value Placement in Moded Logic Programs (PAB, DG, SKD), pp. 175–189.

HPDC-1993-MaR #composition #multi #named #queue

MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.

CAV-1993-ProbstL #automaton #behaviour #verification

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

DAC-1992-Malik #multi #network #optimisation #using

Optimization of Primitive Gate Networks Using Multiple Output Two-Level Minimization (AAM), pp. 449–453.

DAC-1992-PomeranzC #using

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

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-SaldanhaVBS #constraints #encoding #framework

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

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.

DAC-1990-ChengA #complexity #multi

An Entropy Measure for the Complexity of Multi-Output Boolean Functions (KTC, VDA), pp. 302–305.

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.

STOC-1990-Mulmuley #diagrams #order

Output Sensitive Construction of Levels and Voronoi Diagrams in R^d of Order 1 to k (KM), pp. 322–330.

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.

SOSP-1989-MassalinP #kernel #synthesis #thread

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

DAC-1988-HelliwellP #algorithm #multi #performance

A Fast Algorithm to Minimize Multi-Output Mixed-Polarity Generalized Reed-Muller Forms (MH, MAP), pp. 427–432.

DAC-1988-WeyC #named

PLAYGROUND: Minimization of PLAs with Mixed Ground True Outputs (CLW, TYC), pp. 421–426.

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

DAC-1985-AgrawalAB #multi

Multiple output minimization (PA, VDA, NNB), pp. 674–680.

SIGIR-1985-Radecki #clustering #ranking #retrieval

Output Ranking Methodology for Document-Clustering-Based Boolean Retrieval Systems (TR), pp. 70–76.

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

SIGIR-1982-SmithL #information retrieval

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

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

VLDB-1975-Senko #data type #specification

Specification of Stored Data Structures and Desired Output Results in DIAM II with FORAL (MES), pp. 557–571.

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.

SHARE-1964-GordonO

Printer graphics: New horizons in graphic output on the IBM 1403 printer (MG, AO).