6274 search results - page 865 / 1255 » Proofs, Programs, Processes |
140
Voted
ILP
2004
Springer
15 years 9 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
128
Voted
ILP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
133
Voted
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
118
Voted
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
142
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
: This paper presents FROSTY, a computer program for automatically extracting the hierarchy of a large-scale digital CMOS circuit from its transistor-level netlist description and ...