1717 search results - page 113 / 344 » A Computable Spectral Theorem |
138
click to vote
RAS
2006
15 years 4 months ago
2006
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
105
click to vote
JLP
2010
14 years 11 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
147
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We optimize over the set of corrected laplacians (CL) associated with a weighted graph to improve the average case normalized cut (NCut) of a graph. Unlike edge-relaxation SDPs, o...
115
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper presents a new model for understanding the appearance of objects that exhibit both body and surface reflection under realistic illumination. Specifically, the model rep...
120
Voted
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
A novel physics-based fusion of multispectral images within the visual spectra is proposed for the purpose of improving face recognition under constant or varying illumination. Sp...