1205 search results - page 166 / 241 » Program Extraction from Large Proof Developments |
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
Recently developed optical inspection tools provide images from the inside of natural gas pipelines to monitor pipeline integrity. The vast amounts of data generated prohibits hum...
CAIP
2003
Springer
15 years 6 months ago
2003
Springer
A general framework for automatic segmentation of diatom images is presented. This segmentation is a critical first step in contour-based methods for automatic identification of ...
129
click to vote
SDM
2007
SIAM
15 years 2 months ago
2007
SIAM
Manifold learning is an effective methodology for extracting nonlinear structures from high-dimensional data with many applications in image analysis, computer vision, text data a...
103
click to vote
ISMB
1993
15 years 2 months ago
1993
Thoughit has been possible in the past to learn to predict DNAhydration patterns from crystallographic data, there is ambiguity in the choice of training data (both in terms of th...
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Robert French has argued that a disembodied computer is incapable of passing a Turing Test that includes subcognitive questions. Subcognitive questions are designed to probe the n...