2911 search results - page 300 / 583 » A Logic of Graph Constraints |
225
click to vote
APVIS
2011
14 years 6 months ago
2011
Graphs are often used to encapsulate relationships between objects. Node-link diagrams, commonly used to visualize graphs, suffer from visual clutter on large graphs. Edge bundlin...
161
click to vote
EPIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
254
click to vote
FAABS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
171
click to vote
WADT
2004
Springer
16 years 5 hour ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
193
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...