2621 search results - page 274 / 525 » Generalized Algorithms for Constructing Statistical Language... |
165
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
145
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
128
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
133
click to vote
ICIP
1998
IEEE
16 years 4 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
155
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...