4106 search results - page 641 / 822 » A Computational Model for Metric Spaces |
171
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we extend the recently proposed Core Vector Machine algorithm to the regression setting by generalizing the underlying minimum enclosing ball problem. The resultant...
148
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
193
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
171
click to vote
IWSEC
2007
Springer
16 years 23 days ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...
140
click to vote
SCALESPACE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose a variational approach for multi-valued velocity field estimation in transparent sequences. Starting from existing local motion estimators, we show a variatio...