1916 search results - page 310 / 384 » Reasoning with class algebra |
GIS
2008
ACM
14 years 10 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 ...
GIS
2005
ACM
14 years 10 months ago
2005
ACM
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...
GIS
2006
ACM
14 years 10 months ago
2006
ACM
A cartogram is a thematic map that visualizes statistical data about a set of regions like countries, states or provinces. The size of a region in a cartogram corresponds to a par...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Fourier Volume Rendering (FVR) has received considerable attention in volume visualization during the last decade due its O(N2 logN) rendering time complexity, where O(N3 ) is the ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...