1205 search results - page 219 / 241 » Program Extraction from Large Proof Developments |
111
Voted
ICPR
2006
IEEE
16 years 25 days ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
113
click to vote
ISBI
2009
IEEE
15 years 6 months ago
2009
IEEE
Dynamic cardiac metrics, including myocardial strains and displacements, provide a quantitative approach to evaluate cardiac function. However, in current clinical diagnosis, larg...
126
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
The proliferation of knowledge-sharing communities and the advances in information extraction have enabled the construction of large knowledge bases using the RDF data model to re...
SIGIR
1992
ACM
15 years 3 months ago
1992
ACM
ct tasks such as extraction of relational information from text [Young] [Jacobs]. We describe a method for classifying news stories using Alternative systems [Biebricher] [Lewis] u...
116
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...