Sciweavers

3718 search results - page 160 / 744
» Programming by Integration in Robotics
Sort
View
LPNMR
1995
Springer
15 years 10 months ago
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
Dov M. Gabbay, Laura Giordano, Alberto Martelli, N...
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 6 months ago
Grothendieck inequalities for semidefinite programs with rank constraint
Grothendieck inequalities are fundamental inequalities which are frequently used in many areas of mathematics and computer science. They can be interpreted as upper bounds for the ...
Jop Briët, Fernando Mário de Oliveira ...
ICRA
2009
IEEE
145views Robotics» more  ICRA 2009»
16 years 1 months ago
A two-steps next-best-view algorithm for autonomous 3D object modeling by a humanoid robot
— A novel approach is presented which aims at building autonomously visual models of unknown objects, using a humanoid robot. Although good methods have been proposed for the spe...
Torea Foissotte, Olivier Stasse, Adrien Escande, P...
ATAL
2004
Springer
15 years 12 months ago
Teaching and Working with Robots as a Collaboration
New applications for autonomous robots bring them into the human environment where they are to serve as helpful assistants to untrained users in the home or office, or work as ca...
Cynthia Breazeal, Guy Hoffman, Andrea Lockerd
CVRMED
1995
Springer
15 years 10 months ago
Towards More Capable and Less Invasive Robotic Surgery in Orthopaedics
Abstract. Current surgical robotic systems in orthopaedics lack realistic pre-operative simulations and utilize invasive methods to register bone intra-operatively. A multidiscipli...
R. V. O'Toole III, David A. Simon, Branislav Jaram...