Sciweavers

13140 search results - page 192 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
WOA
2000
15 years 6 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
192
Voted
AIEDU
2010
14 years 11 months ago
Towards Systems That Care: A Conceptual Framework based on Motivation, Metacognition and Affect
: This paper describes a Conceptual Framework underpinning "Systems that Care" in terms of educational systems that take account of motivation, metacognition and affect, ...
Benedict du Boulay, Katerina Avramides, Rosemary L...
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 11 months ago
Towards a Procedural Model for Sustainable Information Systems Management
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...
Nils-Holger Schmidt, Koray Erek, Lutz Kolbe, R&uum...
135
Voted
UM
2007
Springer
15 years 10 months ago
Eliciting Motivation Knowledge from Log Files Towards Motivation Diagnosis for Adaptive Systems
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
Mihaela Cocea, Stephan Weibelzahl
143
Voted
DOCENG
2008
ACM
15 years 6 months ago
Towards Brazilian Portuguese automatic text simplification systems
In this paper we investigate the main linguistic phenomena that can make texts complex and how they could be simplified. We focus on a corpus analysis of simple account texts avai...
Sandra M. Aluísio, Lucia Specia, Thiago Ale...