499 search results - page 61 / 100 » Constructive Induction by Analogy |
ICCBR
1999
Springer
14 years 3 hour ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
BIBE
2007
IEEE
13 years 11 months ago
2007
IEEE
Recent research has demonstrated the utility of using supervised classification systems for automatic identification of low quality microarray data. However, this approach requires...
FASE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
AAAI
2006
13 years 9 months ago
2006
Transfer learning concerns applying knowledge learned in one task (the source) to improve learning another related task (the target). In this paper, we use structure mapping, a ps...
IAAI
2003
13 years 9 months ago
2003
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...