1722 search results - page 117 / 345 » Generating Tests from Counterexamples |
CIKM
1997
Springer
14 years 2 months ago
1997
Springer
This paper presents an efficient algorithm for learning Bayesian belief networks from databases. The algorithm takes a database as input and constructs the belief network structur...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
Point Distribution Modelling (PDM) is an efficient generative technique that can be used to incorporate statistical shape priors into image analysis methods like Active Shape Mode...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
FLAIRS
2007
14 years 1 months ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...