4074 search results - page 288 / 815 » Abstract Graph Transformation |
183
click to vote
ASM
2003
ASM
15 years 12 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
191
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
173
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Extended Argumentation Frameworks (EAFs) are a proposed formalism that develop abstract argumentation frameworks (AFs) by allowing attacks between arguments to be attacked themselv...
203
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Tagged Magnetic Resonance Imaging (MRI) is currently the reference MR modality for myocardial motion and strain analysis. Mutual Information (MI) based non rigid registration has ...
172
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...