1980 search results - page 160 / 396 » Compositional Model Checking of Real Time Systems |
183
Voted
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...
201
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
170
Voted
INFOCOM
2007
IEEE
16 years 29 days ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
250
click to vote
CRV
2008
IEEE
16 years 1 months 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...
204
Voted
RTAS
2007
IEEE
16 years 28 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...