1205 search results - page 141 / 241 » Program Extraction from Large Proof Developments |
122
click to vote
PST
2004
15 years 2 months ago
2004
Visualized information is a technique that can encode large amounts of complex interrelated data, being at the same time easily quantified, manipulated, and processed by a human us...
124
click to vote
CLEF
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present an approach to detect external plagiarism based on textual similarity. This is an efficient and precise method that can be applied over large sets of docum...
146
click to vote
ASIAN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This text is an informal review of several randomized algorithms that have appeared over the past two decades and have proved instrumental in extracting efficiently quant...
130
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The Gene Ontology Annotation (GOA) database http://www.ebi.ac.uk/GOA aims to provide high-quality supplementary GO annotation to proteins in the UniProt Knowledgebase....
113
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Automatically assessing photo quality from the perspective of visual aesthetics is of great interest in high-level vision research and has drawn much attention in recent years. In...