3984 search results - page 536 / 797 » A Model-Driven Transformation Method |
138
click to vote
JOT
2002
15 years 5 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
189
click to vote
JUCS
2002
15 years 5 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
157
click to vote
PRL
2002
15 years 5 months ago
2002
Optical lenses, particularly those with long focal lengths, suffer from the problem of limited depth of field. Consequently, it is often difficult to obtain good focus for all obj...
149
click to vote
TCSV
2002
15 years 5 months ago
2002
Abstract--In this paper, we propose novel algorithms for stereoscopic image coding based on the hierarchical decomposition of stereo information. The proposed schemes, based on wav...
200
click to vote
TIP
2002
15 years 5 months ago
2002
Fractal image encoding is a computationally intensive method of compression due to its need to find the best match between image sub-blocks by repeatedly searching a large virtual...