967 search results - page 34 / 194 » Probabilistic Predicative Programming |
105
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
112
click to vote
ENTCS
2006
15 years 2 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
132
click to vote
ALT
2004
Springer
15 years 11 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
107
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
122
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi