Sciweavers

9065 search results - page 1370 / 1813
» Robotics
Sort
View
186
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ISER
1999
Springer
112views Robotics» more  ISER 1999»
15 years 10 months ago
Models for Automated Earthmoving
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
Howard Cannon, Sanjiv Singh
151
Voted
ISER
1999
Springer
108views Robotics» more  ISER 1999»
15 years 10 months ago
Combination of Several Vision Sensors for Interpretation of Human Actions
: In this paper we describe how the combination of several vision sensors can be used to track multiple human targets in a typical surveillance situation. The experimental system d...
Paulo Peixoto, Jorge Batista, Helder Araújo...
MICCAI
1999
Springer
15 years 10 months ago
A Single Image Registration Method for CT Guided Interventions
Minimally invasive image guided interventions are an attractive option for localized therapy delivery and diagnostic biopsy. We have developed a method for CT guided needle placeme...
Robert C. Susil, James H. Anderson, Russell H. Tay...
121
Voted
ICRA
1998
IEEE
79views Robotics» more  ICRA 1998»
15 years 10 months ago
Parts Orienting with Partial Sensor Information
Parts orienting, the process of bringing parts in initially unknown orientations to a goal orientation, is an important aspect of automated assembly. Bowl feeders used in industry...
Srinivas Akella, Matthew T. Mason
« Prev « First page 1370 / 1813 Last » Next »