Using intermediate representation systems to interact with concept lattices

被引:0
|
作者
Becker, P [1 ]
机构
[1] Univ Queensland, Sch Informat Technol & Elect Engn, Brisbane, Qld 4072, Australia
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Automated layout of line diagrams for concept lattices is a hard problem as it requires not only asthetical but also semantic considerations. While many layout approaches have been proposed to produce line diagrams that are perceived as good for many applications, a general approach that suits all applications has not yet been found. Instead of proposing another specific layout approach we propose a framework that allows modelling layout constraints that are not only applied for automated layout, but also during manipulation of the diagram layout.
引用
收藏
页码:265 / 268
页数:4
相关论文
共 50 条
  • [31] Automated architectural component classification using concept lattices
    Aboud, Nour Alhouda
    Arevalo, Gabriela
    Falleri, Jean-Remy
    Huchard, Marianne
    Tibermacine, Chouki
    Urtado, Christelle
    Vauttier, Sylvain
    2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE, 2009, : 21 - +
  • [32] IF: An intermediate representation and validation environment for timed asynchronous systems
    Bozga, M
    Fernandez, JC
    Ghirvu, L
    Graf, S
    Krimm, JP
    Mounier, L
    FM'99-FORMAL METHODS, 1999, 1708 : 307 - 327
  • [33] Analysis of the DBLP Publication Classification Using Concept Lattices
    Alwahaishi, Saleh
    Martinovic, Jan
    Snasel, Vaclav
    Kudelka, Milos
    DATESO 2011: DATABASES, TEXTS, SPECIFICATIONS, OBJECTS, 2011, 706 : 132 - 139
  • [34] Analysis of the DBLP Publication Classification Using Concept Lattices
    Alwahaishi, Saleh
    Martinovic, Jan
    Snasel, Vaclav
    Kudelka, Milos
    DIGITAL ENTERPRISE AND INFORMATION SYSTEMS, 2011, 194 : 99 - +
  • [35] Using concept lattices to uncover causal dependencies in software
    Pfaltz, JL
    FORMAL CONCEPT ANALYSIS, PROCEEDINGS, 2006, 3874 : 233 - 247
  • [36] FACTORIZATION AND REPRESENTATION OF LATTICES
    MARKOWSKY, G
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 203 (476) : 185 - 200
  • [37] Pessimistic Concept Lattices and Optimistic Concept Lattices Based on Attribute Classification
    Gao L.
    Wang Z.
    Wei L.
    Qi J.
    Wei, Ling (wl@nwu.edu.cn); Wei, Ling (wl@nwu.edu.cn), 1600, Science Press (34): : 701 - 711
  • [38] A TOPOLOGICAL REPRESENTATION OF LATTICES
    HARTUNG, G
    ALGEBRA UNIVERSALIS, 1992, 29 (02) : 273 - 299
  • [40] On representation of finite lattices
    A. V. Kravchenko
    A. M. Nurakunov
    M. V. Schwidefsky
    Algebra universalis, 2019, 80