4075 search results - page 166 / 815 » Modeling Distributed Algorithm Using B |
112
click to vote
SIGMETRICS
2008
ACM
15 years 14 days ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
92
Voted
ACCV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a robust method to extract silhouettes of foreground objects from color video sequences. To cope with various changes in the background, the background is mode...
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper a new extension of the CONDENSATION algorithm, with application to infants face tracking, will be introduced. In this work we address the problem of trackin...
107
Voted
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
Orthogonal Variable Spreading Factor (OVSF) CDMA code has the ability to support higher and variable data rates with a single code using one transceiver. A number of CDMA code ass...
114
click to vote
ICPR
2006
IEEE
2006
IEEE
Real-Time 3D Articulated Pose Tracking using Particle Filters Interacting through Belief Propagation
16 years 1 months ago
This article proposes a new statistical model for fast 3D articulated body tracking, similar to the loose-limbed model, but where inter-frame coherence is taken into account by us...