Sciweavers

3564 search results - page 340 / 713
» Evaluating a Formal Modelling Language
Sort
View
IAT
2009
IEEE
15 years 11 months ago
An Adaptive Agent Model Estimating Human Trust in Information Sources
For an information agent to support a human in a personalized way, having a model of the trust the human has in information sources may be essential. As humans differ a lot in the...
Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur
QEST
2007
IEEE
15 years 10 months ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
IUI
2006
ACM
15 years 10 months ago
Eye-tracking to model and adapt to user meta-cognition in intelligent learning environments
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
Christina Merten, Cristina Conati
EJC
2000
15 years 5 months ago
KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
Thorsten Liebig, Dieter Finkenzeller, Marko Luther
TSMC
2011
210views more  TSMC 2011»
14 years 11 months ago
Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...
Raymond H. Kwong, David L. Yonge-Mallo