5090 search results - page 464 / 1018 » Constructing Strategies for Programming |
184
click to vote
AAAI
2006
15 years 8 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
179
click to vote
DOA
2000
15 years 8 months ago
2000
XML has emerged as the universal standard for exchanging and externalizing data. Software products of all kinds are being upgraded to "support XML." Typically this means...
190
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
172
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
177
click to vote
FUIN
2006
15 years 7 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...