Sciweavers

691 search results - page 54 / 139
» Path Consistency by Dual Consistency
Sort
View
JUCS
2002
89views more  JUCS 2002»
15 years 5 months ago
Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...
Hartmut Surmann, Antonio Morales
CORR
2010
Springer
175views Education» more  CORR 2010»
15 years 2 months ago
Improving the Performance of maxRPC
Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRPC...
Thanasis Balafoutis, Anastasia Paparrizou, Kostas ...
ECCV
2004
Springer
16 years 8 months ago
Structure and Motion from Images of Smooth Textureless Objects
This paper addresses the problem of estimating the 3D shape of a smooth textureless solid from multiple images acquired under orthographic projection from unknown and unconstrained...
Yasutaka Furukawa, Amit Sethi, Jean Ponce, David J...
ICSE
2007
IEEE-ACM
16 years 6 months ago
The Social Dynamics of Pair Programming
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
Jan Chong, Tom Hurlbutt
LICS
2007
IEEE
16 years 12 days ago
Principles of Superdeduction
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
Paul Brauner, Clément Houtmann, Claude Kirc...