1131 search results - page 63 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
109
Voted
AC
2000
Springer
15 years 4 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
92
Voted
PR
2007
14 years 12 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
137
click to vote
ILP
2007
Springer
15 years 6 months ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...
105
click to vote
CAEPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
ICFP
2002
ACM
16 years 13 days ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...