4502 search results - page 41 / 901 » Regular Model Checking |
WWW
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we formally define the problem of topic modeling with network structure (TMN). We propose a novel solution to this problem, which regularizes a statistical topic mo...
ICIP
2000
IEEE
2000
IEEE
Motion Estimation Using Adaptive Blocksize Observation Model and Efficient Multiscale Regularization
14 years 11 months ago
Bayesian motion estimation requires two pdf models: observation model and motion field (prior) model. The optimization process for this method uses sequential approach, e.g. simul...
AML
2008
13 years 8 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
FGR
2008
IEEE
14 years 4 months ago
2008
IEEE
Active shape model (ASM) statistically represents a shape by a set of well-defined landmark points and models object variations using principal component analysis (PCA). However, ...
ML
2002
ACM
13 years 9 months ago
2002
ACM
We present a general approach to model selection and regularization that exploits unlabeled data to adaptively control hypothesis complexity in supervised learning tasks. The idea ...