165 search results - page 24 / 33 » Plan Diagnosis and Agent Diagnosis in Multi-agent Systems |
APIN
2008
13 years 7 months ago
2008
Abstract Self-healing, i.e. the capability of a system to autonomously detect failures and recover from them, is a very attractive property that may enable large-scale software sys...
CGF
2005
13 years 7 months ago
2005
Virtual endoscopy is among the most active topics in virtual medicine and medical imaging. It focuses on the virtual representation of minimally invasive procedures for training, ...
AAAI
1997
13 years 9 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
IS4TH
2003
Springer
14 years 22 days ago
2003
Springer
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...
ARTMED
2005
13 years 7 months ago
2005
Time-related concepts handling is essential in medicine. During diagnosis it can make a substantial difference to know the temporal order in which some symptoms occurred or for ho...