Sciweavers

1717 search results - page 108 / 344
» A Computable Spectral Theorem
Sort
View
TLCA
2005
Springer
15 years 10 months ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger
CVPR
2005
IEEE
16 years 6 months ago
A Tensor Decomposition for Geometric Grouping and Segmentation
While spectral clustering has been applied successfully to problems in computer vision, their applicability is limited to pairwise similarity measures that form a probability matr...
Venu Madhav Govindu
ICDE
2008
IEEE
203views Database» more  ICDE 2008»
16 years 5 months ago
Training Linear Discriminant Analysis in Linear Time
Linear Discriminant Analysis (LDA) has been a popular method for extracting features which preserve class separability. It has been widely used in many fields of information proces...
Deng Cai, Xiaofei He, Jiawei Han
ACII
2007
Springer
15 years 10 months ago
Interpolating Expressions in Unit Selection
ended abstract reports on on-going work exploring the addition of a certain degree of control over expressivity in a unit selection context. Rather than merely choosing one unit se...
Marc Schröder
ECCV
1992
Springer
16 years 6 months ago
Texture Segmentation by Minimizing Vector-Valued Energy Functionals: The Coupled-Membrane Model
This paper presents a computational model that segments images based on the textural properties of object surfaces. The proposed Coupled-Membrane model applies the weak membrane ap...
Tai Sing Lee, David Mumford, Alan L. Yuille