Sciweavers

1797 search results - page 206 / 360
» Regularized Winnow Methods
Sort
View
CVRMED
1997
Springer
14 years 1 months ago
Volumetric medical images segmentation using shape constrained deformable models
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...
Johan Montagnat, Hervé Delingette
CAE
2007
13 years 11 months ago
Stipple Placement using Distance in a Weighted Graph
We present a stipple placement method which provides extra emphasis to image features, especially edges. Our algorithm transforms an image into a regular graph, with edge weights ...
David Mould
FM
2008
Springer
93views Formal Methods» more  FM 2008»
13 years 10 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
VMV
2008
165views Visualization» more  VMV 2008»
13 years 10 months ago
Fast Global Labeling for Real-Time Stereo Using Multiple Plane Sweeps
This work presents a real-time, data-parallel approach for global label assignment on regular grids. The labels are selected according to a Markov random field energy with a Potts...
Christopher Zach, David Gallup, Jan-Michael Frahm,...
ESANN
2006
13 years 10 months ago
LS-SVM functional network for time series prediction
Usually time series prediction is done with regularly sampled data. In practice, however, the data available may be irregularly sampled. In this case the conventional prediction me...
Tuomas Kärnä, Fabrice Rossi, Amaury Lend...