5525 search results - page 701 / 1105 » Verification of Model Transformations |
185
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Principal ComponentAnalysis (PCA) has been successfully applied to construct linear models of shape, graylevel, and motion. In particular, PCA has been widely used to model the var...
209
click to vote
QEST
2006
IEEE
16 years 29 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
164
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
156
click to vote
EUROCRYPT
2004
Springer
16 years 10 days ago
2004
Springer
We provide methods for transforming an encryption scheme susceptible to decryption errors into one that is immune to these errors. Immunity to decryption errors is vital when const...
210
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...