1717 search results - page 210 / 344 » A Computable Spectral Theorem |
168
click to vote
TLCA
2009
Springer
16 years 15 days 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...
171
click to vote
CVPR
2008
IEEE
16 years 13 days 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...
155
Voted
IPPS
2008
IEEE
16 years 11 days 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...
125
click to vote
ICIP
2007
IEEE
16 years 8 days 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...
133
Voted
IEEEPACT
2007
IEEE
16 years 8 days 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...