3552 search results - page 619 / 711 » Proof theory in the abstract |
214
click to vote
ADAPTIVE
2007
Springer
16 years 17 days 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 ...
150
click to vote
AIED
2007
Springer
16 years 17 days 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....
217
click to vote
ATAL
2007
Springer
16 years 17 days 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 ...
163
click to vote
ATAL
2007
Springer
16 years 17 days 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...
161
click to vote
BTW
2007
Springer
16 years 17 days 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...