2162 search results - page 318 / 433 » Automated Reasoning on Feature Models |
161
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
205
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
228
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
In digital humanities projects, particularly for historical research and cultural heritage, GIS has played an increasingly important role. However, most implementations have conce...
250
click to vote
GIS
2009
ACM
16 years 5 months ago
2009
ACM
The k-anonymity technique is widely used to provide location privacy protection for accessing location-based services (LBS), i.e., the exact location of a query initiator is cloak...
227
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
Despite various interoperability recommendations, heterogeneity of Geographic Information Systems (GIS) is still an issue. This led to an increasing need for a data integration sy...