1205 search results - page 208 / 241 » Program Extraction from Large Proof Developments |
152
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...
118
click to vote
SCFBM
2008
15 years 24 days ago
2008
Background: Biological imaging is an emerging field, covering a wide range of applications in biological and clinical research. However, while machinery for automated experimentin...
111
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Figure/ground assignment is a key step in perceptual organization which assigns contours to one of the two abutting regions, providing information about occlusion and all...
128
click to vote
MIR
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we present an index structure-based method to fast and robustly search short video clips in large video collections. First we temporally segment a given long video ...
157
click to vote
PAKDD
2009
ACM
15 years 8 months ago
2009
ACM
It is a challenging and important task to retrieve images from a large and highly varied image data set based on their visual contents. Problems like how to fill the semantic gap b...