831 search results - page 73 / 167 » Coalgebraic Correspondence Theory |
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we present a novel algorithm for incremental principal component analysis. Based on the LargestEigenvalue-Theory, i.e. the eigenvector associated with the largest ei...
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
In this paper, we rely on the theory of marked point processes to perform an unsupervised road network extraction from optical and radar images. A road network is modeled by a Mar...
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
We present a hybrid approach to image watermarking that exploits results from both information theory and perceptual studies. Towards this purpose we use a waterfilling-type algor...
ICPR
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper describes a new motion based feature extraction technique for speaker identification using orientation estimation in 2D manifolds. The motion is estimated by computing ...
200
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...