2 research outputs found

    Generalization of Superposition of Rectangles based on Direction Relations

    Get PDF
    Abstract We present a method of superposing rectangles. The superposition is under the condition that some of the regions should be visible. We first define a qualitative spatial representation of the rectangles. In particular, direction relations are used to express the positions of the must-be-visible regions. The representation is extendable to accommodate higher degree of granularity, and therefore to cover any arrangement of regions. Properties of success and effectiveness are defined to evaluate the superposition

    Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL

    No full text
    corecore