2055 search results - page 165 / 411 » Generic Model Refactorings |
123
click to vote
SIMVIS
2004
15 years 4 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
144
click to vote
IJNSEC
2008
15 years 3 months ago
2008
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
123
click to vote
CORR
1999
Springer
15 years 2 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
117
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
111
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
W'e consider the kinematic model of a vehicle moving forward with a lower bounded turning radius. This model, is relevant to describe the kinematics of road vehicles as well ...