A quality constrained compression algorithm based on Discrete Wavelet Transform (DWT) is proposed. The spatial-frequency decomposition property of DWT provides possibility for not...
Abstract--This paper describes an interactive tool for constrained clustering that helps users to select effective constraints efficiently during the constrained clustering process...
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
In this paper, we present a new type of Marking menus. Continuous Marking Menus are specifically dedicated to penbased interfaces, and designed to define a set of cursive, reali...
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
David A. Basin, Manuel Clavel, Marina Egea, Michae...