3387 search results - page 473 / 678 » Model-Checking for Real-Time Systems |
136
click to vote
CIARP
2005
Springer
15 years 11 months ago
2005
Springer
A simple note onset detection system for music is presented in this work. To detect onsets, a 1/12 octave filterbank is simulated in the frequency domain and the band derivatives ...
137
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present a new approach for omnidirectional vision-based self-localization in the RoboCup Middle-Size League. The omnidirectional vision sensor is used as a range ...
184
click to vote
IWSOC
2003
IEEE
15 years 11 months ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
178
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The integration of more and more functionality into the human machine interface (HMI) of vehicles increases the complexity of device handling. Thus optimal use of differ...
163
click to vote
ICMCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Multimedia applications have dynamic and adaptive realtime requirements. Current scheduling practice, as typified by UNIX System V Release 4, lacks the necessary information and ...