Sciweavers

6762 search results - page 721 / 1353
» Multiple drafts model
Sort
View
ISMIR
2005
Springer
128views Music» more  ISMIR 2005»
16 years 1 months ago
A Hierarchical Approach for Audio Stream Segmentation and Classification
This paper describes a hierarchical approach for fast audio stream segmentation and classification. With this approach, the audio stream is firstly segmented into audio clips by M...
Wei Liang, Shuwu Zhang, Bo Xu
ROBOCUP
2005
Springer
119views Robotics» more  ROBOCUP 2005»
16 years 1 months ago
SimRobot - A General Physical Robot Simulator and Its Application in RoboCup
This paper describes SimRobot, a robot simulator which is able to simulate arbitrary user-defined robots in three-dimensional space. It includes a physical model which is based on...
Tim Laue, Kai Spiess, Thomas Röfer
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
16 years 1 months ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
E. Allen Emerson, Thomas Wahl
ATAL
2004
Springer
16 years 1 months ago
Automated Multi-Attribute Negotiation with Efficient Use of Incomplete Preference Information
This paper presents a model for integrative, one-to-one negotiation in which the values across multiple attributes are negotiated simultaneously. We model a mechanism in which age...
Catholijn M. Jonker, Valentin Robu
AUSAI
2004
Springer
16 years 1 months ago
A Learning-Based Algorithm Selection Meta-reasoner for the Real-Time MPE Problem
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
Haipeng Guo, William H. Hsu