资源分类
》 资源 》论文》A Tool for Generating Interactive Euler Diagrams

A Tool for Generating Interactive Euler Diagrams

2019-11-25 | |  160 |   133 |   0
Abstract We describe a tool for generating Euler diagrams from a set of region connection calculus formulas. The generation is based on a variant of local search capturing default reasoning for improving aesthetic appearance of Euler diagrams. We also describe an optimization for diagrams to be interactive: the user can modify the diagram with the mouse while formulas are still satisfied. We also discuss how such a tool may propose new relevant formulas to add to the specification using an approximation algorithm based on the satisfiability of Horn clauses.

上一篇：Klint: Assisting Integration of Heterogeneous Knowledge

下一篇：Interactive Planning-Based Hypothesis Generation with LTS++

用户评价
全部评价

热门资源

  • Regularizing RNNs...

    Recently, caption generation with an encoder-de...

  • Deep Cross-media ...

    Cross-media retrieval is a research hotspot in ...

  • Supervised Descen...

    Many computer vision problems (e.

  • Learning Expressi...

    Facial expression is temporally dynamic event w...

  • Attributed Graph ...

    Graph clustering is a fundamental task which di...