1205 search results - page 165 / 241 » Program Extraction from Large Proof Developments |
BMCBI
2008
15 years 1 months ago
2008
Background: In the last five years large online resources of human variability have appeared, notably HapMap, Perlegen and the CEPH foundation. These databases of genotypes with p...
109
click to vote
JEI
2007
15 years 1 months ago
2007
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
108
click to vote
COMPUTER
1999
15 years 1 months ago
1999
Scientific visualization has emerged as an important tool for extracting meaning from the large volumes of data produced by scientific instruments and simulations. Increasingly, t...
111
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
Many applications make use of named entity classification. Machine learning is the preferred technique adopted for many named entity classification methods where the choice of feat...
121
click to vote
CORIA
2010
14 years 8 months ago
2010
Knowledge discovery from satellite images in spatio-temporal context remains one of the major challenges in the remote sensing field. It is, always, difficult for a user to manuall...