Sciweavers

1890 search results - page 234 / 378
» Graph-Based Concept Learning
Sort
View
IJCAI
1997
15 years 4 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs
LPE
1997
15 years 4 months ago
Visualizing Solutions with Viewers
Visualization can be a powerful aid for learning a programming language. It may be used to reinforce central language concepts. In the context of Prolog and CLP-languages, however...
Ulrich Neumerkel, Christoph Rettig, Christian Scha...
IJCAI
1993
15 years 4 months ago
Average-Case Analysis of a Nearest Neighbor Algorithm
In this paper we present an average-case analysis of the nearest neighbor algorithm, a simple induction method that has been studied by manyresearchers. Our analysis assumes a con...
Pat Langley, Wayne Iba
96
Voted
LRE
2008
110views more  LRE 2008»
15 years 2 months ago
Automatic building of an ontology on the basis of text corpora in Thai
This paper presents a methodology for automatic learning of ontologies from Thai text corpora, by extraction of terms and relations. A shallow parser is used to chunk texts on whic...
Aurawan Imsombut, Asanee Kawtrakul
127
Voted
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 2 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...