Sciweavers

7340 search results - page 276 / 1468
» The Behavior of Tutoring Systems
Sort
View
APN
2003
Springer
15 years 10 months ago
Reactive Petri Nets for Workflow Modeling
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
Rik Eshuis, Juliane Dehnert
DSVIS
2008
Springer
15 years 8 months ago
Resources for Situated Actions
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
Gavin J. Doherty, José Creissac Campos, Mic...
CORR
2008
Springer
149views Education» more  CORR 2008»
15 years 6 months ago
Phase Transitions on Fixed Connected Graphs and Random Graphs in the Presence of Noise
In this paper, we study phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a...
Jialing Liu, Vikas Yadav, Hullas Sehgal, Joshua M....
TCAD
1998
95views more  TCAD 1998»
15 years 6 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
AIED
2009
Springer
16 years 1 months ago
Scaffolding Motivation and Metacognition in Learning Programming
This paper explores the role that feedback based on past actions and motivational states of the learner can have in a motivationally and metacognitively aware Intelligent Tutoring ...
Alison Hull, Benedict du Boulay