9532 search results - page 48 / 1907 » Logic, Graphs, and Algorithms |
126
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
139
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
127
click to vote
TALG
2008
15 years 4 months ago
2008
We present the rst dynamic algorithm that maintains a clique tree representation of a chordal graph and supports the following operations: (1) query whether deleting or inserting ...
201
click to vote
APWEB
2011
Springer
14 years 11 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
SODA
2004
ACM
15 years 5 months ago
2004
ACM
