Sciweavers

1259 search results - page 144 / 252
» In search of the memoryless property
Sort
View
ISMIR
2005
Springer
159views Music» more  ISMIR 2005»
14 years 1 months ago
Ringomatic: A Real-Time Interactive Drummer Using Constraint-Satisfaction and Drum Sound Descriptors
We describe a real-time musical agent that generates an audio drum-track by concatenating audio segments automatically extracted from pre-existing musical files. The drum-track c...
Jean-Julien Aucouturier, François Pachet
TACAS
2005
Springer
115views Algorithms» more  TACAS 2005»
14 years 1 months ago
On-the-Fly Reachability and Cycle Detection for Recursive State Machines
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P....
IEAAIE
2004
Springer
14 years 1 months ago
Iterative Semi-supervised Learning: Helping the User to Find the Right Records
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
Chris Drummond
IFIP
2004
Springer
14 years 1 months ago
A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
An Braeken, Christopher Wolf, Bart Preneel
WAPCV
2004
Springer
14 years 1 months ago
Visual Attention for Object Recognition in Spatial 3D Data
In this paper, we present a new recognition system for the fast detection and classification of objects in spatial 3D data. The system consists of two main components: A biologic...
Simone Frintrop, Andreas Nüchter, Hartmut Sur...