4502 search results - page 41 / 901 » Regular Model Checking |
95
Voted
WWW
2008
ACM
16 years 1 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...
101
Voted
ICIP
2000
IEEE
2000
IEEE
Motion Estimation Using Adaptive Blocksize Observation Model and Efficient Multiscale Regularization
16 years 2 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...
97
Voted
AML
2008
14 years 11 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...
119
Voted
FGR
2008
IEEE
15 years 7 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, ...
151
Voted
ML
2002
ACM
15 years 6 days 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 ...