895 search results - page 162 / 179 » A Spectrum of Applications of Automated Reasoning |
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Dynamic Binary Translators (DBT) and Dynamic Binary Optimization (DBO) by software are used widely for several reasons including performance, design simplification and virtualiza...
175
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
164
click to vote
GIS
2007
ACM
15 years 10 months ago
2007
ACM
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...
160
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
Information and specifically Web pages may be organized, indexed, searched, and navigated using various metadata aspects, such as keywords, categories (themes), and also space. Wh...
165
click to vote
GIS
2005
ACM
15 years 10 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...