1980 search results - page 102 / 396 » Compositional Model Checking of Real Time Systems |
111
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
107
Voted
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
118
click to vote
CVPR
1999
IEEE
16 years 3 months ago
1999
IEEE
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
130
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
147
Voted
PRESENCE
2007
15 years 1 months ago
2007
We describe a methodology for Virtual Reality designers to capture and resynthesize the variations in sound made by objects when we interact with them through contact such as touc...