396 search results - page 2 / 80 » Beyond the metric space model |
ECIR
2006
Springer
13 years 8 months ago
2006
Springer
We research whether the inclusion of information about an information user's social environment and his position in the social network of his peers leads to an improval in sea...
JUCS
2007
13 years 6 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
PODS
1998
ACM
13 years 11 months ago
1998
ACM
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
DEXAW
2008
IEEE
14 years 1 months ago
2008
IEEE
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
TCS
1998
13 years 6 months ago
1998
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...