5525 search results - page 374 / 1105 » Verification of Model Transformations |
182
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
152
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
169
click to vote
WSC
1994
15 years 8 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
199
click to vote
ENTCS
2008
15 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
172
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
In this paper we propose extensions to the match propagation algorithm which is a technique for computing quasidense point correspondences between two views. The extensions make t...