1999 search results - page 13 / 400 » Finding Reductions Automatically |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
TIP
2008
14 years 9 months ago
2008
Abstract-- The ability to automatically detect visually interesting regions in images has many practical applications, especially in the design of active machine vision and automat...
CC
2007
Springer
14 years 9 months ago
2007
Springer
We prove that if NP ⊆ BPP, i.e., if SAT is worst-case hard, then for every probabilistic polynomial-time algorithm trying to decide SAT, there exists some polynomially samplable ...
ANLP
1994
14 years 11 months ago
1994
Many of the kinds of language model used in speech understanding suffer from imperfect modeling of intra-sentential contextual influences. I argue that this problem can be address...