5 search results - page 1 / 1 » Abstraction-Based Heuristics with True Distance Computations |
SARA
2009
Springer
13 years 11 months ago
2009
Springer
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
BICOB
2009
Springer
13 years 11 months ago
2009
Springer
Phylogenetics is concerned with inferring the genealogical relationships between a group of organisms (or taxa), and this relationship is usually expressed as an evolutionary tree....
ICPR
2002
IEEE
13 years 10 months ago
2002
IEEE
Computer vision requires the solution of many ill-posed problems such as optical flow, structure from motion, shape from shading, surface reconstruction, image restoration and ed...
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
Filtering is a standard technique for fast approximate string matching in practice. In filtering, a quick first step is used to rule out almost all positions of a text as possib...