Sciweavers

135 search results - page 7 / 27
» Local Diagnosis
Sort
View
ICRA
2006
IEEE
120views Robotics» more  ICRA 2006»
14 years 1 months ago
Distributed Diagnosis of Coupled Mobile Robots
— Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As comp...
Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam B...
AAAI
2006
13 years 8 months ago
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms
With increasing deployment of systems involving multiple coordinating agents, there is a growing need for diagnosing coordination failures in such systems. Previous work presented...
Meir Kalech, Gal A. Kaminka, Amnon Meisels, Yehuda...
ICAC
2007
IEEE
13 years 11 months ago
Evaluation of Optimization Methods for Network Bottleneck Diagnosis
We consider the problem of localizing network performance bottlenecks and evaluate how various optimization techniques developed for reconstructing link delays perform on this dec...
Alina Beygelzimer, Jeffrey O. Kephart, Irina Rish
DAC
2010
ACM
13 years 10 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia
AISS
2010
107views more  AISS 2010»
13 years 4 months ago
A Simple Wavelet Method for Automated Detection of Epileptic Neural Spikes in Electroencephalogram
In clinical diagnosis process of epilepsy, the physicians rely on tedious visual screening of long time recorded electroencephalograms (EEG) for detection and localization of impo...
Berdakh Abibullaev, Won-Seok Kang, Seung-Hyun Lee,...