5525 search results - page 296 / 1105 » Verification of Model Transformations |
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
201
Voted
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes a new approach to combined spatial (Intra) prediction and adaptive transform coding in block-based video and image compression. Context-adaptive spatial predic...
187
Voted
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
150
Voted
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
We present a method to extract principal deformation modes from a set of articulated models describing the human spine. The spine was expressed as a set of rigid transforms that su...
185
Voted
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...