652 search results - page 25 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
FM
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
116
click to vote
GRID
2008
Springer
14 years 10 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
133
click to vote
PAMI
2008
14 years 9 months ago
2008
We propose a new technique for fusing multiple cues to robustly segment an object from its background in video sequences that suffer from abrupt changes of both illumination and po...
126
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper considers the task of closed curve filtering for visual tracking. Segmentation-based visual tracking strategies provide the closed curve measurements to filter. This pap...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— We describe a distributed algorithm for solving the rendezvous problem based on consensus protocols. We extend our previous work by considering the case when the evolution of t...