Sciweavers

2419 search results - page 403 / 484
» A Formal Approach to Software Testing
Sort
View
DILS
2004
Springer
13 years 12 months ago
An Ontology-Driven Framework for Data Transformation in Scientific Workflows
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
Shawn Bowers, Bertram Ludäscher
GECCO
2006
Springer
156views Optimization» more  GECCO 2006»
13 years 12 months ago
Probabilistic modeling for continuous EDA with Boltzmann selection and Kullback-Leibeler divergence
This paper extends the Boltzmann Selection, a method in EDA with theoretical importance, from discrete domain to the continuous one. The difficulty of estimating the exact Boltzma...
Yunpeng Cai, Xiaomin Sun, Peifa Jia
AAAI
2007
13 years 10 months ago
Acquiring Visibly Intelligent Behavior with Example-Guided Neuroevolution
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
Bobby D. Bryant, Risto Miikkulainen
AAAI
2008
13 years 10 months ago
Learning Grasp Strategies with Partial Shape Information
We consider the problem of grasping novel objects in cluttered environments. If a full 3-d model of the scene were available, one could use the model to estimate the stability and...
Ashutosh Saxena, Lawson L. S. Wong, Andrew Y. Ng
AAAI
2007
13 years 10 months ago
Measuring the Level of Transfer Learning by an AP Physics Problem-Solver
Transfer learning is the ability of an agent to apply knowledge learned in previous tasks to new problems or domains. We approach this problem by focusing on model formulation, i....
Matthew Klenk, Kenneth D. Forbus