1205 search results - page 221 / 241 » Program Extraction from Large Proof Developments |
113
click to vote
ICCBR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
119
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
113
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Ranked gene lists from microarray experiments are usually analysed by assigning significance to predefined gene categories, e.g., based on functional annotations. Tool...
115
click to vote
IPCCC
1999
IEEE
15 years 4 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
111
click to vote
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
We propose regression modeling as an efficient approach for accurately predicting performance and power for various applications executing on any microprocessor configuration in a...