Empirical work with "Belvedere," a software environment for the construction of diagrammatic representations of evidential relations, is summarized, leading to the hypot...
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
Mikolaj Bojanczyk, Howard Straubing, Igor Walukiew...
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
The centering framework explains local coherence by relating local focus and the form of referring expressions. It has proven useful in monolog, but its utility for multiparty dis...
The visual hull relates the shape of an object to its silhouettes. This paper develops the theory of the visual hull of piecewise smooth objects, as those used in CAD applications...