1105 search results - page 72 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
142
click to vote
CVPR
2005
IEEE
16 years 4 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...
116
Voted
ICC
1997
IEEE
15 years 6 months ago
1997
IEEE
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...
153
click to vote
CSREAESA
2010
15 years 19 days ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
116
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
125
click to vote
ISOLA
2007
Springer
15 years 8 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...