88 search results - page 18 / 18 » Proving the Correctness of the STG Machine |
CLEF
2008
Springer
13 years 10 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
TREC
2000
13 years 10 months ago
2000
We investigated the dictionary-based query translation method combining the translation disambiguation process using statistic cooccurrence information trained from the provided c...
BMCBI
2006
13 years 9 months ago
2006
Background: We recently developed the Paired End diTag (PET) strategy for efficient characterization of mammalian transcriptomes and genomes. The paired end nature of short PET se...