2940 search results - page 54 / 588 » Relational Parametricity and Control |
114
click to vote
CIARP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The estimation of parametric global motion has had a significant attention during the last two decades, but despite the great efforts invested, there are still open issu...
118
click to vote
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
105
click to vote
ECCV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Ordering property is an important property of LSP and closely connected with the naturalness of reconstructed speech. When LSP is adopted as spectrum feature in HMM-based parametr...
132
click to vote
DAGSTUHL
1996
15 years 1 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...