Sciweavers

49 search results - page 6 / 10
» Symbolic Diagnosis of Partially Observable Concurrent System...
Sort
View
DLOG
2010
13 years 5 months ago
Automata-Based Abduction for Tractable Diagnosis
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
Thomas Hubauer, Steffen Lamparter, Michael Pirker
IMC
2007
ACM
13 years 9 months ago
Blind source separation approach to performance diagnosis and dependency discovery
We consider the problem of diagnosing performance problems in distributed system and networks given end-to-end performance measurements provided by test transactions, or probes. C...
Gaurav Chandalia, Irina Rish
AIA
2006
13 years 9 months ago
Synthesizing Diagnostic Explanations from Monitoring Data in Multi-Robot Systems
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
Roberto Micalizio, Pietro Torasso, Gianluca Torta
AAAI
2004
13 years 9 months ago
An Instance-Based State Representation for Network Repair
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
Michael L. Littman, Nishkam Ravi, Eitan Fenson, Ri...
ECSQARU
1999
Springer
13 years 12 months ago
Anchoring Symbols to Vision Data by Fuzzy Logic
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
Silvia Coradeschi, Alessandro Saffiotti