1205 search results - page 61 / 241 » Program Extraction from Large Proof Developments |
106
click to vote
COMPUTER
2010
14 years 9 months ago
2010
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...
EWSA
2004
Springer
15 years 5 months ago
2004
Springer
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
106
click to vote
BMCBI
2010
15 years 12 days ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
105
click to vote
KDD
2009
ACM
16 years 25 days ago
2009
ACM
Classification is a core task in knowledge discovery and data mining, and there has been substantial research effort in developing sophisticated classification models. In a parall...
187
click to vote
POPL
2001
ACM
16 years 18 days ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...