2609 search results - page 271 / 522 » Models for Global Constraint Applications |
158
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
A framework for the regularized estimation of nonuniform dimensionality and density in high dimensional data is introduced in this work. This leads to learning stratifications, th...
176
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper, we present a novel image interpolation method based on variational models with both smoothing and orientation constraints. By introducing the orientation constraint...
143
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
171
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
198
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...