895 search results - page 131 / 179 » A Spectrum of Applications of Automated Reasoning |
DLOG
2004
14 years 11 months ago
2004
Interoperability among systems using different term vocabularies requires mappings between them. Matching applications generate these mappings. When the matching process utilizes ...
100
click to vote
DLOG
2001
14 years 11 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
GIS
2002
ACM
14 years 9 months ago
2002
ACM
Enterprises in the public and private sectors have been making their large spatial data archives available over the Internet. However, interactive work with such large volumes of ...
GIS
2002
ACM
14 years 9 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
GIS
2010
ACM
14 years 7 months ago
2010
ACM
Recording the location of people using location-acquisition technologies, such as GPS, allows generating life patterns, which associate people to places they frequently visit. Con...