3047 search results - page 425 / 610 » A Temporal Consensus Model |
210
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
167
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
180
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
154
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
We consider how tracking in stereo may be enhanced by coupling pairs of active contours in different views via affine epipolar geometry and various subsets of planar affine transf...
176
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper describes a probabilistic multiple-hypothesis framework for tracking highly articulated objects. In this framework, the probability density of the tracker state is repr...