6881 search results - page 286 / 1377 » Motivation |
211
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
136
click to vote
AIED
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This poster introduces two pilot studies on childrenās story reading and retelling using interactive media that move beyond familiar keyboard and mouse interaction. The...
153
click to vote
AIED
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal efļ...
168
click to vote
APN
2007
Springer
16 years 27 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
206
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Automated software veriļ¬cation has made great progress recently, and a key enabler of this progress has been the advances in efļ¬cient, automated decision procedures suitable fo...