8008 search results - page 677 / 1602 » Computer-Aided Language Processing |
167
click to vote
LREC
2010
15 years 9 months ago
2010
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...
167
click to vote
NAACL
2003
15 years 8 months ago
2003
The JAVELIN system integrates a flexible, planning-based architecture with a variety of language processing modules to provide an open-domain question answering capability on fre...
188
click to vote
ACTA
2007
15 years 7 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
149
click to vote
IPL
2008
15 years 7 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
184
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...