920 search results - page 68 / 184 » Visual Graphs |
102
click to vote
APPINF
2003
14 years 11 months ago
2003
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...
VIZSEC
2005
Springer
15 years 3 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
VISSYM
2007
15 years 7 days ago
2007
Grouse is a feature-based approach to steerable exploration of a graph and an associated hierarchy. Steerability allows exploration to begin immediately, rather than requiring a c...
104
click to vote
KR
2004
Springer
15 years 3 months ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
AGTIVE
1999
Springer
15 years 2 months ago
1999
Springer
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming l...