Sciweavers

293 search results - page 30 / 59
» Computing Stable Models by Using the ATMS
Sort
View
CVPR
2006
IEEE
14 years 10 months ago
An Adaptive Appearance Model Approach for Model-based Articulated Object Tracking
The detection and tracking of three-dimensional human body models has progressed rapidly but successful approaches typically rely on accurate foreground silhouettes obtained using...
Alexandru O. Balan, Michael J. Black
ICCV
2001
IEEE
14 years 10 months ago
A Background Model Initialization Algorithm for Video Surveillance
Many motion detection and tracking algorithms rely on the process of background subtraction, a technique which detects changes from a model of the background scene. We present a n...
Daniel Gutchess, Miroslav Trajkovic, Eric Cohen-So...
ICPR
2006
IEEE
14 years 9 months ago
Detection of presynaptic terminals on dendritic spines in double labeling confocal images
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
Andreas Herzog, Bernd Michaelis, Gerald Krell, Kat...
ICPR
2006
IEEE
14 years 9 months ago
A Higher-Order Active Contour Model for Tree Detection
We present a model of a `gas of circles', the ensemble of regions in the image domain consisting of an unknown number of circles with approximately fixed radius and short ran...
Peter Horvath, Ian Jermyn, Zoltan Kato, and Josian...
LICS
2006
IEEE
14 years 2 months ago
Boolean Algebras for Lambda Calculus
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
Giulio Manzonetto, Antonino Salibra