Sciweavers

3233 search results - page 85 / 647
» Validation Method for Intelligent Systems
Sort
View
FLAIRS
2000
15 years 3 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
ITS
2004
Springer
103views Multimedia» more  ITS 2004»
15 years 8 months ago
RMT: A Dialog-Based Research Methods Tutor With or Without a Head
RMT (Research Methods Tutor) is a dialog-based tutoring system that has a dual role. Its modular architecture enables the interchange and evaluation of different tools and techniq...
Peter M. Wiemer-Hastings, David Allbritton, Elizab...
ATAL
2007
Springer
15 years 8 months ago
Automatic annotation of team actions in observations of embodied agents
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
Linus J. Luotsinen, Hans Fernlund, Ladislau Bö...
AIED
2005
Springer
15 years 8 months ago
Assessing and Scaffolding Collaborative Learning in Online Discussions
: In this paper we present two computational approaches that can be used characterize and measure online threaded discussions and demonstrate that they can objectively validate stu...
Erin Shaw
99
Voted
AAAI
1994
15 years 3 months ago
Derivation Replay for Partial-Order Planning
Derivation replay was first proposed by Carbonell as a method of transferring guidancefrom a previousproblemsolving episode to a new one. Subsequent implementations have used stat...
Laurie H. Ihrig, Subbarao Kambhampati