Sciweavers

5216 search results - page 714 / 1044
» Planning as Model Checking
Sort
View
CCGRID
2008
IEEE
15 years 8 months ago
Performance Optimization for Multi-agent Based Simulation in Grid Environments
Multi-agent based simulation (MABS) is a discrete event simulation technique used to study complex systems with entities having social and autonomous behavior. MABS applications a...
Dawit Mengistu, Peter Tröger
AIED
2005
Springer
15 years 8 months ago
A Knowledge Acquisition System for Constraint-based Intelligent Tutoring Systems
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...
CSCWD
2008
Springer
15 years 8 months ago
A method of task allocation for collaborative diagnosis
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
JianHui Liu, XianSheng Qin
IJCAI
2007
15 years 8 months ago
The Value of Observation for Monitoring Dynamic Systems
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour
AAAI
2004
15 years 8 months ago
The Independent LifeStyle AssistantTM (I.L.S.A.): AI Lessons Learned
The Independent LifeStyle AssistantTM (I.L.S.A.) is an agentbased monitoring and support system to help elderly people to live longer in their homes by reducing caregiver burden. ...
Karen Zita Haigh, Liana M. Kiff, Janet Myers, Vale...