Sciweavers

8413 search results - page 1188 / 1683
» Ordering Problem Subgoals
Sort
View
ICPR
2000
IEEE
16 years 8 months ago
Cooperation between Level Set Techniques and Dense 3D Registration for the Segmentation of Brain Structures
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...
C. Baillard, Pierre Hellier, Christian Barillot
ICPR
2000
IEEE
16 years 8 months ago
Topographic Maps of Color Images
We address the problem of extending topographic maps to color images. A topographic map gives a morphological and a geometrical representation of the information contained in natu...
Bartomeu Coll, Jacques Froment
ICIP
2009
IEEE
16 years 8 months ago
Optimum Kernel Function Design From Scale Space Features For Object Detection
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...
GIS
2003
ACM
16 years 8 months ago
Computational data modeling for network-constrained moving objects
Advances in wireless communications, positioning technology, and other hardware technologies combine to enable a range of applications that use a mobile user's geo-spatial da...
Laurynas Speicys, Christian S. Jensen, Augustas Kl...
DAC
2009
ACM
16 years 8 months ago
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
Himanshu Jain, Edmund M. Clarke
« Prev « First page 1188 / 1683 Last » Next »