1205 search results - page 72 / 241 » Program Extraction from Large Proof Developments |
BMCBI
2005
15 years 1 months ago
2005
Background: In the post-genomic era, correct gene prediction has become one of the biggest challenges in genome annotation. Improved promoter prediction methods can be one step to...
107
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Keyphrases are short phrases that reflect the main topic of a document. Because manually annotating documents with keyphrases is a time-consuming process, several automatic appro...
102
Voted
DGO
2003
15 years 3 months ago
2003
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
166
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a real-time algorithm to estimate the 3D
pose of a previously unseen face from a single range im-
age. Based on a novel shape signature to identify noses in
range ima...
124
click to vote
CONCURRENCY
2010
15 years 1 months ago
2010
As the complexity and scale of current scientific and engineering applications grow, managing and transporting the large amounts of data they generate is quickly becoming a signif...