1162 search results - page 194 / 233 » Monotonic Semantic Interpretation |
140
click to vote
AMSTERDAM
2009
14 years 10 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Image categorization is undoubtedly one of the most challenging open problems faced in Computer Vision, far from being solved by employing pure visual cues. Recently, additional t...
201
click to vote
POPL
2007
ACM
16 years 24 days ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
126
Voted
SSDBM
2010
IEEE
15 years 5 months ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...
135
click to vote
FPCA
1995
15 years 4 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...