367 search results - page 31 / 74 » Adapting functional programs to higher order logic |
84
Voted
TBILLC
2005
Springer
15 years 6 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...
113
Voted
JFP
2000
15 years 9 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
86
Voted
ADAEUROPE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
125
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In the independent component analysis, polynomial functions of higher order statistics are often used as cost functions. However, such cost functions usually have many local minim...
111
click to vote
ICLP
2010
Springer
15 years 4 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...