5639 search results - page 833 / 1128 » Timed Abstract Non-interference |
139
click to vote
CLEF
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes an experimental investigation of interactive techniques for cross-language information access. The task was to answer factual questions from a large ...
177
click to vote
CMMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present algorithms for the automatic timesynchronization of score-, MIDI- or PCM-data streams which represent the same polyphonic piano piece. In contras...
119
click to vote
CMMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Voice separation is a critical component of music information retrieval, music analysis and automated transcription systems. We present a contig mapping approach to voice...
115
click to vote
COLT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show several PAC-style concentration bounds for learning unigrams language model. One interesting quantity is the probability of all words appearing exactly k times in...
144
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...