387 search results - page 17 / 78 » A generic topology library |
206
click to vote
JSAT
2010
15 years 28 days ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
161
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
147
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...
149
click to vote
JMIV
2000
15 years 6 months ago
2000
We investigate the "deep structure" of a scale-space image. The emphasis is on topology, i.e. we concentrate on critical points--pointswith vanishing gradient--and top-p...
171
click to vote
Source Code
VXL is a collection of C++ libraries designed for computer vision research and implementation. VXL is written in ANSI/ISO C++ and is designed to be portable over many platforms. Th...