Sciweavers

842 search results - page 43 / 169
» Search Control Techniques for Planning
Sort
View
MKM
2005
Springer
14 years 2 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
TODS
2010
108views more  TODS 2010»
13 years 7 months ago
A survey of B-tree locking techniques
: © A survey of B-tree locking techniques Goetz Graefe HP Laboratories HPL-2010-9 storage systems, databases, B-tree, indexes, concurrency control, locking B-trees have been ubiqu...
Goetz Graefe
GECCO
2007
Springer
155views Optimization» more  GECCO 2007»
14 years 3 months ago
Towards clustering with XCS
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...
Kreangsak Tamee, Larry Bull, Ouen Pinngern
ATAL
2010
Springer
13 years 10 months ago
Dynamic generation and execution of human aware navigation plans
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
Thibault Kruse, Alexandra Kirsch, Emrah Akin Sisbo...
HAPTICS
2008
IEEE
14 years 3 months ago
On-Line Interactive Dexterous Grasping
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...
Matei T. Ciocarlie, Peter K. Allen