88 search results - page 13 / 18 » Orthogonal Polyhedra: Representation and Computation |
EMMCVPR
2009
Springer
14 years 3 months ago
2009
Springer
We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates ...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
GLVLSI
2000
IEEE
14 years 1 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
DAC
1999
ACM
14 years 27 days ago
1999
ACM
ENOR is an innovative way to produce provablypassive, reciprocal, and compact representations of RLC circuits. Beginning with the nodal equations, ENOR formulates recurrence relat...
DAGM
2001
Springer
14 years 1 months ago
2001
Springer
In this article, we present a new method for visual face tracking that is carried out in a wavelet subspace. Initially, a wavelet representation for the face template is created, ...