2765 search results - page 125 / 553 » Works and representation |
187
click to vote
COMPUTING
2007
15 years 6 months ago
2007
Reverse engineering is concerned with the reconstruction of surfaces from three-dimensional point clouds originating from laser-scanned objects. We present an adaptive surface rec...
179
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
167
click to vote
CC
2004
Springer
16 years 8 days ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
181
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...
191
click to vote
VC
2008
15 years 6 months ago
2008
We present an adaptive out-of-core technique for rendering massive scalar volumes employing single pass GPU raycasting. The method is based on the decomposition of a volumetric dat...