Sciweavers

4035 search results - page 656 / 807
» Useless Actions Are Useful
Sort
View
ECAI
2004
Springer
16 years 13 days ago
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
Paulo Santos, Derek R. Magee, Anthony G. Cohn, Dav...
FOSSACS
2004
Springer
16 years 13 days ago
Bisimulation on Speed: Lower Time Bounds
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
Gerald Lüttgen, Walter Vogler
ISW
2004
Springer
16 years 12 days ago
Model-Checking Access Control Policies
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobben...
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
16 years 12 days ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...
ITS
2004
Springer
204views Multimedia» more  ITS 2004»
16 years 12 days ago
FlexiTrainer: A Visual Authoring Framework for Case-Based Intelligent Tutoring Systems
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
Sowmya Ramachandran, Emilio Remolina, Daniel Fu