1205 search results - page 206 / 241 » Program Extraction from Large Proof Developments |
106
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Evolutionary genomics requires management and filtering of large numbers of diverse genomic sequences for accurate analysis and inference on evolutionary processes of ...
110
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Designing maximally selective ligands that act on individual targets is the dominant paradigm in drug discovery. Poor selectivity can underlie toxicity and side effect...
113
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The expressed sequence tag (EST) methodology is an attractive option for the generation of sequence data for species for which no completely sequenced genome is availa...
174
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
We introduce scalability for computer games as the next frontier for techniques from data management. A very important aspect of computer games is the artificial intelligence (AI)...
113
click to vote
ANLP
1992
15 years 2 months ago
1992
The availability of large files of manuallyreviewed parse trees from the University of Pennsylvania "tree bank", along with a program for comparing system-generated pars...