Sciweavers

536 search results - page 70 / 108
» Planning by Abstraction Using HW[]
Sort
View
ICRA
2006
IEEE
146views Robotics» more  ICRA 2006»
14 years 1 months ago
RRT Path Planner with 3DOF Local Planner
Abstract— We present a path planning algorithm for a polyhedral robot with six degrees of freedom (6DOF) and a static obstacle. The planner consists of a dual-tree RRT algorithm ...
Jade Yang, Elisha Sacks
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
14 years 1 months ago
A Framework for Automatic Deployment of Robots in 2D and 3D Environments
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
Marius Kloetzer, Calin Belta
ICDE
2005
IEEE
122views Database» more  ICDE 2005»
14 years 1 months ago
A Cost-Space Approach to Distributed Query Optimization in Stream Based Overlays
Abstract— Distributed stream-based applications, such as continuous query systems, have network scale and time characteristics that challenge traditional distributed query optimi...
Jeffrey Shneidman, Peter R. Pietzuch, Matt Welsh, ...
KES
2005
Springer
14 years 1 months ago
Analysis and Synthesis of Help-Desk Responses
Abstract. We present a corpus-based approach for the automatic analysis and synthesis of email responses to help-desk requests. This approach can be used to automatically deal with...
Yuval Marom, Ingrid Zukerman
AMAST
2004
Springer
14 years 1 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs