2478 search results - page 44 / 496 » Universality in two dimensions |
69
Voted
LPAR
2010
Springer
14 years 9 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
108
click to vote
TREC
2008
15 years 10 days ago
2008
York University participated in the TREC 2008 Blog track, by introducing two opinion finding features. By initially focusing solely on the sentiment terms found in a document, usi...
84
Voted
TRECVID
2008
15 years 10 days ago
2008
In this paper we describe our experiments in the automatic and interactive search tasks of TRECVID 2008. We submitted six runs, five of them are automatic and one is interactive. ...
63
Voted
TREC
2003
15 years 8 days ago
2003
In this paper, we describe our retrieval system used for the primary task of genomics track at this year. Our primary goal in this task is to find a proper method for the domain-sp...
LFP
1990
15 years 2 days ago
1990
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple