608 search results - page 62 / 122 » Tests, Proofs and Refinements |
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
In this paper, we present a novel approach to vectorize elliptic arcs for 3D pie chart recognition and data extraction. As a preprocessing step, a set of straight line segments ar...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents an integrated image registration algorithm to correct the motion induced by patient breathing for dynamic renal perfusion MR images. Registration of kidneys th...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
"Red-eye" is a phenomenon that causes the eyes of flash photography subjects to appear unnaturally reddish in color. Though commercial solutions exist for red-eye correc...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
This paper concerns a method to automatically detect drusen in a retinal image without human supervision or interaction. We use a multi-level approach, beginning with classificatio...