Sciweavers

1993 search results - page 59 / 399
» On Action Theory Change
Sort
View
101
Voted
AIEDU
2004
95views more  AIEDU 2004»
15 years 9 days ago
Looking Ahead to Select Tutorial Actions: A Decision-Theoretic Approach
We propose and evaluate a decision-theoretic approach for selecting tutorial actions by looking ahead to anticipate their effects on the student and other aspects of the tutorial s...
R. Charles Murray, Kurt VanLehn, Jack Mostow
ECIS
2001
15 years 1 months ago
Structuration Theory in the IS Field: An Assessment of Research Strategies
Giddens' structuration theory is increasingly used in studies assessing IT-based organizational change. However, few studies, if any, have focused on how to empirically apply...
Marlei Pozzebon, Alain Pinsonneault
CALCO
2007
Springer
112views Mathematics» more  CALCO 2007»
15 years 6 months ago
Impossibility Results for the Equational Theory of Timed CCS
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Luca Aceto, Anna Ingólfsdóttir, Moha...
FSTTCS
2005
Springer
15 years 6 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
113
Voted
TSMC
2008
122views more  TSMC 2008»
15 years 9 days ago
A Geometric Approach to the Theory of Evidence
In this paper, we propose a geometric approach to the theory of evidence based on convex geometric interpretations of its two key notions of belief function (b.f.) and Dempster...
Fabio Cuzzolin