967 search results - page 9 / 194 » Probabilistic Predicative Programming |
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
MPC
1992
Springer
15 years 3 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
76
Voted
AAAI
2010
15 years 1 months ago
2010
In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first ...
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
164
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we argue that developing information extraction (IE) programs using Datalog with embedded procedural extraction predicates is a good way to proceed. First, compared ...