3169 search results - page 158 / 634 » Robust Timed Automata |
125
Voted
ENTCS
2002
15 years 2 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
138
Voted
ICIP
2002
IEEE
16 years 4 months ago
2002
IEEE
In our method for tracking objects, appearance features are smoothed by robust and adaptive Kalman filters, one to each pixel, making the method robust against occlusions. While t...
124
click to vote
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
Robust registration of two 3-D point sets is a common problem in computer vision. The Iterative Closest Point (ICP) algorithm is undoubtedly the most popular algorithm for solving...
88
Voted
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
In this work we propose a Voice over IP (VoIP) call tracking scheme based on robust hashing of VoIP flows. In the proposed scheme the audio content of a possibly encrypted VoIP ...
108
Voted
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...