2342 search results - page 344 / 469 » Information Needs and Automatic Queries |
149
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
156
click to vote
ICML
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper investigates how behavioral cloning can be used to decrease training time for students learning to y on simulators. The challenges presented to each student must be tai...
110
click to vote
ICASSP
2008
IEEE
16 years 12 days ago
2008
IEEE
This paper introduces a new way to measure rhythmic similarity between two musical pieces using periodicity spectra. In order to detect similarity for pieces of different tempi, t...
164
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
150
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
We present the MusicSurfer, a metadata free system for the interaction with massive collections of music. MusicSurfer automatically extracts descriptions related to instrumentatio...