2335 search results - page 117 / 467 » Functional Differentiation of Computer Programs |
181
click to vote
EOR
2006
15 years 6 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
208
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
375
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
301
click to vote
Book
"This book is a tutorial. Its aim is to teach C to a beginner, but with
enough of the details so as not be outgrown as the years go by. It presumes
that you have some previo...
170
click to vote
KES
2005
Springer
16 years 6 days ago
2005
Springer
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certai...