1340 search results - page 190 / 268 » JWARS output analysis |
BIRD
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. We describe a new method for the exploration of evolutionary relations between protein structures. The approach is based on the ESSM algorithm for detecting structural mu...
CAV
2008
Springer
14 years 12 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
DOCENG
2005
ACM
14 years 11 months ago
2005
ACM
Structured document content reuse is the problem of restructuring and translating data structured under a source schema into an instance of a target schema. A notion closely tied ...
CLEF
2008
Springer
14 years 11 months ago
2008
Springer
This report is about our participation in the Answer Validation Exercise (AVE2008). Our system casts the AVE task into a Recognizing Textual Entailment (RTE) problem and uses an ex...
DAS
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...