This paper describes a high-performance special-purpose system, Cube-3, for displaying and manipulating highresolution volumetric datasets in real-time. A primary goal of Cube-3 i...
Hanspeter Pfister, Arie E. Kaufman, Tzi-cker Chiue...
In this paper, we describe a query system that provides visual relevance feedback in querying large databases. Our goal is to support the process of data mining by representing as...
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Visualization based on perceptually motivated audio features and Emer...