1748 search results - page 48 / 350 » Acceleration of the EM algorithm |
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
STOC
1998
ACM
15 years 5 months ago
1998
ACM
133
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper we propose a new segmentation algorithm which combines patch-based information with edge cues under a probabilistic framework. We use a mixture of multiple Gaussians...
115
click to vote
WSCG
2004
15 years 2 months ago
2004
Pel-recursive motion estimation is a well-established approach. However, in the presence of noise, it becomes an ill-posed problem that requires regularization. In this paper, mot...
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...