184 search results - page 18 / 37 » Testing Real-Time Systems Using UPPAAL |
ADMI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Autonomous agents are systems situated in dynamic environments. They pursue goals and satisfy their needs by responding to external events from the environment. In these ...
ICCBR
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...
MVA
1996
13 years 8 months ago
1996
A method for recognizing signal lights in traffic scenes in real time has been developed. It consists of a set of different feature extraction operations acting as sequential filt...
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...