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:
model (16)
time (15)
effici (10)
analysi (10)
comput (10)

Stem arbitrari$ (all stems)

131 papers:

CASECASE-2015-AcarS #design #fault
Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs (ANA, KWS), pp. 825–830.
DACDAC-2015-BockHKS #algorithm #modelling
Local search algorithms for timing-driven placement under arbitrary delay models (AB, SH, NK, US), p. 6.
STOCSTOC-2015-Bresler #graph #learning #modelling
Efficiently Learning Ising Models on Arbitrary Graphs (GB), pp. 771–782.
STOCSTOC-2015-LiRSS #learning #statistics
Learning Arbitrary Statistical Mixtures of Discrete Distributions (JL, YR, LJS, CS), pp. 743–752.
HCIDHM-EH-2015-EndoTM #estimation #modelling
Estimation of Arbitrary Human Models from Anthropometric Dimensions (YE, MT, MM), pp. 3–14.
ASPLOSASPLOS-2015-SungA #named #performance
DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
DACDAC-2014-WangX #on the #performance #simulation
On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DATEDATE-2014-MottaghiRD #framework #named #network #performance
RETLab: A fast design-automation framework for arbitrary RET networks (MDM, AR, CD), pp. 1–6.
DATEDATE-2014-WangLXCP #energy #hybrid
Minimizing state-of-health degradation in hybrid electrical energy storage systems with arbitrary source and load profiles (YW, XL, QX, NC, MP), pp. 1–4.
STOCSTOC-2014-EisentragerHK0 #algorithm #quantum
A quantum algorithm for computing the unit group of an arbitrary degree number field (KE, SH, AK, FS), pp. 293–302.
STOCSTOC-2014-Neeman #testing
Testing surface area with arbitrary accuracy (JN), pp. 393–397.
KDIRKDIR-2014-BigdeliMRM #clustering #summary
Arbitrary Shape Cluster Summarization with Gaussian Mixture Model (EB, MM, BR, SM), pp. 43–52.
KRKR-2014-Dyrkolbotn #how #set #using
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (SKD).
OOPSLAOOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
ICLPICLP-J-2014-CaropreseTTZ #abduction
A Measure of Arbitrariness in Abductive Explanations (LC, IT, MT, EZ), pp. 665–679.
DATEDATE-2013-NeukirchnerQMAE #analysis #realtime
Sensitivity analysis for arbitrary activation patterns in real-time systems (MN, SQ, TM, PA, RE), pp. 135–140.
ICDARICDAR-2013-WangUL #recognition
Part-Based Recognition of Arbitrary Fonts (SW, SU, ML), pp. 170–174.
VLDBVLDB-2013-Bartos #modelling #similarity
Universal Indexing of Arbitrary Similarity Models (TB), pp. 1392–1397.
ICALPICALP-v1-2013-Grier #finite #game studies
Deciding the Winner of an Arbitrary Finite Poset Game Is PSPACE-Complete (DG), pp. 497–503.
SACSAC-2013-JancewiczKMRS #execution
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals (RJJ, AK, LDM, AR, AAS), pp. 1816–1823.
LICSLICS-2013-Hales #logic #synthesis
Arbitrary Action Model Logic and Action Model Synthesis (JH), pp. 253–262.
CASECASE-2012-GhonaimGS #on the #problem
On the assignment problem of arbitrary processing time operations in partially overlapping manufacturing resources (WG, HG, WS), pp. 341–346.
DATEDATE-2012-AxerSE #bound #probability
Probabilistic response time bound for CAN messages with arbitrary deadlines (PA, MS, RE), pp. 1114–1117.
STOCSTOC-2012-GalHKPV #bound
Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates (AG, KAH, MK, PP, EV), pp. 479–494.
ICALPICALP-v2-2012-KaneMSS #data type
Counting Arbitrary Subgraphs in Data Streams (DMK, KM, TS, HS), pp. 598–609.
GT-VMTGT-VMT-2012-Taentzer #generative #graph #multi
Instance Generation from Type Graphs with Arbitrary Multiplicities (GT).
SASSAS-2011-EsparzaG #abstraction #probability
Probabilistic Abstractions with Arbitrary Domains (JE, AG), pp. 334–350.
ICALPICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
HCIHCI-MIIE-2011-BraunK #identification #smarttech
Passive Identification and Control of Arbitrary Devices in Smart Environments (AB, FK), pp. 147–154.
CIKMCIKM-2011-LangeN11a #composition #metric #performance #similarity
Efficient similarity search: arbitrary similarity measures, arbitrary composition (DL, FN), pp. 1679–1688.
DATEDATE-2010-WieckowskiSBCIPA #analysis #black box
A black box method for stability analysis of arbitrary SRAM cell structures (MW, DS, DB, VC, SI, CP, RCA), pp. 795–800.
DATEDATE-2010-YeHL #fault #multi
Diagnosis of multiple arbitrary faults with mask and reinforcement effect (JY, YH, XL), pp. 885–890.
VLDBVLDB-2010-PD #metric #performance #retrieval #similarity
Efficient RkNN Retrieval with Arbitrary Non-Metric Similarity Measures (DP, PD), pp. 1243–1254.
STOCSTOC-2010-FraigniaudG #network #on the
On the searchability of small-world networks with arbitrary underlying structure (PF, GG), pp. 389–398.
DLTDLT-2010-DrosteV #automaton #bound #logic #multi #theorem
Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices (MD, HV), pp. 160–172.
ICPRICPR-2010-Coeurjolly #approximate #performance
Fast and Accurate Approximation of the Euclidean Opening Function in Arbitrary Dimension (DC), pp. 229–232.
ICPRICPR-2010-HoriKY #generative #image #multi #sequence #using
Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
KEODKEOD-2010-NeumaierS #framework #representation
A Framework for Representing and Processing Arbitrary Mathematics (AN, PS), pp. 476–479.
ECMFAECMFA-2010-SchmidtPJF #component #library
An Integrated Facet-Based Library for Arbitrary Software Components (MS, JP, JJ, MAF), pp. 261–276.
SACSAC-2010-ChandaFP #classification #documentation
Structural handwritten and machine print classification for sparse content and arbitrary oriented document fragments (SC, KF, UP), pp. 18–22.
SACSAC-2010-Volz #metamodelling #representation
A meta model for representing arbitrary meta model hierarchies (BV), pp. 2371–2372.
ICSTSAT-2010-BubeckB #quantifier
Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN (UB, HKB), pp. 58–70.
DACDAC-2009-El-MoselhyED #algorithm #performance
An efficient resistance sensitivity extraction algorithm for conductors of arbitrary shapes (TAEM, IME, BD), pp. 770–775.
DATEDATE-2009-MilderHP #automation #generative #permutation #streaming
Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.
DocEngDocEng-2009-PeroniV #order
Annotations with EARMARK for arbitrary, overlapping and out-of order markup (SP, FV), pp. 171–180.
ICALPICALP-v1-2009-KoufogiannakisY #algorithm #approximate #constraints
Greedy Δ-Approximation Algorithm for Covering with Arbitrary Constraints and Submodular Cost (CK, NEY), pp. 634–652.
SLESLE-2009-Jugel #api #generative #library
Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.
CASECASE-2008-BillerMMZ #modelling #reliability
Closed production lines with arbitrary models of machine reliability (SB, SPM, SMM, LZ), pp. 466–471.
DACDAC-2008-HeloueN #analysis #modelling
Parameterized timing analysis with general delay models and arbitrary variation sources (KRH, FNN), pp. 403–408.
DACDAC-2008-ImaiSNM #analysis #framework #parametricity #statistics
Non-parametric statistical static timing analysis: an SSTA framework for arbitrary distribution (MI, TS, NN, KM), pp. 698–701.
DATEDATE-2008-KoenigSB #algorithm #novel #recursion
A Novel Recursive Algorithm for Bit-Efficient Realization of Arbitrary Length Inverse Modified Cosine Transforms (RK, TS, JB), pp. 604–609.
FLOPSFLOPS-2008-Julien #induction #integer #using
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (NJ), pp. 48–63.
ICPRICPR-2008-YousriKI #clustering #novel
A novel validity measure for clusters of arbitrary shapes and densities (NAY, MSK, MAI), pp. 1–4.
ICPRICPR-2008-ZhangLDZ #documentation #image #segmentation
Arbitrary warped document image restoration based on segmentation and Thin-Plate Splines (YZ, CL, XD, YZ), pp. 1–4.
KDDKDD-2008-LingMZS #mining #multi #topic
Mining multi-faceted overviews of arbitrary topics in a text collection (XL, QM, CZ, BRS), pp. 497–505.
ECMFAECMDA-FA-2008-GronmoSMK #aspect-oriented #interactive #semantics
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol (RG, FS, BMP, SK), pp. 262–277.
DATEDATE-2007-CucuG #multi #scheduling
Feasibility intervals for multiprocessor fixed-priority scheduling of arbitrary deadline periodic systems (LC, JG), pp. 1635–1640.
ICDARICDAR-2007-MinagawaFTF #analysis #image #layout #logic
Logical Structure Analysis for Form Images with Arbitrary Layout by Belief Propagation (AM, YF, HT, KF), pp. 714–718.
CHICHI-2007-GrossmanKB #modelling
Modeling pointing at targets of arbitrary shapes (TG, NK, RB), pp. 463–472.
RTARTA-2007-HaemmerleF #confluence
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations (RH, FF), pp. 214–228.
DATEDATE-2006-MajidzadehS #design #higher-order #novel
Arbitrary design of high order noise transfer function for a novel class of reduced-sample-rate sigma-delta-pipeline ADCs (VM, OS), pp. 138–143.
SIGMODSIGMOD-2006-AchtertBKKPR #metric #nearest neighbour #performance
Efficient reverse k-nearest neighbor search in arbitrary metric spaces (EA, CB, PK, PK, AP, MR), pp. 515–526.
VLDBVLDB-2006-KeoghWXLV #distance #metric
LB_Keogh Supports Exact Indexing of Shapes under Rotation Invariance with Arbitrary Representations and Distance Measures (EJK, LW, XX, SHL, MV), pp. 882–893.
ICPRICPR-v1-2006-KimK06a #parametricity #using
Estimating Intrinsic Parameters of Cameras using Two Arbitrary Rectangles (JSK, ISK), pp. 707–710.
ICPRICPR-v2-2006-YamadaS #invariant #recognition
Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPRICPR-v3-2006-HuW06a #representation
A Low-dimensional Illumination Space Representation of Human Faces for Arbitrary Lighting Conditions (YH, ZW), pp. 1147–1150.
KDDKDD-2006-ZhaoZR #framework #mining #named
BLOSOM: a framework for mining arbitrary boolean expressions (LZ, MJZ, NR), pp. 827–832.
DATEDATE-2005-BhuniaMRR #novel #testing
A Novel Low-overhead Delay Testing Technique for Arbitrary Two-Pattern Test Application (SB, HMM, AR, KR), pp. 1136–1141.
DATEDATE-2005-WuRJ #energy #realtime #scheduling
Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model (HW, BR, EDJ), pp. 474–479.
DocEngDocEng-2005-SilvaOMSMMG
Support for arbitrary regions in XSL-FO (ACBdS, JBSdO, FTMM, TBS, LLM, FRM, FG), pp. 64–73.
ICDARICDAR-2005-ZhuN #network #online #recognition #segmentation
Segmentation of On-line Handwritten Japanese Text of Arbitrary Line Direction by a Neural Network for Improving Text Recognition (BZ, MN), pp. 157–161.
PODSPODS-2005-AlonDLT #set
Estimating arbitrary subset sums with few probes (NA, NGD, CL, MT), pp. 317–325.
VLDBVLDB-2005-TaoCXNKP #multi #nondeterminism #probability
Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions (YT, RC, XX, WKN, BK, SP), pp. 922–933.
SACSAC-2005-SpohnG #network #problem #set #using
A solution for the location problem in arbitrary computer networks using generic dominating sets (MAS, JJGLA), pp. 739–743.
TLCATLCA-2005-AehligMO #decidability #higher-order #monad #recursion
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable (KA, JGdM, CHLO), pp. 39–54.
DACDAC-2004-OrshanskyB #analysis #correlation #performance #statistics
Fast statistical timing analysis handling arbitrary delay correlations (MO, AB), pp. 337–342.
VLDBVLDB-2004-TaoPL
Reverse kNN Search in Arbitrary Dimensionality (YT, DP, XL), pp. 744–755.
ICPRICPR-v1-2004-EwerthSTF #estimation
Estimation of Arbitrary Camera Motion in MPEG Videos (RE, MS, PT, BF), pp. 512–515.
ICPRICPR-v1-2004-TsuiTC #image #metric #using
Metric Measurement on Arbitrary Planes in 2 Images Using the Conformal Point (PTT, HTT, WkC), pp. 108–111.
KRKR-2004-Shapiro #logic
A Logic of Arbitrary and Indefinite Objects (SCS), pp. 565–575.
SACSAC-2004-Tosun #clustering #query
Replicated declustering for arbitrary queries (AST), pp. 748–753.
DACDAC-2003-BullockM
An arbitrary twoqubit computation In 23 elementary gates or less (SSB, ILM), pp. 324–329.
ICDARICDAR-2003-Breuel #algorithm #analysis #documentation #layout
An Algorithm for Finding Maximal Whitespace Rectangles at Arbitrary Orientations for Document Layout Analysis (TMB), pp. 66–70.
ICDARICDAR-2003-KameyaMO #online #sequence #verification
Figure-Based Writer Verification by Matching between an Arbitrary Part of Registered Sequence and an Input Sequence Extracted from On-Line Handwritten Figures (HK, SM, RO), pp. 985–989.
VLDBVLDB-2003-ZhouS #clustering #metric
Data Bubbles for Non-Vector Data: Speeding-up Hierarchical Clustering in Arbitrary Metric Spaces (JZ, JS), pp. 452–463.
FoSSaCSFoSSaCS-2003-BournezCNM #parallel #polynomial
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time (OB, FC, PJdN, JYM), pp. 185–199.
STOCSTOC-2003-FakcharoenpholRT #approximate #bound #metric
A tight bound on approximating arbitrary metrics by tree metrics (JF, SR, KT), pp. 448–455.
PPDPPPDP-2003-DuckSBH #constraints
Extending arbitrary solvers with constraint handling rules (GJD, PJS, MJGdlB, CH), pp. 79–90.
PPoPPPPoPP-2003-DeitzCCS #array #design #implementation #parallel
The design and implementation of a parallel array operator for the arbitrary remapping of data (SJD, BLC, SEC, LS), pp. 155–166.
DATEDATE-2002-DessoukyS #array #automation #generative
Automatic Generation of Common-Centroid Capacitor Arrays with Arbitrary Capacitor Ratio (MD, DS), pp. 576–580.
DATEDATE-2002-JerkeL #analysis #verification
Hierarchical Current Density Verification for Electromigration Analysis in Arbitrary Shaped Metallization Patterns of Analog Circuits (GJ, JL), pp. 464–469.
DATEDATE-2002-LinCC #using
Arbitrary Convex and Concave Rectilinear Module Packing Using TCG (JML, HLC, YWC), pp. 69–75.
DATEDATE-2002-PeyranZ #slicing
Transforming Arbitrary Structures into Topologically Equivalent Slicing Structures (OP, WZ), p. 1099.
ICEISICEIS-2002-CarballoDC #architecture #internet
Thin Servers — An Architecture to Support Arbitrary Placement of Computation in the Internet (JCDyC, AD, RCHC), pp. 1080–1085.
ICPRICPR-v3-2002-KimKKK #bound #sequence
Usefulness of Boundary Sequences in Computing Shape Features for Arbitrary Shaped Regions (SK, SK, JK, MK), pp. 355–358.
ICPRICPR-v3-2002-TomiteYY #image #interactive #multi
Arbitrary Viewpoint Rendering from Multiple Omnidirectional Images for Interactive Walkthroughs (KT, KY, NY), pp. 987–990.
ICPRICPR-v4-2002-MizoguchiS #invariant #video
Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints (MM, JS), pp. 56–59.
KDDKDD-2002-Frigui #approach #clustering #identification #named #performance #scalability #set
SyMP: an efficient clustering approach to identify clusters of arbitrary shapes in large data sets (HF), pp. 507–512.
SACSAC-2002-SampleBW
A comprehensive model for arbitrary result extraction (NS, DB, GW), pp. 314–321.
STOCSTOC-2001-RazS #bound #matrix
Lower bounds for matrix product, in bounded depth circuits with arbitrary gates (RR, AS), pp. 409–418.
STOCSTOC-2001-SanjeevK #learning
Learning mixtures of arbitrary gaussians (SA, RK), pp. 247–257.
ICALPICALP-2001-BofillG #on the
On the Completeness of Arbitrary Selection Strategies for Paramodulation (MB, GG), pp. 951–962.
VLDBVLDB-2000-YiF #performance #sequence
Fast Time Sequence Indexing for Arbitrary Lp Norms (BKY, CF), pp. 385–394.
ICPRICPR-v1-2000-PapaioannouKT #3d #re-engineering #recognition #segmentation
Segmentation and Surface Characterization of Arbitrary 3D Meshes for Object Reconstruction and Recognition (GP, EAK, TT), pp. 1734–1737.
ICPRICPR-v3-2000-KletteZ #bound #fault #multi #order
Multigrid Error Bounds for Moments of Arbitrary Order (RK, JDZ), pp. 3790–3793.
ICDARICDAR-1999-KiseMYM #automation #documentation #generative #hypermedia #keyword #on the
On the Use of Density Distribution of Keywords for Automated Generation of Hypertext Links from Arbitrary Parts of Documents (KK, HM, MY, KM), pp. 301–304.
STOCSTOC-1999-AndrewsZ #requirements
Packet Routing with Arbitrary End-to-End Delay Requirements (MA, LZ), pp. 557–565.
ICSEICSE-1999-SinhaHR #control flow #interprocedural #slicing #source code
System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow (SS, MJH, GR), pp. 432–441.
FASEFASE-1998-ReedJDR #analysis #automation #formal method #modelling #network
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.
STOCSTOC-1998-Bartal #approximate #metric #on the
On Approximating Arbitrary Metrices by Tree Metrics (YB), pp. 161–168.
ICGTTAGT-1998-LlabresR #algebra #category theory
Pushout Complements for Arbitrary Partial Algebras (ML, FR), pp. 131–144.
ICPRICPR-1998-StoddartB #multi #re-engineering #using
Surface reconstruction and compression using multiresolution arbitrary topology G1 continuous splines (AJS, MSB), pp. 788–791.
SACSAC-1998-GaberT #distributed #network #random
Randomized load distribution of arbitrary trees in distributed networks (JG, BT), pp. 564–568.
SACSAC-1998-WohlmuthM #communication #configuration management #parallel
A method for them embedding of arbitrary communication topologies into configurable parallel computers (OW, FML), pp. 569–574.
ASPLOSASPLOS-1998-GhoshMM #analysis #precise #program transformation
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity (SG, MM, SM), pp. 228–239.
SIGIRSIGIR-1997-SilversteinP #clustering #corpus #set
Almost-Constant-Time Clustering of Arbitrary Corpus Subsets (CS, JOP), pp. 60–66.
LICSLICS-1997-Janin #automaton #calculus #fixpoint #reduction #theorem
Automata, Tableaus and a Reduction Theorem for Fixpoint Calculi in Arbitrary Complete Lattices (DJ), pp. 172–182.
PODSPODS-1996-PagelS #query #question
Are Window Queries Representative for Arbitrary Range Queries? (BUP, HWS), pp. 150–160.
STOCSTOC-1996-BergerKL #3d #fault
Reconstructing a Three-Dimensional Model with Arbitrary Errors (BB, JMK, FTL), pp. 449–458.
STOCSTOC-1996-Mohar #graph #linear
Embedding Graphs in an Arbitrary Surface in Linear Time (BM), pp. 392–397.
STOCSTOC-1996-RabaniT #distributed #network
Distributed Packet Switching in Arbitrary Networks (YR, ÉT), pp. 366–375.
ICPRICPR-1996-AguadoMN #fourier #geometry
Extracting arbitrary geometric primitives represented by Fourier descriptors (ASA, EM, MSN), pp. 547–551.
ICPRICPR-1996-HoK #classification #complexity
Building projectable classifiers of arbitrary complexity (TKH, EMK), pp. 880–885.
PPDPPLILP-1995-Mohnen #data type #garbage collection #performance
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures (MM), pp. 241–258.
LICSLICS-1995-Simpson #composition #logic
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS (AKS), pp. 420–430.
TOOLSTOOLS-PACIFIC-1993-MenziesS #black box #constraints #framework #how
How to Edit “It”; or: A “Black-box” Constraint-Based Framework for User-Interaction with Arbitrary Structures (TM, RS), pp. 213–224.
ICLPJICSLP-1992-QianW #higher-order
Higher-Order E-Unification for Arbitrary Theories (ZQ, KW), pp. 52–66.
CADECADE-1988-Schmidt-Schauss #equation #unification
Unification in a Combination of Arbitrary Disjoint Equational Theories (MSS), pp. 378–396.
STOCSTOC-1986-Mulmuley #algorithm #matrix #parallel #performance #rank
A Fast Parallel Algorithm to Compute the Rank of a Matrix over an Arbitrary Field (KM), pp. 338–339.
ICALPICALP-1978-Restivo #monad #set
Some Decision Results for Recognizable Sets in Arbitrary Monoids (AR), pp. 363–371.
STOCSTOC-1969-HermanI
Computability over Arbitrary Fields (GTH, SDI), pp. 149–153.

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.