73 search results - page 6 / 15 » Automated error diagnosis using abductive inference |
129
click to vote
ILP
2007
Springer
15 years 7 months ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
145
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
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...
103
click to vote
SIGCOMM
2009
ACM
15 years 8 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
162
click to vote
ICT
2004
Springer
15 years 6 months ago
2004
Springer
We propose a new approach to fault detection and diagnosis in third-generation (3G) cellular networks using competitive neural algorithms. For density estimation purposes, a given ...
131
click to vote
DAC
2010
ACM
14 years 12 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...