3166 search results - page 92 / 634 » Translation By Structural Correspondences |
106
click to vote
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
GCB
2004
Springer
15 years 6 months ago
2004
Springer
: The main contribution of this paper is a novel approach for fast searching in huge structural databases like the PDB. The data structure is based on an adaption of the generalize...
95
Voted
LREC
2010
15 years 2 months ago
2010
We present a method for acquiring reliable predicate-argument structures from raw corpora for automatic compilation of case frames. Such lexicon compilation requires highly reliab...
104
click to vote
BMCBI
2006
15 years 21 days ago
2006
Background: The discovery of cis-regulatory motifs still remains a challenging task even though the number of sequenced genomes is constantly growing. Computational analyses using...
106
Voted
BMCBI
2005
15 years 17 days ago
2005
Background: Translational research requires taking basic science observations and developing them into clinically useful tests and therapeutics. We have developed a process to dev...