419 search results - page 71 / 84 » Automatic Synthesis of Real Time Systems |
135
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
— As Internet worms become ever faster and more sophisticated, it is important to be able to extract worm signatures in an accurate and timely manner. In this paper, we apply mac...
101
click to vote
EGH
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...
149
Voted
TREC
1998
15 years 3 months ago
1998
This paper presents work done at Cambridge University, on the TREC7 Spoken Document Retrieval (SDR) Track. The broadcast news audio was transcribed using a 2-pass gender-dependent...
126
click to vote
ICARCV
2006
IEEE
15 years 8 months ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...