317 search results - page 44 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
103
click to vote
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
We view the task of change detection as a problem of object recognition from learning. The object is defined in a 3D space where the time is the 3rd dimension. We propose two com...
CIE
2005
Springer
15 years 5 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
93
Voted
FITRAMEN
2008
15 years 1 months ago
2008
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...
PRL
2007
14 years 11 months ago
2007
This paper proposes a novel nonparametric clustering algorithm capable of identifying shape-free clusters. This algorithm is based on a nonparametric estimation of the normalized ...
140
click to vote
CVPR
2010
IEEE
14 years 9 months ago
2010
IEEE
We investigate how to discover all common visual patterns within two sets of feature points. Common visual patterns generally share similar local features as well as similar spati...