2432 search results - page 312 / 487 » Cryptographic 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...
153
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
245
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
149
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...