1205 search results - page 77 / 241 » Program Extraction from Large Proof Developments |
ANLP
2000
15 years 3 months ago
2000
We present a cut and paste based text summarizer, which uses operations derived from an analhuman written abstracts. The summarizer edits extracted sentences, using reduction to r...
126
click to vote
APBC
2003
15 years 3 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
131
click to vote
ESANN
2004
15 years 3 months ago
2004
When we talk about using neural networks for data mining we have in mind the original data mining scope and challenge. How did neural networks meet this challenge? Can we run neura...
135
click to vote
BIB
2011
14 years 8 months ago
2011
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
115
click to vote
MSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Recently TRW fielded a prototype system for a government customer. It provides a wide range of capabilities including data collection, hierarchical storage, automated distribution...