Sciweavers

1091 search results - page 108 / 219
» The State of Cognitive Systems Engineering
Sort
View
EAAI
2007
135views more  EAAI 2007»
13 years 10 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...
UIST
2009
ACM
14 years 4 months ago
Using fNIRS brain sensing in realistic HCI settings: experiments and guidelines
Because functional near-infrared spectroscopy (fNIRS) eases many of the restrictions of other brain sensors, it has potential to open up new possibilities for HCI research. From o...
Erin Treacy Solovey, Audrey Girouard, Krysta Chaun...
FOSSACS
1999
Springer
14 years 2 months ago
Probabilistic Temporal Logics via the Modal Mu-Calculus
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
Murali Narasimha, Rance Cleaveland, S. Purushotham...
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
14 years 4 months ago
Space-time scaling laws for self-triggered control
— Feedback control laws have been traditionally treated as periodic tasks when implemented on digital platforms. However, the growing complexity of systems calls for efficient i...
Adolfo Anta Martinez, Paulo Tabuada
IUI
2003
ACM
14 years 3 months ago
A virtual patient based on qualitative simulation
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
Marc Cavazza, Altion Simo