673 search results - page 64 / 135 » Approximate coherence-based reasoning |
194
click to vote
GIS
2007
ACM
16 years 28 days ago
2007
ACM
In this paper, we present an original network graph embedding to speed-up distance-range and k-nearest neighbor queries in (weighted) graphs. Our approach implements the paradigm ...
200
click to vote
GIS
2008
ACM
16 years 28 days ago
2008
ACM
Existing techniques for autonomous indoor navigation are often environment-specific and thus limited in terms of their applicability. In this paper, we take a fundamentally differ...
171
click to vote
GIS
2003
ACM
16 years 27 days ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
210
click to vote
ICLP
2009
Springer
16 years 15 days ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
109
click to vote
STOC
2009
ACM
16 years 14 days ago
2009
ACM
We consider the following question: given a two-argument boolean function f, represented as an N ? N binary matrix, how hard is to determine the (deterministic) communication comp...