11462 search results - page 366 / 2293 » Developing Application-Centric Methods |
163
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
158
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
144
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper develops a practical method for image resolution enhancement. The method optimizes the spatially constrained Wiener filter for an efficiently parameterized model of the...
142
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We present a self-calibrating photometric stereo method. From a set of images taken from a fixed viewpoint under different and unknown lighting conditions, our method automaticall...
133
Voted
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents an objective comparative evaluation of layout analysis methods in realistic circumstances. It describes the Page Segmentation competition (modus operandi, data...