14809 search results - page 226 / 2962 » Model transformation by demonstration |
195
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The purpose of this paper is to develop parameter transformation strategies that improve the accuracy of the Variational Bayes (VB) approximation. The idea is to find a transform...
150
click to vote
ACL
2008
15 years 8 months ago
2008
This paper investigates transforms of split dependency grammars into unlexicalised context-free grammars annotated with hidden symbols. Our best unlexicalised grammar achieves an ...
189
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
173
click to vote
BIRTHDAY
2005
Springer
16 years 4 days ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
169
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...