217 search results - page 28 / 44 » Backdoors To Typical Case Complexity |
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
IWINAC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Visual attention is the ability of a vision system, be it biological or artificial, to rapidly detect potentially relevant parts of a visual scene. The saliency-based mo...
NIME
2005
Springer
15 years 4 months ago
2005
Springer
When learning a classical instrument, people often either take lessons in which an existing body of “technique” is delivered, evolved over generations of performers, or in som...
VLDB
2005
ACM
15 years 4 months ago
2005
ACM
A major challenge in frequent-pattern mining is the sheer size of its mining results. In many cases, a high min sup threshold may discover only commonsense patterns but a low one ...
CP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...