1105 search results - page 96 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
175
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...
232
Voted
CRV
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper, we propose a novel method for the automatic segmentation of a foreground layer from a natural scene in real time by fusing infrared, color and edge information. Thi...
195
click to vote
RTAS
2007
IEEE
16 years 12 days ago
2007
IEEE
Cluster computing has emerged as a new paradigm for solving large-scale problems. To enhance QoS and provide performance guarantees in cluster computing environments, various real...
163
click to vote
RTSS
2006
IEEE
16 years 4 days ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
176
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...