209 search results - page 4 / 42 » Inductive Reasoning and Programming Visualization, an Experi... |
ILP
2004
Springer
14 years 26 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
PRICAI
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
PEPM
2012
ACM
12 years 3 months ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
ILP
2007
Springer
14 years 1 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
CVPR
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, a generic rule induction framework based on trajectory series analysis is proposed to learn the event rules. First the trajectories acquired by a tracking system ar...