446 search results - page 53 / 90 » Building Explainable Artificial Intelligence Systems |
APN
2008
Springer
14 years 12 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
FLAIRS
2004
14 years 11 months ago
2004
The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
Cerebral aneurysms are weak or thin spots on blood vessels in the brain that balloon out. While the majority of aneurysms do not burst, those that do would lead to serious complic...
FLAIRS
2006
14 years 11 months ago
2006
We took an innovative approach to service level management for network enterprise systems by using integrated monitoring, diagnostics, and adaptation services in a service-oriente...
CCIA
2009
Springer
14 years 11 months ago
2009
Springer
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...