Sciweavers

3974 search results - page 553 / 795
» Metric Functional Dependencies
Sort
View
IJCV
2008
188views more  IJCV 2008»
15 years 7 months ago
Partial Linear Gaussian Models for Tracking in Image Sequences Using Sequential Monte Carlo Methods
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
Elise Arnaud, Étienne Mémin
IJCV
2006
266views more  IJCV 2006»
15 years 7 months ago
Kernel Density Estimation and Intrinsic Alignment for Shape Priors in Level Set Segmentation
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...
Daniel Cremers, Stanley Osher, Stefano Soatto
JFP
2008
135views more  JFP 2008»
15 years 7 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
CSDA
2007
100views more  CSDA 2007»
15 years 7 months ago
Estimation in a linear multivariate measurement error model with a change point in the data
A linear multivariate measurement error model AX = B is considered. The errors in A B are row-wise finite dependent, and within each row, the errors may be correlated. Some of th...
Alexander Kukush, Ivan Markovsky, Sabine Van Huffe...
FSS
2007
102views more  FSS 2007»
15 years 7 months ago
Extraction of fuzzy rules from support vector machines
The relationship between support vector machines (SVMs) and Takagi–Sugeno–Kang (TSK) fuzzy systems is shown. An exact representation of SVMs as TSK fuzzy systems is given for ...
Juan Luis Castro, L. D. Flores-Hidalgo, Carlos Jav...