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:
bound (58)
lower (14)
time (10)
base (9)
bodi (7)

Stem upper$ (all stems)

81 papers:

CASECASE-2015-AntonelloGM #detection #fault
Autonomous robotic system for thermographic detection of defects in upper layers of carbon fiber reinforced polymers (MA, SG, EM), pp. 634–639.
ICALPICALP-v1-2015-Sanyal #bound #fourier
Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity (SS), pp. 1035–1045.
CHICHI-2015-MaluF #artificial reality #personalisation #smarttech
Personalized, Wearable Control of a Head-mounted Display for Users with Upper Body Motor Impairments (MM, LF), pp. 221–230.
HCIDHM-EH-2015-GieserBM #artificial reality #gesture #realtime #recognition #using
Real-Time Static Gesture Recognition for Upper Extremity Rehabilitation Using the Leap Motion (SNG, AB, FM), pp. 144–154.
ICSTSAT-2015-MenciaPM #bound #satisfiability
SAT-Based Horn Least Upper Bounds (CM, AP, JMS), pp. 423–433.
CASECASE-2014-HsiehL #lightweight
A lightweight gravity-balanced exoskeleton for home rehabilitation of upper limbs (HCH, CCL), pp. 972–977.
FoSSaCSFoSSaCS-2014-Mio #calculus #similarity #μ-calculus
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus (MM), pp. 335–350.
DLTDLT-2014-BrzozowskiS #bound #complexity
Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals (JAB, MS), pp. 13–24.
HCIDHM-2014-YangZYHZL #design
Based on Upper Extremity Comfort ROM of Ergonomic Methods for Household Products Design (FY, QXZ, AY, HH, XZ, ZQL), pp. 167–173.
ICMLICML-c2-2014-ZoghiWMR #bound #problem
Relative Upper Confidence Bound for the K-Armed Dueling Bandit Problem (MZ, SW, RM, MdR), pp. 10–18.
KEODKEOD-2014-ChuiG #ontology
Merging the DOLCE and PSL Upper Ontologies (CC, MG), pp. 16–26.
LICSLICS-CSL-2014-GottlobM #bound #logic #problem
Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.
VLDBVLDB-2013-AfratiSSU #bound #cost analysis
Upper and Lower Bounds on the Cost of a Map-Reduce Computation (FNA, ADS, SS, JDU), pp. 277–288.
HCIHCI-III-2013-RuffieuxLKM #developer #gesture #visual notation
A Developer-Oriented Visual Model for Upper-Body Gesture Characterization (SR, DL, OAK, EM), pp. 186–195.
HCIHIMI-D-2013-ManiwaKSA
Changes in Posture of the Upper Extremity Through the Use of Various Sizes of Tablets and Characters (HM, KK, SS, TA), pp. 89–96.
KDDKDD-2013-NarasimhanA #bound #named #optimisation
SVMpAUCtight: a new support vector method for optimizing partial AUC based on a tight convex upper bound (HN, SA), pp. 167–175.
SIGIRSIGIR-2013-TakumaY #bound #performance
Faster upper bounding of intersection sizes (DT, HY), pp. 703–712.
CGOCGO-2013-LaiS #analysis #bound #optimisation #performance
Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs (JL, AS), p. 10.
CAVCAV-2013-StewartEY #automaton #bound #model checking #polynomial #probability
Upper Bounds for Newton’s Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata (AS, KE, MY), pp. 495–510.
ICSTSAT-2013-MisraORS #bound #detection #set
Upper and Lower Bounds for Weak Backdoor Set Detection (NM, SO, VR, SS), pp. 394–402.
ICALPICALP-v1-2012-Kimmel #bound #quantum
Quantum Adversary (Upper) Bound (SK), pp. 557–568.
CASECASE-2011-WuS #bound #multi #problem
A lower and upper bound guided nested partitions method for solving capacitated multi-level production planning problems (TW, LS), pp. 78–83.
DLTDLT-J-2009-BealBP11 #automaton #bound #clustering #polynomial #word
A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, MVB, DP), pp. 277–288.
ICALPICALP-v2-2011-SchmitzS #bound #multi #recursion
Multiply-Recursive Upper Bounds with Higman’s Lemma (SS, PS), pp. 441–452.
HCIDHM-2011-QinTD #type system #using
The Upper Extremity Loading during Typing Using One, Two and Three Fingers (JQ, MT, JTD), pp. 178–185.
HCIHCI-ITE-2011-OhILLK #gesture #interactive #recognition
Upper Body Gesture Recognition for Human-Robot Interaction (CMO, MZI, JSL, CWL, ISK), pp. 294–303.
CIKMCIKM-2011-LiuLH #bound #fault #kernel #learning
Learning kernels with upper bounds of leave-one-out error (YL, SL, YH), pp. 2205–2208.
CSLCSL-2011-CaiZ #bound
Tight Upper Bounds for Streett and Parity Complementation (YC, TZ), pp. 112–128.
CASECASE-2010-Hsu #bound #markov #safety
Control of continuous-time Markov chains with safety upper bounds (SPH), pp. 990–993.
FLOPSFLOPS-2010-KetemaS #bound #diagrams #term rewriting #λ-calculus
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (JK, JGS), pp. 272–287.
ICPRICPR-2010-ChenJ #3d #performance #self
Efficient 3D Upper Body Tracking with Self-Occlusions (JC, QJ), pp. 3636–3639.
ICPRICPR-2010-FahnC #algorithm #realtime #recognition
Real-Time Upper-Limbs Posture Recognition Based on Particle Filters and AdaBoost Algorithms (CSF, SLC), pp. 3854–3857.
ICPRICPR-2010-RybokVES #estimation #multi
Multi-view Based Estimation of Human Upper-Body Orientation (LR, MV, HKE, RS), pp. 1558–1561.
ICPRICPR-2010-XingAL #detection #learning #multi
Multiple Human Tracking Based on Multi-view Upper-Body Detection and Discriminative Learning (JX, HA, SL), pp. 1698–1701.
ICSTSAT-2010-BoufkhadH #bound #satisfiability
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.
CASECASE-2009-ParasuramanOG #development
Development of robot assisted stroke rehabilitation system of human upper limb (SP, AWO, VG), pp. 256–261.
DATEDATE-2009-PollexKAS #bound #worst-case
Improved worst-case response-time calculations by upper-bound conditions (VP, SK, KA, FS), pp. 105–110.
DLTDLT-2009-BealP #automaton #bound #clustering #polynomial #word
A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, DP), pp. 81–90.
HCIDHM-2009-Wang #problem #re-engineering
Problems Encountered in Seated Arm Reach Posture Reconstruction: Need for a More Realistic Spine and Upper Limb Kinematic Model (XW), pp. 160–169.
KEODKEOD-2009-LocoroM #algorithm #ambiguity #ontology #word
A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies (AL, VM), pp. 239–246.
KMISKMIS-2009-SourouniKPA #enterprise #modelling #ontology #process
An Upper Ontology for Enterprise Process Modelling (AMS, GK, JEP, DA), pp. 328–331.
CSLCSL-2009-GaboardiP #bound #semantics #using
Upper Bounds on Stream I/O Using Semantic Interpretations (MG, RP), pp. 271–286.
ESOPESOP-2008-Muller-OlmS #interprocedural #performance
Upper Adjoints for Fast Inter-procedural Variable Equalities (MMO, HS), pp. 178–192.
SASSAS-2008-AlbertAGP #automation #bound #cost analysis
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.
ICALPICALP-A-2008-KempeRUW #bound #fault tolerance #quantum
Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing (JK, OR, FU, RdW), pp. 845–856.
ICPRICPR-2008-ZhangCZJ #2d #3d #framework
2D and 3D upper body tracking with one framework (LZ, JC, ZZ, QJ), pp. 1–4.
CSLCSL-2008-Eisinger #automaton #bound #integer #linear
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (JE), pp. 431–445.
DATEDATE-2007-SathanurCBMMP #bound #clustering #interactive #performance
Interactive presentation: Efficient computation of discharge current upper bounds for clustered sleep transistor sizing (AVS, AC, LB, AM, EM, MP), pp. 1544–1549.
ICALPICALP-2007-BozzelliT #automaton #bound #parametricity #problem
Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.
HCIDHM-2007-YangWZJW07a #analysis
Optimal Control and Synergic Pattern Analysis of Upper Limb Reaching-Grasping Movements (YY, RW, MZ, DJ, FW), pp. 268–275.
ICSTSAT-2007-LangloisST #bound
Horn Upper Bounds and Renaming (ML, RHS, GT), pp. 80–93.
DACDAC-2006-WangZ #bound
Optimal jumper insertion for antenna avoidance under ratio upper-bound (JW, HZ), pp. 761–766.
STOCSTOC-2006-Zhang #bound #quantum #random
New upper and lower bounds for randomized and quantum local search (SZ), pp. 634–643.
ICMLICML-2005-McMahanLG #bound #performance #programming #realtime
Bounded real-time dynamic programming: RTDP with monotone upper bounds and performance guarantees (HBM, ML, GJG), pp. 569–576.
LCTESLCTES-2005-DefoeCC #bound
Upper bound for defragmenting buddy heaps (DCD, SRC, RC), pp. 222–229.
ICSTSAT-2005-DantsinW #bound #satisfiability
An Improved Upper Bound for SAT (ED, AW), pp. 400–407.
TACASTACAS-2004-BehrmannBLP #abstraction #automaton #bound
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (GB, PB, KGL, RP), pp. 312–326.
CHICHI-2004-PoFB #visual notation
Mouse and touchscreen selection in the upper and lower visual fields (BAP, BDF, KSB), pp. 359–366.
ICPRICPR-v1-2004-KangD #approximate #bound #classification #fault
Product Approximation by Minimizing the Upper Bound of Bayes Error Rate for Bayesian Combination of Classifiers (HJK, DSD), pp. 252–255.
KDDKDD-2004-XiongSTK #bound #correlation #identification
Exploiting a support-based upper bound of Pearson’s correlation coefficient for efficiently identifying strongly correlated pairs (HX, SS, PNT, VK), pp. 334–343.
ICALPICALP-2003-RybinaV #bound #formal method
Upper Bounds for a Theory of Queues (TR, AV), pp. 714–724.
ICMLICML-2002-ZhangL #bound #network
Representational Upper Bounds of Bayesian Networks (HZ, CXL), pp. 674–681.
STOCSTOC-1999-IshaiK #bound #information retrieval
Improved Upper Bounds on Information-Theoretic Private Information Retrieval (Extended Abstract) (YI, EK), pp. 79–88.
ICALPICALP-1999-NiedermeierR #bound #satisfiability
New Upper Bounds for MaxSat (RN, PR), pp. 575–584.
CSLCSL-1998-Buning #bound
An Upper Bound for Minimal Resolution Refutations (HKB), pp. 171–178.
ICALPICALP-1997-Ambainis #bound #communication #complexity #information retrieval
Upper Bound on Communication Complexity of Private Information Retrieval (AA), pp. 401–407.
HCIHCI-CC-1997-Komatsubara
Psychological Upper and Lower Limits of System Response Time and User’s Preference on Skill Level (AK), pp. 829–832.
HCIHCI-CC-1997-PeperHS #assessment #how
How to Use Applied Psychophysiology/Biofeedback in the Prevention and Assessment of Upper Extremity Musculoskeletal Disorders (EP, RH, DMS), pp. 551–554.
DACDAC-1996-OhPP #bound #linear #programming #using
Constructing Lower and Upper Bounded Delay Routing Trees Using Linear Programming (JO, IP, MP), pp. 401–404.
ICALPICALP-1996-Hashiguchi #automaton #bound #distance
New Upper Bounds to the Limitedness of Distance Automata (KH), pp. 324–335.
DLTDLT-1995-Dorr #abstract interpretation #bound
Computing an Upper Bound for SVS(gg) by Abstract Interpretation (HD), pp. 279–288.
ICALPICALP-1995-BozanisKMT #bound #problem
New Upper Bounds for Generalized Intersection Searching Problems (PB, NK, CM, AKT), pp. 464–474.
KDDKDD-1995-DeogunRS #approximate #set
Exploiting Upper Approximation in the Rough Set Methodology (JSD, VVR, HS), pp. 69–74.
ICALPICALP-1994-Pudlak #bound #communication #complexity #game studies
Unexpected Upper Bounds on the Complexity of Some Communication Games (PP), pp. 1–10.
LICSLICS-1994-ImpagliazzoPU #bound #proving
Upper and Lower Bounds for Tree-Like Cutting Planes Proofs (RI, TP, AU), pp. 220–228.
SACSAC-1993-VaidyanathanL #analysis #bound #learning
Analysis of Upper Bound in Valiant’s Model for Learning Bounded CNF Expressions (SV, SL), pp. 754–761.
TLCATLCA-1993-Springintveld #bound #reduction
Lower and Upper Bounds for Reductions of Types in λω and λP (JS), pp. 391–405.
PODSPODS-1991-JohnsonR #bound #consistency #protocol #replication
A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols (DBJ, LR), pp. 75–81.
RTARTA-1991-Baader #bound #problem #unification
Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems (FB), pp. 86–97.
STOCSTOC-1985-VardiS #bound #logic #source code
Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report (MYV, LJS), pp. 240–251.
STOCSTOC-1979-LengauerT #bound #trade-off
Upper and Lower Bounds on Time-Space Tradeoffs (TL, RET), pp. 262–277.

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.