1026 search results - page 152 / 206 » A Methodology for Equational Reasoning |
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
VIS
2003
IEEE
14 years 10 months ago
2003
IEEE
One of the reasons that topological methods have a limited popularity for the visualization of complex 3D flow fields is the fact that such topological structures contain a number...
GIS
2007
ACM
14 years 10 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...
GIS
2007
ACM
14 years 10 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...
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 ...