Sciweavers

2302 search results - page 158 / 461
» Testing as Abstraction
Sort
View
ICRA
2005
IEEE
121views Robotics» more  ICRA 2005»
16 years 4 days ago
Distributed Sampling-Based Roadmap of Trees for Large-Scale Motion Planning
Abstract— High-dimensional problems arising from complex robotic systems test the limits of current motion planners and require the development of efficient distributed motion p...
Erion Plaku, Lydia E. Kavraki
PLILP
1994
Springer
15 years 10 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
AI50
2006
15 years 10 months ago
Intrinsically Motivated Machines
Abstract. Children seem intrinsically motivated to manipulate, to explore, to test, to learn and they look for activities and situations that provide such learning opportunities. I...
Frédéric Kaplan, Pierre-Yves Oudeyer
WWW
2007
ACM
16 years 7 months ago
Page-level template detection via isotonic smoothing
We develop a novel framework for the page-level template detection problem. Our framework is built on two main ideas. The first is the automatic generation of training data for a ...
Deepayan Chakrabarti, Ravi Kumar, Kunal Punera
NGC
2006
Springer
15 years 6 months ago
The Transformational Creativity Hypothesis
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
Graeme Ritchie