6395 search results - page 1236 / 1279 » Searching for Interacting Features |
GIS
2002
ACM
14 years 11 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...
IJAIT
2002
14 years 11 months ago
2002
The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information...
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
There is an increasing amount of structure on the Web as a result of modern Web languages, user tagging and annotation, and emerging robust NLP tools. These meaningful, semantic, ...
JAIR
2010
14 years 9 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
MICS
2010
14 years 9 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...