2362 search results - page 142 / 473 » Programming in Standard ML |
144
click to vote
ICLP
1998
Springer
15 years 8 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
131
click to vote
TPHOL
1994
IEEE
15 years 8 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
138
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
133
click to vote
IEEEARES
2010
IEEE
15 years 5 months ago
2010
IEEE
—One of the central areas in network intrusion detection is how to build effective systems that are able to distinguish normal from intrusive traffic. In this paper we explore t...
130
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
We propose a method of knowledge reuse between evolutionary processes that solve different optimization tasks. We define the method in the framework of tree-based genetic progra...