Sciweavers

1064 search results - page 152 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
DAC
2004
ACM
16 years 1 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
115
Voted
CVPR
2010
IEEE
15 years 6 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...
96
Voted
MICCAI
2004
Springer
16 years 1 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...
84
Voted
DAGM
2009
Springer
15 years 7 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 6 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...