Sciweavers

4201 search results - page 130 / 841
» Interaction graphs: Additives
Sort
View
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
15 years 3 months ago
Graph based distributed control of non-holonomic vehicles endowed with local positioning information engaged in escorting missio
— Using graph theory, this paper investigates how a group of robots, endowed with local positioning (range and bearing from other robots), can be engaged in a leaderfollowing mis...
Riccardo Falconi, Sven Gowal, Alcherio Martinoli
FM
2009
Springer
134views Formal Methods» more  FM 2009»
15 years 2 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu
ICRA
2000
IEEE
180views Robotics» more  ICRA 2000»
15 years 9 months ago
Interactive Motion Planning Using Hardware-Accelerated Computation of Generalized Voronoi Diagrams
We present techniques for fast motion planning by using discrete approximations of generalized Voronoi diagrams, computed with graphics hardware. Approaches based on this diagram ...
Kenneth E. Hoff III, Tim Culver, John Keyser, Ming...
EUROPAR
2010
Springer
15 years 4 months ago
Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations
Today, it is possible to associate multiple CPUs and multiple GPUs in a single shared memory architecture. Using these resources efficiently in a seamless way is a challenging issu...
Everton Hermann, Bruno Raffin, François Fau...
TOG
2002
167views more  TOG 2002»
15 years 4 months ago
Interactive control of avatars animated with human motion data
Real-time control of three-dimensional avatars is an important problem in the context of computer games and virtual environments. Avatar animation and control is difficult, howeve...
Jehee Lee, Jinxiang Chai, Paul S. A. Reitsma, Jess...