3824 search results - page 225 / 765 » Geometry Constructions Language |
272
click to vote
LPAR
2012
Springer
13 years 12 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
156
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
126
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Representations for interactive photorealistic visualization of scenes range from compact 2D panoramas to dataintensive 4D light fields. In this paper, we propose a technique for ...
126
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
The many levels of metal used in aggressive deep submicron process technologies has made fast and accurate capacitance extraction of complicated 3-D geometries of conductors essen...
170
click to vote
SI3D
2009
ACM
15 years 11 months ago
2009
ACM
Fluid simulations require efficient dynamics, surface extraction and rendering in order to achieve real time interaction. We present a novel technique for the surface extraction ...