6343 search results - page 343 / 1269 » Development of a Cartographic Language |
166
click to vote
TREC
2001
15 years 8 months ago
2001
This paper describes the architecture, operation and results obtained with the Question Answering prototype developed in the Department of Language Processing and Information Syst...
184
click to vote
TREC
2004
15 years 8 months ago
2004
This paper describes the experiments of the State University of New York at Buffalo in TREC 13. We participated in the Genomics track and submitted official runs to the Adhoc retri...
161
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
188
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
160
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...