Sciweavers

3223 search results - page 275 / 645
» The Scaling of Search Cost
Sort
View
FASE
2009
Springer
15 years 11 months ago
Algorithms for Automatically Computing the Causal Paths of Failures
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
William N. Sumner, Xiangyu Zhang
174
Voted
ICRA
2000
IEEE
93views Robotics» more  ICRA 2000»
15 years 11 months ago
Human Augmentation in Teleoperation of Arm Manipulators in an Environment with Obstacles
This paper discusses a novel approach to combining human and machine intelligence in teleoperation of 6 degree of freedom (DOF) arm manipulators. Two algorithms are presented that...
Igor Ivanisevic, Vladimir J. Lumelsky
AGENTS
1999
Springer
15 years 11 months ago
Shopbot Economics
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
Jeffrey O. Kephart, Amy R. Greenwald
CP
2008
Springer
15 years 8 months ago
Connecting ABT with Arc Consistency
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
Ismel Brito, Pedro Meseguer
AMR
2008
Springer
288views Multimedia» more  AMR 2008»
15 years 8 months ago
Automatic Reduction of MIDI Files Preserving Relevant Musical Content
Retrieving music from large digital databases is a demanding computational task. The cost for indexing and searching depends not only on the computational effort of measuring music...
Søren Tjagvad Madsen, Rainer Typke, Gerhard...