279 search results - page 29 / 56 » Testing for Refinement in CSP |
118
Voted
CSR
2008
Springer
15 years 5 months ago
2008
Springer
The universal cover TG of a connected graph G is the unique (possible infinite) tree covering G, i.e., that allows a locally bijective homomorphism from TG to G. Universal covers h...
117
click to vote
BCSHCI
2007
15 years 5 months ago
2007
To help consumers dealing with their growing amount of home video, we have developed the Edit While Watching (EWW) system. It is designed to automatically create an edited version...
128
click to vote
ICIP
2004
IEEE
16 years 5 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...
112
click to vote
ICIP
2004
IEEE
16 years 5 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...
129
Voted
ICIP
2002
IEEE
16 years 5 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...