500 search results - page 59 / 100 » Thread-Modular Abstraction Refinement |
144
click to vote
CGF
2010
14 years 6 months ago
2010
This paper attempts to explain the mechanics of writing a research paper in visualization. This serves as a useful starting point for those who have never written a research paper...
POPL
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe a new approach for learning to perform classbased segmentation using only unsegmented training examples. As in previous methods, we first use training images ...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We present a refined method for rotation estimation of signals on the 2-Sphere. Our approach utilizes a fast correlation in the harmonic domain to estimate rotation angle...
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...