2138 search results - page 193 / 428 » Logical Step-Indexed Logical Relations |
182
click to vote
ICTIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
165
click to vote
NDJFL
2010
15 years 1 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
187
click to vote
GEOINFO
2003
15 years 8 months ago
2003
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
188
click to vote
MIDDLEWARE
2007
Springer
16 years 21 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
183
click to vote
ASYNC
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...