5863 search results - page 1014 / 1173 » On Model-Checking of P Systems |
151
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
Razzaq and Heffernan (2006) showed that scaffolding compared to hints on demand in an intelligent tutoring system could lead to higher averages on a middle school mathematics post-...
111
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
138
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
A problem of planning for cooperative teams under uncertainty is a crucial one in multiagent systems. Decentralized partially observable Markov decision processes (DECPOMDPs) prov...
133
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
156
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Process mining techniques attempt to extract non-trivial and useful information from event logs recorded by information systems. For example, there are many process mining techniqu...