5619 search results - page 193 / 1124 » A Region Inference Algorithm |
193
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
114
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
104
Voted
ICIAP
2007
ACM
16 years 2 months ago
2007
ACM
We propose a novel procedure for estimating blur in a single image corrupted by blur due to a rigid camera motion during the exposure. Often this blur is approximated as space inv...
111
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce a new glass tile generation method for simulating Stained Glass using region segmentation algorithm and cubic spline interpolation method. We apply a Mean sh...
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriï...