1972 search results - page 100 / 395 » Evolutionary algorithms and dynamic programming |
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
SGAI
2007
Springer
14 years 3 months ago
2007
Springer
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Analog video digitized from noisy sources can suffer of line registration problems due to bad synchronization pulses. The effect is that the image lines are randomly shiftedwith r...