4573 search results - page 719 / 915 » Automated Reasoning |
207
Voted
GIS
2008
ACM
16 years 4 months ago
2008
ACM
Efficient means of determining factors controlling spatial distribution of an environmental class variable are of significant interest in Earth science. In this paper, we present ...
226
click to vote
GIS
2008
ACM
16 years 4 months ago
2008
ACM
This work explores the potential for increased synergy between gazetteers and high-resolution remote sensed imagery. These two data sources are complementary. Gazetteers provide h...
220
Voted
GIS
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...
128
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
Volunteered geographic information such as that available in blogs, wikis, social networking sites, and community contributed photo collections is enabling new applications. This ...
153
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...