2308 search results - page 413 / 462 » Representing Symbolic Reasoning |
252
click to vote
GIS
2007
ACM
16 years 6 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...
252
click to vote
GIS
2005
ACM
16 years 6 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...
181
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
171
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
253
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...