We study capacitated network flow problems with supplies and demands defined on a countably infinite collection of nodes having finite degree. This class of network flow models in...
H. Edwin Romeijn, Dushyant Sharma, Robert L. Smith
This paper deals with edge detection and vertex characterization of 3D meshes. First, a new measure is introduced, the saliency degree, which provide directly the shape informatio...
Nicolas Walter, Olivier Aubreton, Olivier Laligant
Important layout properties of electronic designs include interconnection length values, clock speed, area requirements, and power dissipation. A reliable estimation of those prop...
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...