20 search results - page 3 / 4 » SMT-Based Validation of Timed Failure Propagation Graphs |
99
Voted
CVPR
2004
IEEE
16 years 13 days ago
2004
IEEE
We pose the problem of 3D human tracking as one of inference in a graphical model. Unlike traditional kinematic tree representations, our model of the body is a collection of loos...
101
click to vote
IJRR
2006
14 years 10 months ago
2006
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...
TSP
2008
14 years 10 months ago
2008
Markov random fields are designed to represent structured dependencies among large collections of random variables, and are well-suited to capture the structure of real-world sign...
110
click to vote
ECCV
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. We present a probabilistic algorithm for finding correspondences across multiple images. The algorithm runs in a distributed setting, where each camera is attached to a s...
DCOSS
2006
Springer
15 years 2 months ago
2006
Springer
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...