192 search results - page 8 / 39 » Nondeterminism in Constructive Z |
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
Image correction is discussed for realizing both effective object recognition and realistiic image-based rendering. Three image normalizations are compared in relation with the li...
PPDP
2007
Springer
15 years 3 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
COCO
2004
Springer
15 years 2 months ago
2004
Springer
The language compression problem asks for succinct descriptions of the strings in a language A such that the strings can be efficiently recovered from their description when given...
IJAC
2000
14 years 9 months ago
2000
Starting from a certain monoid that describes the geometry of the left self-distributivity identity, we construct an explicit realization of the free left self-distributive system ...
ESOP
2009
Springer
15 years 1 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...