1717 search results - page 210 / 344 » A Computable Spectral Theorem |
194
Voted
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
198
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper presents a fuzzy chamfer distance and its probabilistic formulation for edge-based visual tracking. First, connections of the chamfer distance and the Hausdorff distance...
177
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
138
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Image magnification has been attracting a great deal of attention for long, and many approaches have been proposed to date. Nevertheless, bicubic interpolation is still the stand...
155
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...