3387 search results - page 388 / 678 » Model-Checking for Real-Time Systems |
253
click to vote
ICVS
2003
Springer
16 years 21 days ago
2003
Springer
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
177
click to vote
MM
1994
ACM
15 years 11 months ago
1994
ACM
This paper presents a beat tracking system that processes acoustic signals of music and recognizes temporal positions of beats in real time. Musical beat tracking is needed by var...
198
click to vote
CMMR
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. The Internet Archive for Electronic Music (IAEM) is intended to be a platform to access an extensive and distributed archive of electronic music. It combines collaborativ...
234
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents an efficient technique for real time estimation of on-board stereo vision system pose. The whole process is performed in the Euclidean space and consi...
190
Voted
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...