A number of compact representation forms that are investigated in the knowledge compilation community are utilized in interactive product configuration and other forms of decisio...
The intelligent tutoring system LARGO allows law students to annotate a transcript of an oral argument using diagrams which can be linked to text portions. LARGO analyzes diagrams...
Niels Pinkwart, Collin Lynch, Kevin D. Ashley, Vin...
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
We present a new network diagram authoring tool, Dunnart, that provides continuous network layout. It continuously adjusts the layout in response to user interaction, while still m...