4131 search results - page 31 / 827 » Compactness in Topology and Computation |
67
Voted
ICCSA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We introduce a pure-streamfunction formulation for the incompressible Navier-Stokes equations. The idea is to replace the vorticity in the vorticity- streamfunction evolu...
108
click to vote
MVA
2000
15 years 1 months ago
2000
We present a linear rectification algorithm for general, unconstrained stereo rigs. The algorithm takes the two perspective projection matrices of the original cameras, and compute...
ACL
2010
14 years 12 months ago
2010
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...
136
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Thousands of hours of video are recorded every second across the world. Due to the fact that searching for a particular event of interest within hours of video is time consuming, ...
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
Layout migration has re-emerged as an important task due to the increasing use of library hard intellectual properties. While recent advances of migration tools have accommodated ...