1941 search results - page 331 / 389 » On the Hardness of Approximate Reasoning |
183
click to vote
GIS
2005
ACM
16 years 27 days ago
2005
ACM
Databases of moving objects are important for air traffic control, ground traffic, and battlefield configurations. We introduce the (historical and spatial) range close-pair query...
174
click to vote
GIS
2006
ACM
16 years 27 days ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
239
click to vote
GIS
2006
ACM
16 years 27 days ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...
177
click to vote
GIS
2006
ACM
16 years 27 days 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...
113
click to vote
DAC
2003
ACM
16 years 25 days 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 ...