3984 search results - page 130 / 797 » A Model-Driven Transformation Method |
121
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
130
click to vote
VTS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a new approach for on-chip test pattern generation. The set of test patterns generated by a pseudo-random pattern generator (e.g., an LFSR) is transformed into...
153
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
181
click to vote
AR
2011
14 years 11 months ago
2011
We propose a real-time pose invariant face recognition algorithm from a gallery of frontal images only. First, we modified the second order minimization method for active appearan...
129
click to vote
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
With the rise of mobile media devices, resizing an image or video to fit a screen of arbitrary size has become an important topic. In general, arbitrary resizing does not preserve...