Sciweavers

580 search results - page 39 / 116
» An Efficient Implementation of an Active Set Method for SVMs
Sort
View
ICCV
2009
IEEE
13 years 5 months ago
SCRAMSAC: Improving RANSAC's efficiency with a spatial consistency filter
Geometric verification with RANSAC has become a crucial step for many local feature based matching applications. Therefore, the details of its implementation are directly relevant...
Torsten Sattler, Bastian Leibe, Leif Kobbelt
MOBILWARE
2009
ACM
14 years 2 months ago
Map-Based Compressive Sensing Model for Wireless Sensor Network Architecture, A Starting Point
Sub-Nyquist sampling techniques for Wireless Sensor Networks (WSN) are gaining increasing attention as an alternative method to capture natural events with desired quality while mi...
Mohammadreza Mahmudimanesh, Abdelmajid Khelil, Nas...
FMICS
2008
Springer
13 years 9 months ago
Efficient Symbolic Model Checking for Process Algebras
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
José Vander Meulen, Charles Pecheur
MICCAI
2003
Springer
14 years 8 months ago
Hierarchical Segmentation of Thin Structures in Volumetric Medical Images
We introduce a new method for segmentation of 3D medical data based on geometric variational principles. A minimal variance criterion is coupled with a geometric edge alignment mea...
Michal Holtzman-Gazit, Dorith Goldsher, Ron Kimmel
SGP
2007
13 years 10 months ago
Constraint-based fairing of surface meshes
We propose a constraint-based method for the fairing of surface meshes. The main feature of our approach is that the resulting smoothed surface remains within a prescribed distanc...
Klaus Hildebrandt, Konrad Polthier