1980 search results - page 160 / 396 » Compositional Model Checking of Real Time Systems |
127
click to vote
ECCV
2004
Springer
16 years 3 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...
138
Voted
ECOOPW
1998
Springer
15 years 6 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 ...
122
click to vote
INFOCOM
2007
IEEE
15 years 8 months 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...
169
Voted
CRV
2008
IEEE
15 years 8 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...
145
Voted
RTAS
2007
IEEE
15 years 8 months 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...