Sciweavers

5619 search results - page 193 / 1124
» A Region Inference Algorithm
Sort
View
PLDI
2003
ACM
15 years 12 months ago
Checking and inferring local non-aliasing
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....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
BIRTHDAY
2010
Springer
15 years 7 months ago
Inferring Loop Invariants Using Postconditions
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...
Carlo A. Furia, Bertrand Meyer
ICIAP
2007
ACM
16 years 6 months ago
Corner Displacement from Motion Blur
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...
Giacomo Boracchi, Vincenzo Caglioti
ICCS
2007
Springer
16 years 22 days ago
Stained Glass Rendering with Smooth Tile Boundary
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...
Sang Hyun Seo, HoChang Lee, HyunChul Nah, Kyung-hy...
ICPR
2010
IEEE
15 years 10 months ago
Scene Text Extraction with Edge Constraint and Text Collinearity
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ï...
Seonghun Lee, Kyomin Jung, Jin Hyung Kim