12981 search results - page 2240 / 2597 » Model Checking (Abstract) |
169
click to vote
AAMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The application of reinforcement learning algorithms to multiagent domains may cause complex non-convergent dynamics. The replicator dynamics, commonly used in evolutiona...
157
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
164
click to vote
ACAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
143
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
128
click to vote
AIED
2007
Springer
15 years 11 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....