4184 search results - page 482 / 837 » Names of Our Lives |
164
click to vote
AIRS
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we describe a reading comprehension system. This system can return a sentence in a given document as the answer to a given question. This system applies bag-of-words...
160
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
169
click to vote
CLEF
2004
Springer
16 years 5 days ago
2004
Springer
Our group in the Department of Informatics at the University of Oviedo has participated, for the first time, in two tasks at CLEF: monolingual (Russian) and bilingual (Spanish-to-E...
201
click to vote
DALT
2004
Springer
16 years 5 days ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
191
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...