1205 search results - page 195 / 241 » Program Extraction from Large Proof Developments |
124
click to vote
LREC
2010
15 years 2 months ago
2010
After several years of development, the vision of the Semantic Web is gradually becoming reality. Large data repositories have been created and offer semantic information in a mac...
BMCBI
2007
15 years 1 months ago
2007
Background: Orthology is one of the cornerstones of gene function prediction. Dividing the phylogenetic relations between genes into either orthologs or paralogs is however an ove...
105
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...
BMCBI
2008
15 years 1 months ago
2008
Background: Simple Sequence Repeat (SSR) or microsatellite markers are valuable for genetic research. Experimental methods to develop SSR markers are laborious, time consuming and...
144
click to vote
CASCON
1992
15 years 2 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...