Sciweavers

1143 search results - page 127 / 229
» Mental models of recursion
Sort
View
259
Voted
EMMCVPR
2011
Springer
14 years 13 days ago
Discrete Optimization of the Multiphase Piecewise Constant Mumford-Shah Functional
Abstract. The Mumford-Shah model has been one of the most powerful models in image segmentation and denoising. The optimization of the multiphase Mumford-Shah energy functional has...
Noha Youssry El-Zehiry, Leo Grady
116
Voted
CVPR
2004
IEEE
16 years 2 months ago
Model-Based Motion Clustering Using Boosted Mixture Modeling
Model-based clustering of motion trajectories can be posed as the problem of learning an underlying mixture density function whose components correspond to motion classes with dif...
Vladimir Pavlovic
83
Voted
CSL
2007
Springer
15 years 4 months ago
Lambda Theories of Effective Lambda Models
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
Chantal Berline, Giulio Manzonetto, Antonino Salib...
111
Voted
ESOP
2010
Springer
15 years 10 months ago
Weighted Dynamic Pushdown Networks
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
Alexander Wenner
74
Voted
ICPR
2008
IEEE
15 years 7 months ago
Edge-preserving unscented Kalman filter for speckle reduction
We propose a recursive spatial-domain speckle reduction algorithm for synthetic aperture radar (SAR) imagery based on the unscented Kalman filter (UKF) with a discontinuity-adapt...
Gorthi R. K. Sai Subrahmanyam, A. N. Rajagopalan, ...