Sciweavers

3381 search results - page 298 / 677
» Extending Dependencies with Conditions
Sort
View
ISMIR
2004
Springer
133views Music» more  ISMIR 2004»
16 years 2 days ago
Understanding Search Performance in Query-by-Humming Systems
Previous work in Query-by-Humming systems has left open many questions. Although a variety of techniques have been explored, there has been relatively little work to compare them ...
Roger B. Dannenberg, Ning Hu
UPP
2004
Springer
16 years 1 days ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
ICRA
2003
IEEE
149views Robotics» more  ICRA 2003»
15 years 12 months ago
Curvature Based Point Stabilization for Compliant Framed Wheeled Modular Mobile Robots
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
Brian W. Albiston, Mark A. Minor
LICS
2003
IEEE
15 years 12 months ago
An NP Decision Procedure for Protocol Insecurity with XOR
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
Yannick Chevalier, Ralf Küsters, Michaël...
EUSAI
2003
Springer
15 years 12 months ago
Vision-Based Localization for Mobile Platforms
In this paper, we describe methods to localize a mobile robot in an indoor environment from visual information. An appearance-based approach is adopted in which the environment is ...
Josep M. Porta, Ben J. A. Kröse