2805 search results - page 394 / 561 » Modeling Memory for Melodies |
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
167
click to vote
IJHR
2008
15 years 6 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...
157
click to vote
CSDA
2007
15 years 6 months ago
2007
The paper presents a comparative study on the performance of commonly used estimators of the fractional order of integration when data is contaminated by noise. In particular, meas...
175
click to vote
PPL
2008
15 years 6 months ago
2008
The model of bulk-synchronous parallel computation (BSP) helps to implement portable general purpose algorithms while keeping predictable performance on different parallel compute...
182
click to vote
PRL
2006
15 years 6 months ago
2006
A new computational model for active visual attention is introduced in this paper. The method extracts motion and shape features from video image sequences, and integrates these f...