Sciweavers

3128 search results - page 314 / 626
» Finite element method
Sort
View
CVPR
2001
IEEE
16 years 6 months ago
On Computing Exact Visual Hulls of Solids Bounded by Smooth Surfaces
This paper presents a method for computing the visual hull that is based on two novel representations: the rim mesh, which describes the connectivity of contour generators on the ...
Svetlana Lazebnik, Edmond Boyer, Jean Ponce
ICIP
2001
IEEE
16 years 6 months ago
EM algorithms of Gaussian mixture model and hidden Markov model
The HMM (Hidden Markov Model) is a probabilistic model of the joint probability of a collection of random variables with both observations and states. The GMM (Gaussian Mixture Mo...
Guorong Xuan, Wei Zhang, Peiqi Chai
MICCAI
2008
Springer
16 years 6 months ago
Efficient Computation of PDF-Based Characteristics from Diffusion MR Signal
Abstract. We present a general method for the computation of PDFbased characteristics of the tissue micro-architecture in MR imaging. The approach relies on the approximation of th...
David Tschumperlé, Haz-Edine Assemlal, Luc ...
ICML
2005
IEEE
16 years 5 months ago
Dynamic preferences in multi-criteria reinforcement learning
The current framework of reinforcement learning is based on maximizing the expected returns based on scalar rewards. But in many real world situations, tradeoffs must be made amon...
Sriraam Natarajan, Prasad Tadepalli
CAV
2009
Springer
169views Hardware» more  CAV 2009»
16 years 5 months ago
Automatic Verification of Integer Array Programs
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
Filip Konecný, Marius Bozga, Peter Habermeh...