554 search results - page 76 / 111 » Question-answering by predictive annotation |
134
click to vote
AIL
2006
15 years 4 months ago
2006
We describe research carried out as part of a text summarisation project for the legal domain for which we use a new XML corpus of judgments of the UK House of Lords. These judgmen...
114
click to vote
NAR
1998
15 years 4 months ago
1998
The Yeast Protein Database (YPD) is a curated database for the proteome of Saccharomyces cerevisiae. It consists of ∼6000 Yeast Protein Reports, one for each of the known or pre...
125
click to vote
NAR
2007
15 years 3 months ago
2007
The SUPERFAMILY database provides protein domain assignments, at the SCOP ‘superfamily’ level, for the predicted protein sequences in over 400 completed genomes. A superfamily...
148
click to vote
BALT
2010
14 years 11 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
143
click to vote
NFM
2011
14 years 11 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...