2395 search results - page 324 / 479 » Reasoning in Semantic Wikis |
222
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
200
Voted
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...
272
Voted
GIS
2006
ACM
16 years 5 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
236
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
144
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...