This paper describes the latest version of the ABC metadata model. This model has been developed within the Harmony international digital library project to provide a common conce...
This report describes a new open-domain answer retrieval system developed at the University of Edinburgh and gives results for the TREC-12 question answering track. Phrasal answer...
Jochen L. Leidner, Johan Bos, Tiphaine Dalmas, Jam...
Potentially, the advantages of marker-passing over local connectionist techniques for associa tive inference are (1) the ability to differen tiate variable bindings, and (2) r...
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
This paper introduces an ant-based colony system for the representation of a verbal route description. It is grounded on a natural metaphor that mimics the behavior of ant colonie...