1581 search results - page 110 / 317 » Domain semantics of possibility computations |
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
102
click to vote
AIRS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents an approach for image annotation propagation to images which have no annotations. In some specific domains, the assumption that visual similarity impl...
107
click to vote
AAAI
2006
15 years 2 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
CASCON
1997
15 years 2 months ago
1997
The explosion in the amount of free text materials on the Internet, and the use of this information by people from all walks of life, has made the issue of generalized information...
128
click to vote
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...