3552 search results - page 619 / 711 » Proof theory in the abstract |
231
Voted
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
162
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we examine whether the student-to-tutor convergence of lexical and speech features is a useful predictor of learning in a corpus of spoken tutorial dialogs....
252
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
181
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
185
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...