Sciweavers

34 search results - page 3 / 7
» One Setting for All: Metric, Topology, Uniformity, Approach ...
Sort
View
ICRA
2002
IEEE
82views Robotics» more  ICRA 2002»
14 years 12 days ago
Trajectory Design for Formations of Robots by Kinetic Energy Shaping
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
Calin Belta, Vijay Kumar
DAGSTUHL
2006
13 years 8 months ago
Point-set algorithms for pattern discovery and pattern matching in music
An algorithm that discovers the themes, motives and other perceptually significant repeated patterns in a musical work can be used, for example, in a music information retrieval sy...
David Meredith
IGIS
1994
118views GIS» more  IGIS 1994»
13 years 11 months ago
Surface Modelling with Guaranteed Consistency - An Object-Based Approach
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
Christopher M. Gold, Thomas Roos
MIDDLEWARE
2004
Springer
14 years 25 days ago
The Peer Sampling Service: Experimental Evaluation of Unstructured Gossip-Based Implementations
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
Márk Jelasity, Rachid Guerraoui, Anne-Marie...
FORMATS
2006
Springer
13 years 11 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...