62 search results - page 13 / 13 » Learnability of Term Rewrite Systems from Positive Examples |
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
CCS
2003
ACM
13 years 10 months ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...