6167 search results - page 104 / 1234 » Can Refinement be Automated |
113
click to vote
IJMMS
2000
15 years 3 months ago
2000
We survey five mathematical discovery programs by looking in detail at the discovery processes they illustrate and the success they've had. We focus on how they estimate the ...
144
click to vote
ISAMI
2010
14 years 11 months ago
2010
Abstract. In the present paper we describe IntelliDomo's learning model, an ontology-based expert system able to control a home automation system and to learn user's beha...
138
click to vote
ISBI
2002
IEEE
16 years 4 months ago
2002
IEEE
We describe the Protein Subcellular Location Image Database (PSLID), which collects and structures 2-D through 5-D fluorescence microscope images, annotations, and derived feature...
134
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
156
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...