234 search results - page 36 / 47 » Examples of Termination |
131
Voted
GG
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
115
click to vote
SCL
2010
15 years 8 days ago
2010
— Cooperative distributed model predictive control has recently been shown to provide stabilizing feedback for plants composed of any finite number of dynamically coupled subsys...
122
click to vote
WRLA
2010
15 years 6 days ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
112
click to vote
TFS
2011
14 years 8 months ago
2011
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
100
click to vote
CORR
2010
Springer
14 years 8 months ago
2010
Springer
We investigate the problem of secure communication over parallel relay channel in the presence of a passive eavesdropper. We consider a four terminal relay-eavesdropper channel wh...