Sciweavers

1146 search results - page 109 / 230
» On the Complexity of Domain-Independent Planning
Sort
View
ASM
2010
ASM
14 years 6 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler
ICDE
2010
IEEE
194views Database» more  ICDE 2010»
14 years 4 months ago
Visualizing cost-based XQuery optimization
Abstract— Developing a full-fledged cost-based XQuery optimizer is a fairly complex task. Nowadays, there is little knowledge concerning suitable cost formulae and optimization ...
Andreas M. Weiner, Theo Härder, Renato Olivei...
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
14 years 3 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
ICCBR
2009
Springer
14 years 3 months ago
S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
Brandon Rohrer
ICPR
2008
IEEE
14 years 3 months ago
Real-time update of 3D deformable models for computer aided liver surgery
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
Benoît Dagon, Charles Baur, Vincent Bettscha...