216 search results - page 33 / 44 » From Constraints to Finite Automata to Filtering Algorithms |
COMCOM
1998
13 years 8 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
INFORMATICALT
2006
13 years 8 months ago
2006
Abstract. The asynchronous techniques that exist within the programming with distributed constraints are characterized by the occurrence of the nogood values during the search for ...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
The use of wireless sensor networks for target tracking is an active area of research. Imaging sensors that obtain video-rate images of a scene can have a significant impact in su...
3DIM
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a new reliable dense disparity estimation algorithm which employs Gaussian scale-space with anisotropic disparity-field diffusion. This algorithm estimates edge-preserv...