12981 search results - page 2240 / 2597 » Model Checking and Abstraction |
206
click to vote
AAMAS
2007
Springer
16 years 1 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...
193
click to vote
AB
2007
Springer
16 years 1 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...
201
click to vote
ACAL
2007
Springer
16 years 1 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...
182
click to vote
AGTIVE
2007
Springer
16 years 1 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...
158
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....