1051 search results - page 157 / 211 » On the Correspondence between Approximations and Similarity |
176
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
178
click to vote
PR
2007
15 years 5 months ago
2007
Image matching has been a central problem in computer vision and image processing for decades. Most of the previous approaches to image matching can be categorized into the intens...
143
click to vote
JFP
2010
15 years 4 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
155
click to vote
JSAC
2010
15 years 4 months ago
2010
—Joint synchronization and localization using time of arrival (TOA) measurements is a very important research topic for many wireless ad hoc sensor network applications. For such...
162
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
This paper is motivated by some recent, intriguing research results involving agent-organized networks (AONs). In AONs, nodes represent agents, and collaboration between nodes are...