1819 search results - page 39 / 364 » Computability and Representations of the Zero Set |
VMV
2004
14 years 11 months ago
2004
We present two variants of free surface LatticeBoltzmann fluid simulations for the animation of liquids in computer graphics. The LatticeBoltzmann method is an attractive alternat...
DAC
1999
ACM
15 years 2 months ago
1999
ACM
Abstract We describe the use of parametric representations of Boolean predicates to encode data-space constraints and signi cantly extend the capacity of formal veri cation. The co...
BMVC
1998
14 years 11 months ago
1998
We introduce an object recognition system in which objects are represented as a sparse and spatially organized set of local (bent) line segments. The line segments correspond to b...
WAOA
2005
Springer
15 years 3 months ago
2005
Springer
A cycle cover of a graph is a set of cycles such that every vertex is part of exactly one cycle. An L-cycle cover is a cycle cover in which the length of every cycle is in the set...
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
We propose a novel variational formulation for generating 3D models of objects from a single view. Based on a few user scribbles in an image, the algorithm automatically extracts t...