3145 search results - page 572 / 629 » Algebraic Linear Orderings |
122
click to vote
CADE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
122
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we consider distributed K-Nearest Neighbor (KNN) search and range query processing in high dimensional data. Our approach is based on Locality Sensitive Hashing (LSH...
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we explore the problem of mapping filtering services on large-scale heterogeneous platforms. Two important optimization criteria should be considered in such a fra...
121
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...
81
Voted
COMPGEOM
2009
ACM
15 years 7 months ago
2009
ACM
Data conflation is a major issue in GIS: spatial data obtained from different sources, using different acquisition techniques, needs to be combined into one single consistent d...