Sciweavers

7117 search results - page 402 / 1424
» IT Governance Frameworks as Methods
Sort
View
CVPR
2010
IEEE
15 years 10 months ago
Real-time Tracking of Multiple Occluding Objects using Level Sets
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
Charles Bibby, Ian Reid
ISBI
2004
IEEE
16 years 7 months ago
Morphological Classification of Medical Images using Nonlinear Support Vector Machines
The wavelet decomposition of a high-dimensional shape transformation posed in a mass-preserving framework is used as a morphological signature of a brain image. Population differe...
Christos Davatzikos, Dinggang Shen, Zhiqiang Lao, ...
VMCAI
2009
Springer
16 years 1 months ago
Towards Automatic Stability Analysis for Rely-Guarantee Proofs
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
Hasan Amjad, Richard Bornat
ISMM
2009
Springer
16 years 1 months ago
Ultimate Attribute Opening Segmentation with Shape Information
In this paper, a method for morphological segmentation using shape information is presented. This method is based on a morphological operator named ultimate attribute opening (UAO)...
Jorge Hernández, Beatriz Marcotegui
ICIP
2008
IEEE
16 years 1 months ago
Blind deconvolution of video sequences
We present a new blind deconvolution method for video sequence. It is derived following an inverse problem approach in a Bayesian framework. This method exploits the temporal cont...
Ferreol Soulez, Eric Thiebaut, Yves Tourneur, Alai...