Sciweavers

1064 search results - page 152 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
CVPR
2010
IEEE
15 years 10 months ago
Contour People: A Parameterized Model of 2D Articulated Human Shape
We define a new “contour person” model of the human body that has the expressive power of a detailed 3D model and the computational benefits of a simple 2D part-based model....
Oren Freifeld, Alex Weiss, Silvia Zuffi, Michael B...
MICCAI
2004
Springer
16 years 5 months ago
Three-Dimensional Shape-Motion Analysis of the Left Anterior Descending Coronary Artery in EBCT Images
In this paper, we present a physics-based deformable model framework for the quantification of shape and motion parameters of the Left Anterior Descending (LAD) coronary artery in ...
Alberto Santamaría-Pang, Amol Pednekar, Ioa...
DAGM
2009
Springer
15 years 11 months ago
Simultaneous Estimation of Pose and Motion at Highly Dynamic Turn Maneuvers
Abstract. The (Extended) Kalman filter has been established as a standard method for object tracking. While a constraining motion model stabilizes the tracking results given noisy...
Alexander Barth, Jan Siegemund, Uwe Franke, Wolfga...
IPSN
2005
Springer
15 years 10 months ago
The effects of ranging noise on multihop localization: an empirical study
—This paper presents a study of how empirical ranging characteristics affect multihop localization in wireless sensor networks. We use an objective metric to evaluate a well-esta...
Kamin Whitehouse, Chris Karlof, Alec Woo, Fred Jia...