Sciweavers

2877 search results - page 172 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
AAAI
2007
15 years 8 months ago
A Logic of Emotions for Intelligent Agents
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. ...
147
Voted
HICSS
2007
IEEE
66views Biometrics» more  HICSS 2007»
16 years 13 days ago
Socio-Technological Systems Integration to Support Tsunami Warning and Evacuation
On December 26, 2004, countries in the Indian Ocean basin were struck by a tsunami generated by a large magnitude earthquake just south of the western tip of Sumatra. Observations...
Richard G. Little, William A. Wallace, Thomas A. B...
IJCAI
1989
15 years 7 months ago
Reconstructive Explanation: Explanation as Complex Problem Solving
Existing explanation facilities are typically far more appropriate for knowledge engineers engaged in system maintenance than for endusers of the system. This is because the expla...
Michael R. Wick, William B. Thompson
SIGSOFT
2003
ACM
16 years 6 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
IHI
2010
198views Healthcare» more  IHI 2010»
15 years 28 days ago
Large-scale multimodal mining for healthcare with mapreduce
Recent advances in healthcare and bioscience technologies and proliferation of portable medical devices are producing massive amounts of multimodal data. The need for parallel pro...
Fei Wang, Vuk Ercegovac, Tanveer Fathima Syeda-Mah...