4502 search results - page 381 / 901 » Regular Model Checking |
153
click to vote
SIAMCO
2002
15 years 6 months ago
2002
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...
155
click to vote
WSC
2008
15 years 9 months ago
2008
Component based or building block based simulation model development is regularly mentioned as an interesting new development and a potential field of research. Most of the commer...
232
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Domain adaptation refers to the process of adapting an extraction model trained in one domain to another related domain with only unlabeled data. We present a brief survey of exis...
166
click to vote
ICDM
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper proposes a general boosting framework for combining multiple kernel models in the context of both classification and regression problems. Our main approach is built on...
241
click to vote
CVRMED
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...