28131 search results - page 5396 / 5627 » Images, Images, Billions of Images |
195
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
233
click to vote
CGF
2010
15 years 1 months ago
2010
In this paper, we present an efficient approach for the interactive rendering of large-scale urban models, which can be integrated seamlessly with virtual globe applications. Our ...
180
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We consider the problem of human-assisted graph search: given a directed acyclic graph with some (unknown) target node(s), we consider the problem of finding the target node(s) b...
183
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— this paper presents an enhancement of the medial axis algorithm to be used for finding the optimal shortest path for developed cognitive map. The cognitive map has been develop...
191
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
This paper uses the techniques of spatial data mining (SDM) and change detection (CD) in the field of geospatial information processing. Assuming the feasibility of discovering kno...