5525 search results - page 185 / 1105 » Verification of Model Transformations |
121
Voted
IEE
2008
15 years 3 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
152
Voted
IASTEDSEA
2004
15 years 5 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
126
click to vote
BIOID
2008
15 years 5 months ago
2008
Abstract. Classifiers based on Gaussian mixture models are good performers in many pattern recognition tasks. Unlike decision trees, they can be described as stable classifier: a s...
157
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
120
Voted
CGF
2006
15 years 3 months ago
2006
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...