Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
Timothy N. Wright, T. C. Nicholas Graham, Tore Urn...
Trends in VLSI technology scaling demand that future computing devices be narrowly focused to achieve high performance and high efficiency, yet also target the high volumes and lo...
Ken Mai, Tim Paaske, Nuwan Jayasena, Ron Ho, Willi...
Abstract. Many different descriptions of Retinex methods of lightness computation exist. We provide concise MATLABTM implementations of two of the spatial techniques of making pixe...
Abstract--An emerging generation of mission-critical networked applications is placing demands on the Internet protocol suite that go well beyond the properties they were designed ...