1205 search results - page 209 / 241 » Program Extraction from Large Proof Developments |
121
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...
103
click to vote
FOIS
2006
15 years 2 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
132
click to vote
APVIS
2009
15 years 2 months ago
2009
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
118
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Currently, a number of bioinformatics methods are available to generate appropriate lists of genes from a microarray experiment. While these lists represent an accurat...
128
click to vote
EDM
2009
14 years 11 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...