Stem upper$ (all stems)

81 papers:

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

ICALP-v1-2015-Sanyal #bound #fourier

Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity (SS), pp. 1035–1045.

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

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

SAT-2015-MenciaPM #bound #satisfiability

SAT-Based Horn Least Upper Bounds (CM, AP, JMS), pp. 423–433.

CASE-2014-HsiehL #lightweight

A lightweight gravity-balanced exoskeleton for home rehabilitation of upper limbs (HCH, CCL), pp. 972–977.

FoSSaCS-2014-Mio #calculus #similarity #μ-calculus

Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus (MM), pp. 335–350.

DLT-2014-BrzozowskiS #bound #complexity

Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals (JAB, MS), pp. 13–24.

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

ICML-c2-2014-ZoghiWMR #bound #problem

Relative Upper Confidence Bound for the K-Armed Dueling Bandit Problem (MZ, SW, RM, MdR), pp. 10–18.

KEOD-2014-ChuiG #ontology

Merging the DOLCE and PSL Upper Ontologies (CC, MG), pp. 16–26.

LICS-CSL-2014-GottlobM #bound #logic #problem

Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.

VLDB-2013-AfratiSSU #bound #cost analysis

Upper and Lower Bounds on the Cost of a Map-Reduce Computation (FNA, ADS, SS, JDU), pp. 277–288.

HCI-III-2013-RuffieuxLKM #developer #gesture #visual notation

A Developer-Oriented Visual Model for Upper-Body Gesture Characterization (SR, DL, OAK, EM), pp. 186–195.

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

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

SIGIR-2013-TakumaY #bound #performance

Faster upper bounding of intersection sizes (DT, HY), pp. 703–712.

CGO-2013-LaiS #analysis #bound #optimisation #performance

Performance upper bound analysis and optimization of SGEMM on Fermi and Kepler GPUs (JL, AS), p. 10.

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

SAT-2013-MisraORS #bound #detection #set

Upper and Lower Bounds for Weak Backdoor Set Detection (NM, SO, VR, SS), pp. 394–402.

ICALP-v1-2012-Kimmel #bound #quantum

Quantum Adversary (Upper) Bound (SK), pp. 557–568.

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

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

ICALP-v2-2011-SchmitzS #bound #multi #recursion

Multiply-Recursive Upper Bounds with Higman’s Lemma (SS, PS), pp. 441–452.

DHM-2011-QinTD #type system #using

The Upper Extremity Loading during Typing Using One, Two and Three Fingers (JQ, MT, JTD), pp. 178–185.

HCI-ITE-2011-OhILLK #gesture #interactive #recognition

Upper Body Gesture Recognition for Human-Robot Interaction (CMO, MZI, JSL, CWL, ISK), pp. 294–303.

CIKM-2011-LiuLH #bound #fault #kernel #learning

Learning kernels with upper bounds of leave-one-out error (YL, SL, YH), pp. 2205–2208.

CSL-2011-CaiZ #bound

Tight Upper Bounds for Streett and Parity Complementation (YC, TZ), pp. 112–128.

CASE-2010-Hsu #bound #markov #safety

Control of continuous-time Markov chains with safety upper bounds (SPH), pp. 990–993.

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

ICPR-2010-ChenJ #3d #performance #self

Efficient 3D Upper Body Tracking with Self-Occlusions (JC, QJ), pp. 3636–3639.

ICPR-2010-FahnC #algorithm #realtime #recognition

Real-Time Upper-Limbs Posture Recognition Based on Particle Filters and AdaBoost Algorithms (CSF, SLC), pp. 3854–3857.

ICPR-2010-RybokVES #estimation #multi

Multi-view Based Estimation of Human Upper-Body Orientation (LR, MV, HKE, RS), pp. 1558–1561.

ICPR-2010-XingAL #detection #learning #multi

Multiple Human Tracking Based on Multi-view Upper-Body Detection and Discriminative Learning (JX, HA, SL), pp. 1698–1701.

SAT-2010-BoufkhadH #bound #satisfiability

Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold (YB, TH), pp. 99–112.

CASE-2009-ParasuramanOG #development

Development of robot assisted stroke rehabilitation system of human upper limb (SP, AWO, VG), pp. 256–261.

DATE-2009-PollexKAS #bound #worst-case

Improved worst-case response-time calculations by upper-bound conditions (VP, SK, KA, FS), pp. 105–110.

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

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

KEOD-2009-LocoroM #algorithm #ambiguity #ontology #word

A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies (AL, VM), pp. 239–246.

KMIS-2009-SourouniKPA #enterprise #modelling #ontology #process

An Upper Ontology for Enterprise Process Modelling (AMS, GK, JEP, DA), pp. 328–331.

CSL-2009-GaboardiP #bound #semantics #using

Upper Bounds on Stream I/O Using Semantic Interpretations (MG, RP), pp. 271–286.

ESOP-2008-Muller-OlmS #interprocedural #performance

