449 search results - page 85 / 90 » Distributed Reasoning in a Peer-to-Peer Setting |
164
click to vote
GIS
2007
ACM
15 years 11 months ago
2007
ACM
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...
160
click to vote
GIS
2005
ACM
15 years 11 months ago
2005
ACM
Recent research literature on sensor network databases has focused on finding ways to perform in-network aggregation of sensor readings to reduce the message cost. However, with t...
161
click to vote
GIS
2005
ACM
15 years 11 months ago
2005
ACM
Numerous raster maps are available on the Internet, but the geographic coordinates of the maps are often unknown. In order to determine the precise location of a raster map, we ex...
165
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
We present a novel method for the automatic generalization of land cover maps. A land cover map is composed of areas that collectively form a tessellation of the plane and each ar...
101
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...