Sciweavers

607 search results - page 82 / 122
» A Practical Student Model in an Intelligent Tutoring System
Sort
View
AIME
2009
Springer
14 years 2 months ago
Towards the Merging of Multiple Clinical Protocols and Guidelines via Ontology-Driven Modeling
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
Samina Raza Abidi, Syed Sibte Raza Abidi
JELIA
2004
Springer
14 years 1 months ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey
ISPW
2007
IEEE
14 years 2 months ago
Comparative Experiences with Electronic Process Guide Generator Tools
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Monvorath Phongpaibul, Supannika Koolmanojwong, Al...
ATAL
2009
Springer
14 years 2 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
ATAL
2005
Springer
14 years 1 months ago
Modeling exceptions via commitment protocols
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
Ashok U. Mallya, Munindar P. Singh