895 search results - page 84 / 179 » A Spectrum of Applications of Automated Reasoning |
DEBU
2006
14 years 10 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
GIS
2006
ACM
14 years 10 months ago
2006
ACM
Integration of two road maps is finding a matching between pairs of objects that represent, in the maps, the same realworld road. Several algorithms were proposed in the past for ...
107
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
We describe and demonstrate CBGIR, a web-based system for performing content-based image retrieval in large sets of high-resolution overhead images. The system provides a familiar...
GIS
2010
ACM
14 years 8 months ago
2010
ACM
Since navigation systems and tracking devices are becoming ubiquitous in our daily life, the development of efficient methods for processing massive sets of mobile objects are of ...
GIS
2010
ACM
14 years 8 months ago
2010
ACM
The problem of point-to-point shortest path computation in spatial networks is extensively studied with many approaches proposed to speed-up the computation. Most of the existing ...