2473 search results - page 27 / 495 » The Logic of Communication Graphs |
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
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...
ICDT
2003
ACM
14 years 24 days ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
GG
2004
Springer
14 years 1 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
ILP
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...
VTC
2007
IEEE
2007
IEEE
Factor Graph Framework for Serially Concatenated Coded CPM with Limiter Phase Discriminator Receiver
14 years 1 months ago
