5525 search results - page 263 / 1105 » Verification of Model Transformations |
149
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
151
click to vote
NECO
2010
15 years 3 months ago
2010
To allow the hidden units of a restricted Boltzmann machine to model the transformation between two successive images, Memisevic and Hinton (2007) introduced three-way multiplicat...
169
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
Simple wavelet and wavelet packet transforms have often been used for texture characterisation through the analysis of spatial-frequency content. However, most previous methods ma...
131
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
140
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...