14809 search results - page 330 / 2962 » Model transformation by demonstration |
174
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
Probabilistic AI planning methods that minimize expected execution cost have a neutral attitude towards risk. We demonstrate how one can transform planning problems for risk-sensi...
173
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
We present wavelet warping -- a new class of forward 3D warping algorithms for image-based rendering. In wavelet warping most of the warping operation is performed in the wavelet d...
160
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
156
Voted
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
214
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...