Sciweavers

9841 search results - page 590 / 1969
» Distributed Value Functions
Sort
View
KES
2005
Springer
16 years 21 days ago
Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering
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...
Umberto Straccia
CASC
2007
Springer
114views Mathematics» more  CASC 2007»
15 years 11 months ago
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation
We consider summation of consecutive values (v), (v +1), . . . , (w) of a meromorphic function (z) where v, w ZZ. We assume that (z) satisfies a linear difference equation L(y) = ...
Sergei A. Abramov, Marko Petkovsek
ESOP
2000
Springer
15 years 10 months ago
Sharing Continuations: Proofnets for Languages with Explicit Control
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
Julia L. Lawall, Harry G. Mairson
EUSFLAT
2003
101views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Nearness and uniform convergence
Nearness (a fuzzy nearness) is a fuzzy relation that can be used to model various grades of “being close” in a linear space. We study the uniform convergence of a sequence of ...
Vladimír Janis
MOC
2000
122views more  MOC 2000»
15 years 7 months ago
Explicit resolutions of cubic cusp singularities
Resolutions of cusp singularities are crucial to many techniques in computational number theory, and therefore finding explicit resolutions of these singularities has been the focu...
H. G. Grundman