Sciweavers

3690 search results - page 187 / 738
» Computation with classical sequents
Sort
View
76
Voted
ISAAC
2009
Springer
98views Algorithms» more  ISAAC 2009»
15 years 7 months ago
On the Tightness of the Buhrman-Cleve-Wigderson Simulation
Abstract. Buhrman, Cleve and Wigderson gave a general communication protocol for block-composed functions f(g1(x1 , y1 ), · · · , gn(xn , yn )) by simulating a decision tree com...
Shengyu Zhang
114
Voted
ISVC
2009
Springer
15 years 7 months ago
Top-Down Segmentation of Histological Images Using a Digital Deformable Model
Abstract. This paper presents a straightforward top-down segmentation method based on a contour approach on histological images. Our approach relies on a digital deformable model w...
François de Vieilleville, Jacques-Olivier L...
75
Voted
ICPR
2008
IEEE
15 years 7 months ago
A Mixed Markov model for change detection in aerial photos with large time differences
In the paper we propose a novel multi-layer Mixed Markov model for detecting relevant changes in registered aerial images taken with significant time differences. The introduced ...
Csaba Benedek, Tamás Szirányi
79
Voted
ICPR
2008
IEEE
15 years 7 months ago
Analytical method for MGRF Potts model parameter estimation
This paper proposes a new analytical method for estimating parameters of a homogeneous isotropic Potts model with an asymmetric Gibbs potential function. The model is generalized ...
Asem M. Ali, Aly A. Farag, Georgy L. Gimel'farb
94
Voted
ICPR
2008
IEEE
15 years 7 months ago
Unsupervised clustering using hyperclique pattern constraints
A novel unsupervised clustering algorithm called Hyperclique Pattern-KMEANS (HP-KMEANS) is presented. Considering recent success in semisupervised clustering using pair-wise const...
Yuchou Chang, Dah-Jye Lee, James K. Archibald, Yi ...