507 search results - page 57 / 102 » Counterexample-Guided Abstraction Refinement |
ECCV
2004
Springer
14 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
14 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
14 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...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
RECOMB
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...