Sciweavers

5752 search results - page 847 / 1151
» Informative Labeling Schemes
Sort
View
ISMIR
2004
Springer
162views Music» more  ISMIR 2004»
15 years 11 months ago
Features and classifiers for the automatic classification of musical audio signals
Several factors affecting the automatic classification of musical audio signals are examined. Classification is performed on short audio frames and results are reported as “ba...
Kristopher West, Stephen Cox
JIT
2004
Springer
94views Database» more  JIT 2004»
15 years 11 months ago
Self-accounting as Principle for Portable CPU Control in Java
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
Walter Binder, Jarle Hulaas
PCM
2004
Springer
326views Multimedia» more  PCM 2004»
15 years 11 months ago
Automatic Video Object Tracking Using a Mosaic-Based Background
In this paper, we propose a panorama-based object tracking scheme for wide-view surveillance systems that can detect and track moving objects with a pan-tilt camera. A dynamic mosa...
Young-Kee Jung, Kyu-Won Lee, Dong-Min Woo, Yo-Sung...
TYPES
2004
Springer
15 years 11 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
VLDB
2004
ACM
93views Database» more  VLDB 2004»
15 years 11 months ago
Indexing Temporal XML Documents
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...
Alberto O. Mendelzon, Flavio Rizzolo, Alejandro A....