3994 search results - page 484 / 799 » A Linear Logical Framework |
340
Voted
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
208
Voted
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
A Generalized Nonlinear Discriminant Analysis (GNDA) method is proposed, which implements Fisher discriminant analysis in a nonlinear mapping space. Linear discriminant analysis i...
186
click to vote
ICML
2004
IEEE
16 years 8 months ago
2004
IEEE
The assumptions behind linear classifiers for categorical data are examined and reformulated in the context of the multinomial manifold, the simplex of multinomial models furnishe...
184
Voted
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper introduces higher dimensional consensus, a framework to capture a number of different, but, related distributed, iterative, linear algorithms of interest in sensor netw...
161
click to vote
SCALESPACE
2009
Springer
16 years 2 months ago
2009
Springer
We present a fast edge-preserving cascadic multilevel image restoration method for reducing blur and noise in contaminated images. The method also can be applied to segmentation. O...