Sciweavers

5599 search results - page 840 / 1120
» Abstract State Services
Sort
View
AIED
2009
Springer
16 years 1 months ago
To Elicit Or To Tell: Does It Matter?
Abstract. While high interactivity has been one of the main characteristics of oneon-one human tutoring, a great deal of controversy surrounds the issue of whether interactivity is...
Min Chi, Pamela W. Jordan, Kurt VanLehn, Diane J. ...
WDAG
2009
Springer
91views Algorithms» more  WDAG 2009»
16 years 1 months ago
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...
ARGMAS
2009
Springer
16 years 1 months ago
Practical Reasoning Using Values
Each person holds numerous values that represent what is believed to be important. As a result, our values influence our behavior and play a role in practical reasoning. Various a...
Thomas L. van der Weide, Frank Dignum, John-Jules ...
CAISE
2009
Springer
16 years 1 months ago
Complexity Levels of Representing Dynamics in EA Planning
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
Stephan Aier, Bettina Gleichauf, Jan Saat, Robert ...
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
16 years 1 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...