Multimedia objects are often described by high-dimensional feature vectors which can be used for retrieval and clustering tasks. We have built an interactive retrieval system for ...
Benjamin Bustos, Daniel A. Keim, Christian Panse, ...
`Today' messages are short daily status emails sent by members of a project team to each other. Their original purpose was to take the place of status updates at meetings. Ho...
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
SelectiveDynamic Manipulation (SDM) is a paradigm for interacting with objects in visualizations, Its methodsoffer a high degree of selectivity, in choosing object sets, in the se...
Mei C. Chuah, Steven F. Roth, Joe Mattis, John Kol...
Despite much research on hypertext and web navigation, relatively little is known about the relationship between web navigation strategies and success. We present two exploratory ...