Sciweavers

2011 search results - page 125 / 403
» MRA data segmentation using level sets
Sort
View
TPHOL
2009
IEEE
14 years 3 months ago
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
Andreas Lochbihler
ICDE
2011
IEEE
338views Database» more  ICDE 2011»
13 years 26 days ago
Outlier detection on uncertain data: Objects, instances, and inferences
—This paper studies the problem of outlier detection on uncertain data. We start with a comprehensive model considering both uncertain objects and their instances. An uncertain o...
Bin Jiang, Jian Pei
PAMI
2010
396views more  PAMI 2010»
13 years 7 months ago
Self-Validated Labeling of Markov Random Fields for Image Segmentation
—This paper addresses the problem of self-validated labeling of Markov random fields (MRFs), namely to optimize an MRF with unknown number of labels. We present graduated graph c...
Wei Feng, Jiaya Jia, Zhi-Qiang Liu
CVPR
2008
IEEE
13 years 9 months ago
Tracking distributions with an overlap prior
Recent studies have shown that embedding similarity/dissimilarity measures between distributions in the variational level set framework can lead to effective object segmentation/t...
Ismail Ben Ayed, Shuo Li, Ian G. Ross
AVSS
2007
IEEE
14 years 3 months ago
Model-based human posture estimation for gesture analysis in an opportunistic fusion smart camera network
In multi-camera networks rich visual data is provided both spatially and temporally. In this paper a method of human posture estimation is described incorporating the concept of a...
Chen Wu, Hamid K. Aghajan