1536 search results - page 49 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Relational databases are widely used today as a mechanism for providing access to structured data. They, however, are not suitable for typical information finding tasks of end use...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
State-of-the-art question answering (QA) systems employ termdensity ranking to retrieve answer passages. Such methods often retrieve incorrect passages as relationships among ques...
DAGSTUHL
2007
14 years 11 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
COLING
1990
14 years 11 months ago
1990
The purpose of this paper is to compare different ways of adopting reason-maintenance techniques in incremental parsing (and interpretation). A reasonmaintenance system supports i...
ASIAN
1998
Springer
15 years 1 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...