18306 search results - page 3424 / 3662 » Algorithmics in Exponential Time |
148
click to vote
CAV
2000
Springer
15 years 6 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
120
Voted
SI3D
1999
ACM
15 years 6 months ago
1999
ACM
We present a new approach for simplifying polygonal objects. Our method is general in that it works on models that contain both non-manifold geometry and surface attributes. It is...
103
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
Using multiple reference images in 3D image warping has been a challenging problem. Recently, the Layered Depth Image (LDI) was proposed by Shade et al. to merge multiple referenc...
130
click to vote
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
124
Voted
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
Typically,cell parameterssuch as the pin-to-pinintrinsicdelays, load-dependentcoe cients,andinputpin capacitanceshavedifferent values for rising and falling signals. The performan...