3353 search results - page 479 / 671 » Laver and set theory |
196
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
156
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We consider the correspondence problem associated with the non-rigid registration of a group of images; in particular, the theoretical basis for the derivation of the objective fu...
157
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
182
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
153
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...