967 search results - page 37 / 194 » Probabilistic Predicative Programming |
111
click to vote
JUCS
2006
15 years 2 months ago
2006
: In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge, defined...
120
click to vote
AAIP
2009
15 years 5 days ago
2009
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
WDAG
2001
Springer
15 years 6 months ago
2001
Springer
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
115
click to vote
SAS
2010
Springer
15 years 21 days ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
133
Voted
LOPSTR
1998
Springer
15 years 6 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...