576 search results - page 63 / 116 » Uncertainty in Knowledge Provenance |
RTA
2010
Springer
14 years 1 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
AAAI
2008
14 years 8 days ago
2008
The aim of General Game Playing (GGP) is to create intelligent agents that automatically learn how to play many different games at an expert level without any human intervention. ...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. The Mymory project1 uses a web-based wor...
IJCAI
2007
13 years 11 months ago
2007
A local spatial context is an area currently under consideration in a spatial reasoning process. The boundary between this area and the surrounding space together with the spatial...