Sciweavers

1302 search results - page 172 / 261
» Deductive Plan Generation
Sort
View
ICRA
2006
IEEE
217views Robotics» more  ICRA 2006»
14 years 4 months ago
Complete Coverage Control for Nonholonomic Mobile Robots in Dynamic Environments
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
Yi Guo, Mohanakrishnan Balakrishnan
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
14 years 4 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
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
14 years 3 months ago
Controlling Swarms of Robots Using Interpolated Implicit Functions
— We address the synthesis of controllers for large groups of robots and sensors, tackling the specific problem of controlling a swarm of robots to generate patterns specified ...
Luiz Chaimowicz, Nathan Michael, Vijay Kumar
ISORC
2005
IEEE
14 years 3 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
RT
2004
Springer
14 years 3 months ago
Image-Based Stereoscopic painterly Rendering
We present a new image-based stereoscopic painterly algorithm that we use to automatically generate stereoscopic paintings. Our work is motivated by contemporary painters who have...
Efstathios Stavrakis, Margrit Gelautz