3233 search results - page 238 / 647 » Rule Modeling and Markup |
122
click to vote
TLCA
1997
Springer
15 years 9 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
156
click to vote
CBMS
2006
IEEE
15 years 11 months ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
153
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
142
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
156
click to vote
ACMACE
2009
ACM
15 years 9 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...