1085 search results - page 81 / 217 » An Application Model for Visualization of Natural Resources ... |
206
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
170
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
161
click to vote
WSC
2004
15 years 7 months ago
2004
The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...
141
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Advances across many fields of study are driving changes in the basic nature of scientific computing applications. Scientists have recognized a growing need to study phenomena b...
172
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The measurement of fluid flows is an emerging field for optical flow computation. In a number of such applications, a tracer is visualized with modern digital cameras. Du...