Sciweavers

2994 search results - page 21 / 599
» Time sequences
Sort
View
ISMIR
2001
Springer
262views Music» more  ISMIR 2001»
14 years 1 months ago
Automated Rhythm Transcription
We present a technique that, given a sequence of musical note onset times, performs simultaneous identi cation of the notated rhythm and the variable tempo associated with the tim...
Christopher Raphael
RTCSA
2006
IEEE
14 years 2 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
ICALP
1992
Springer
14 years 26 days ago
Fast Integer Merging on the EREW PRAM
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
Torben Hagerup
SSDBM
2002
IEEE
100views Database» more  SSDBM 2002»
14 years 1 months ago
Similarity Searching for Multi-Attribute Sequences
We investigate the problem of searching similar multiattribute time sequences. Such sequences arise naturally in a number of medical, financial, video, weather forecast, and stoc...
Tamer Kahveci, Ambuj K. Singh, Aliekber Gürel
EOR
2008
110views more  EOR 2008»
13 years 8 months ago
Runway sequencing with holding patterns
We study a scheduling problem, motivated by air-traffic control, in which a set of aircrafts are about to land on a single runway. When coming close to the landing area of the air...
Konstantin Artiouchine, Philippe Baptiste, Christo...