Sciweavers

5290 search results - page 441 / 1058
» Knowledge Processing in Intelligent Systems
Sort
View
144
Voted
AIED
2005
Springer
16 years 11 days ago
Automatic Textual Feedback for Guided Inquiry Learning
We briefly introduce the online learning environment INFACT, and then we describe its textual feedback system. The system automatically provides written comments to students as the...
Steven L. Tanimoto, Susan Hubbard, William Winn
AIS
1998
Springer
15 years 6 months ago
The Synergy of Learning Organisations and Flexible Information Technology
The switch from the Command-and-Control to Learning Organisation paradigm in the area of organisational theory is well understood. It is less well appreciated that learning organi...
George Rzevski, Kumkum Prasad
UML
1999
Springer
15 years 11 months ago
Using the UML for Architectural Description
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
Rich Hilliard
CAV
2010
Springer
185views Hardware» more  CAV 2010»
15 years 7 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
WWW
2007
ACM
16 years 7 months ago
Learning information intent via observation
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
Anthony Tomasic, Isaac Simmons, John Zimmerman