Sciweavers

329 search results - page 23 / 66
» How accurately can we model timing in a placement engine
Sort
View
KBSE
2009
IEEE
14 years 2 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
IVC
2010
95views more  IVC 2010»
13 years 6 months ago
Monocular head pose estimation using generalized adaptive view-based appearance model
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness, meeting analysis and human-robot...
Louis-Philippe Morency, Jacob Whitehill, Javier R....
FGR
2008
IEEE
135views Biometrics» more  FGR 2008»
14 years 1 months ago
Generalized adaptive view-based appearance model: Integrated framework for monocular head pose estimation
Accurately estimating the person’s head position and orientation is an important task for a wide range of applications such as driver awareness and human-robot interaction. Over...
Louis-Philippe Morency, Jacob Whitehill, Javier R....
GECCO
2008
Springer
155views Optimization» more  GECCO 2008»
13 years 8 months ago
Towards memoryless model building
Probabilistic model building methods can render difficult problems feasible by identifying and exploiting dependencies. They build a probabilistic model from the statistical prope...
David Iclanzan, Dumitru Dumitrescu
TC
1998
13 years 7 months ago
Using System-Level Models to Evaluate I/O Subsystem Designs
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...
Gregory R. Ganger, Yale N. Patt