816 search results - page 17 / 164 » SAT-Based Image Computation with Application in Reachability... |
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
SIBGRAPI
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a new approach based on morphological operators for application of biometric identification of individuals by segmentation and analysis of the iris. Algorithms ...
VMV
2001
15 years 1 months ago
2001
Multimodal image registration is a fundamental problem in medical image analysis. In this paper, we propose a novel algorithm to compute the local frequency representations of the...
108
click to vote
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
The segmentation of networks is important in several imaging domains, and models incorporating prior shape knowledge are often essential for the automatic performance of this task...
CGF
2008
14 years 11 months ago
2008
This state-of-the-art report focuses on real-time image correction techniques that enable projector-camera systems to display images onto screens that are not optimized for projec...