4502 search results - page 232 / 901 » Regular Model Checking |
185
click to vote
ECCV
1998
Springer
16 years 8 months ago
1998
Springer
Abstract. We show that we can e ectively t arbitrarily complex animation models to noisy image data. Our approach is based on leastsquares adjustment using of a set of progressivel...
171
click to vote
ICMLA
2009
15 years 4 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...
204
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
210
click to vote
CAIP
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes a method for seamless enlargement or editing of difficult colour textures containing simultaneously both regular periodic and stochastic components. Such textu...
139
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper is devoted to the registration of gene expression data to a neuroanatomical mouse atlas in two dimensions. We use a nonlinear elasticity regularization allowing large d...