9989 search results - page 1907 / 1998 » A CLP Approach to Modelling Systems |
129
click to vote
PDPTA
2000
15 years 5 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...
137
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
159
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
154
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Automatic and real-time identification of unusual incidents is important for event detection and alarm systems. In today's camera surveillance solutions video streams are dis...
139
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we review the acoustic features used for music-to-score alignment and study their influence on the performance in a challenging alignment task, where the audio data...