7956 search results - page 367 / 1592 » Into the Future |
177
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a technique for following a live performance in the situation where a score is not available. Making use of a local alignment between recent and longer term musical inf...
176
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
176
click to vote
ICALT
2007
IEEE
15 years 7 months ago
2007
IEEE
Feedback provided to a user is an important part of learning and interaction in e-learning systems. In this paper we present the results of our pilot experiment aimed to study int...
174
click to vote
ADHOC
2007
15 years 7 months ago
2007
In this paper we consider on-line disjoint path routing in energy-constrained ad hoc networks. The objective is to maximize the network capacity, i.e. maximize the number of messa...
129
click to vote
BIOSYSTEMS
2007
15 years 7 months ago
2007
We utilize a model of motion perception to link a physiological study of feature attention in cortical motion processing to a psychophysical experiment of motion perception. We ex...