Sciweavers

211 search results - page 1 / 43
» Causal Behaviours and Nets
Sort
View
FLAIRS
2003
13 years 6 months ago
Hierarchical Causal Parameter Abduction in Integral-Hybrid Logic Nets
Hybrid logic nets contain nodes that exhibit recurrent characteristics, in that a node output shows temporal tendencies even when the inputs are constant (Al-Dabass et al. 1999a a...
David Al-Dabass, David J. Evans, Siva Sivayoganath...
APN
1995
Springer
13 years 8 months ago
Causal Behaviours and Nets
Speci cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene cialfromadesignpointofview.Theexplicitpresence(orabsence)ofacausaldependencybetweenact...
Joost-Pieter Katoen
SG
2005
Springer
13 years 10 months ago
Picturing Causality - The Serendipitous Semiotics of Causal Graphs
Abstract. Bayesian nets (BNs) appeared in the 1980s as a solution to computational and representational problems encountered in knowledge representation of uncertain information. S...
Eric Neufeld, Sonje Kristtorn
ACSD
2004
IEEE
113views Hardware» more  ACSD 2004»
13 years 9 months ago
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
FUIN
2008
124views more  FUIN 2008»
13 years 5 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...