25 papers:
LICS-2015-Bojanczyk #game studies- Star Height via Games (MB), pp. 214–219.
RTA-TLCA-2014-CreusG14a #automaton #constraints- Tree Automata with Height Constraints between Brothers (CC, GG), pp. 149–163.
HIMI-D-2013-ChiuWT- The Relationship Between Handlebar and Saddle Heights on Cycling Comfort (MCC, HCW, NTT), pp. 12–19.
CSCW-2012-GenestG #communication #distributed #effectiveness #gesture #visualisation- Evaluating the effectiveness of height visualizations for improving gestural communication at distributed tabletops (AG, CG), pp. 519–528.
ICPR-2012-LoWCC #3d #estimation #locality #people- Acceleration of vanishing point-based line sampling scheme for people localization and height estimation via 3D line sampling (KHL, CJW, JHC, HTC), pp. 2788–2791.
- CSCW-2010-TakayamaN
- Throwing voices: the psychological impact of the spatial height of projected voices (LT, CN), pp. 91–94.
- ICPR-2010-ScharfenbergerCF #artificial reality #predict #using
- Driver Body-Height Prediction for an Ergonomically Optimized Ingress Using a Single Omnidirectional Camera (CS, SC, GF), pp. 298–301.
SAC-2008-SilvaBBVMP #fuzzy- Fuzzy and neuro-fuzzy estimates of the total height of eucalyptus trees (RMdAS, FGB, GBB, FLV, ARdM, DMP), pp. 1772–1776.
- DHM-2007-JiaZWFJZ #process
- The Influence of Shoe-Heel Height on Knee Muscle Activity of Transtibial Amputees During Standing (XJ, JZ, RW, LF, DJ, MZ), pp. 640–645.
ICML-2005-CarneyCDL #network #predict #probability #using- Predicting probability distributions for surf height using an ensemble of mixture density networks (MC, PC, JD, CL), pp. 113–120.
FoSSaCS-2004-Kirsten #automaton #distance #problem- Distance Desert Automata and the Star Height One Problem (DK), pp. 257–272.
- ICPR-v3-2002-RavindranF #linear
- A Simple Linear Method to Obtain Height Ordering of Scene Points (PR, NJF), pp. 719–722.
- ICPR-v4-2002-BenAbdelkaderCD #automation #estimation #identification #using
- Person Identification Using Automatic Height and Stride Estimation (CB, RC, LSD), pp. 377–380.
CSL-2002-Beckmann #proving #strict- Resolution Refutations and Propositional Proofs with Height-Restrictions (AB), pp. 599–612.
WLC-2000-LombardyS #on the- On the Star Height of Rational Languages: A New Presentation for Two Old Results (SL, JS), pp. 266–285.
- ICPR-v3-2000-DoelVHVYGK #analysis #metric
- Nanometer-Scale Height Measurements in Micromachined Picoliter Vials Based on Interference Fringe Analysis (LRVdD, LJvV, KTH, MJV, ITY, FG, JGK), pp. 3057–3062.
PODS-1999-MalmiS- Group Updates for Relaxed Height-Balanced Trees (LM, ESS), pp. 358–367.
PLDI-1999-SchlanskerMJ #architecture #branch #optimisation #reduction- Control CPR: A Branch Height Reduction Optimization for EPIC Architectures (MSS, SAM, RJ), pp. 155–168.
ICALP-1997-Robson #on the- On the Concentration of the Height of Binary Search Trees (JMR), pp. 441–448.
DLT-1995-Ito #linear- Height Functions and Linear Languages (MI), pp. 98–101.
EDAC-1994-LinCHH #design- Cell Height Driven Transistor Sizing in a Cell Based Module Design (HRL, CLC, YCH, TH), pp. 425–429.
DAC-1991-MaziaszH- Exact Width and Height Minimization of CMOS Cells (RLM, JPH), pp. 487–493.
- DAC-1991-NicolauP #incremental #reduction #synthesis
- Incremental Tree Height Reduction for High Level Synthesis (AN, RP), pp. 770–774.
- ICALP-1987-ChoffrutD #monad #problem
- A Star-Height Problem in Free Monoids with Partial Communications (CC, CD), pp. 190–201.
- ICALP-1979-KuichPU #on the
- On the Height of Derivation Trees (WK, HP, FJU), pp. 370–384.
