In this paper, we show some properties of a pseudotriangle and present three combinatorial bounds: the ratio of the size of minimum pseudotriangulation of a point set S and the siz...
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
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...
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set asso...
This paper describes two innovative analysis methods for IPv4 address sets such as antispam blacklists. First, the contents analysis provides means of measuring key properties of ...