4074 search results - page 387 / 815 » Abstract Graph Transformation |
172
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Binary join trees have been a popular structure to compute the impact of multiple belief functions initially assigned to nodes of trees or networks. Shenoy has proposed t...
177
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Self-Organizing Map (SOM) is an unsupervised learning neural network and it is used for preserving the structural relationships in the data without prior knowledge. SOM h...
155
Voted
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
167
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
181
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...