Upper Adjoints for Fast Inter-procedural Variable Equalities (MMO, HS), pp. 178–192.

SAS-2008-AlbertAGP #automation #bound #cost analysis

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis (EA, PA, SG, GP), pp. 221–237.

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

ICPR-2008-ZhangCZJ #2d #3d #framework

2D and 3D upper body tracking with one framework (LZ, JC, ZZ, QJ), pp. 1–4.

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

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

ICALP-2007-BozzelliT #automaton #bound #parametricity #problem

Decision Problems for Lower/Upper Bound Parametric Timed Automata (LB, SLT), pp. 925–936.

DHM-2007-YangWZJW07a #analysis

Optimal Control and Synergic Pattern Analysis of Upper Limb Reaching-Grasping Movements (YY, RW, MZ, DJ, FW), pp. 268–275.

SAT-2007-LangloisST #bound

Horn Upper Bounds and Renaming (ML, RHS, GT), pp. 80–93.

DAC-2006-WangZ #bound

Optimal jumper insertion for antenna avoidance under ratio upper-bound (JW, HZ), pp. 761–766.

STOC-2006-Zhang #bound #quantum #random

New upper and lower bounds for randomized and quantum local search (SZ), pp. 634–643.

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

LCTES-2005-DefoeCC #bound

Upper bound for defragmenting buddy heaps (DCD, SRC, RC), pp. 222–229.

SAT-2005-DantsinW #bound #satisfiability

An Improved Upper Bound for SAT (ED, AW), pp. 400–407.

TACAS-2004-BehrmannBLP #abstraction #automaton #bound

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata (GB, PB, KGL, RP), pp. 312–326.

CHI-2004-PoFB #visual notation

Mouse and touchscreen selection in the upper and lower visual fields (BAP, BDF, KSB), pp. 359–366.

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

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

ICALP-2003-RybinaV #bound #formal method

Upper Bounds for a Theory of Queues (TR, AV), pp. 714–724.

ICML-2002-ZhangL #bound #network

Representational Upper Bounds of Bayesian Networks (HZ, CXL), pp. 674–681.

STOC-1999-IshaiK #bound #information retrieval

Improved Upper Bounds on Information-Theoretic Private Information Retrieval (Extended Abstract) (YI, EK), pp. 79–88.

ICALP-1999-NiedermeierR #bound #satisfiability

New Upper Bounds for MaxSat (RN, PR), pp. 575–584.

CSL-1998-Buning #bound

An Upper Bound for Minimal Resolution Refutations (HKB), pp. 171–178.

ICALP-1997-Ambainis #bound #communication #complexity #information retrieval

Upper Bound on Communication Complexity of Private Information Retrieval (AA), pp. 401–407.

HCI-CC-1997-Komatsubara

Psychological Upper and Lower Limits of System Response Time and User’s Preference on Skill Level (AK), pp. 829–832.

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

DAC-1996-OhPP #bound #linear #programming #using

Constructing Lower and Upper Bounded Delay Routing Trees Using Linear Programming (JO, IP, MP), pp. 401–404.

ICALP-1996-Hashiguchi #automaton #bound #distance

New Upper Bounds to the Limitedness of Distance Automata (KH), pp. 324–335.

DLT-1995-Dorr #abstract interpretation #bound

Computing an Upper Bound for SVS(gg) by Abstract Interpretation (HD), pp. 279–288.

ICALP-1995-BozanisKMT #bound #problem

New Upper Bounds for Generalized Intersection Searching Problems (PB, NK, CM, AKT), pp. 464–474.

KDD-1995-DeogunRS #approximate #set

Exploiting Upper Approximation in the Rough Set Methodology (JSD, VVR, HS), pp. 69–74.

ICALP-1994-Pudlak #bound #communication #complexity #game studies

Unexpected Upper Bounds on the Complexity of Some Communication Games (PP), pp. 1–10.

LICS-1994-ImpagliazzoPU #bound #proving

Upper and Lower Bounds for Tree-Like Cutting Planes Proofs (RI, TP, AU), pp. 220–228.

SAC-1993-VaidyanathanL #analysis #bound #learning

Analysis of Upper Bound in Valiant’s Model for Learning Bounded CNF Expressions (SV, SL), pp. 754–761.

TLCA-1993-Springintveld #bound #reduction

Lower and Upper Bounds for Reductions of Types in λω and λP (JS), pp. 391–405.

PODS-1991-JohnsonR #bound #consistency #protocol #replication

A Tight Upper Bound on the Benefits of Replication and Consistency Control Protocols (DBJ, LR), pp. 75–81.

RTA-1991-Baader #bound #problem #unification

Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems (FB), pp. 86–97.

STOC-1985-VardiS #bound #logic #source code

Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report (MYV, LJS), pp. 240–251.

STOC-1979-LengauerT #bound #trade-off

Upper and Lower Bounds on Time-Space Tradeoffs (TL, RET), pp. 262–277.