Article

Free access

Automatic layout based on formal semantics

Authors:

Thomas Kamps,

Klaus ReichenbergerAuthors Info & Claims

AVI '94: Proceedings of the workshop on Advanced visual interfaces

Pages 231 - 233

https://doi.org/10.1145/192309.192357

Published: 01 June 1994 Publication History

PDF eReader

References

[1]

Kamps, T. Reichenberger, K. (1994 a). Automatic Layout as an Organisation Process, Arbeitspapiere der GMD, Nr. 825, Sankt Augustin 1994.

Google Scholar

[2]

Kamps, T. Reichenberger, K . (1994 b). A Dialogue Approach to Graphical Information Access, in Workshop on Methodological Issues on the Design of Hypertext-based User Interfaces, July 13-14, in Darmstadt, Germany, eds. Schuler, W. Hannemann, J. To be published by Springer Verlag.

Google Scholar

[3]

Muckinlay, J. Automating the Design of Graphical Presentations of Relational Information, in ACM Transactions on Graphics, Vol. 5, No. 2, 1986.

Digital Library

Google Scholar

[4]

Rostek, L. Miihr, W. Fischer, D. (1994). Weaving a Web: The Structure and Creation of an Object Network Representing an Electronic Reference Work, accepted at: EP 94 Conference on Electronic Publishing, Document Manipulation and Typography, Darmstadt, April 13-15 1994.

Google Scholar

[5]

Roth, S. F. and Hefley, W. E. Intelligent Multimedia Presentation Systems: Research and Principles, in Mark Marbury (Ed.) Intelligent Multimedia Interfaces, AAAI Press, 1993.

Digital Library

Google Scholar

Cited By

View all

Hurst NLi WMarriott KBorghoff UChidlovskii B(2009)Review of automatic document formattingProceedings of the 9th ACM symposium on Document engineering10.1145/1600193.1600217(99-108)Online publication date: 16-Sep-2009
https://dl.acm.org/doi/10.1145/1600193.1600217
Kamps TKleinz JRead J(2005)Constraint-based spring-model algorithm for graph layoutGraph Drawing10.1007/BFb0021818(349-360)Online publication date: 17-Jun-2005
https://doi.org/10.1007/BFb0021818
Banyasad OCox P(2004)An Automatic Layout Algorithm for LographProceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing10.1109/VLHCC.2004.7(139-146)Online publication date: 26-Sep-2004
https://dl.acm.org/doi/10.1109/VLHCC.2004.7
Show More Cited By

Index Terms

Automatic layout based on formal semantics
1. Applied computing
  1. Computers in other domains
    1. Publishing
  2. Document management and text processing
    1. Document preparation
2. Human-centered computing
  1. Human computer interaction (HCI)
    1. HCI design and evaluation methods
    2. Interaction paradigms

Recommendations

Equivalence of formal semantics definition methods
Abstract
There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...
The formal semantics of SDL-2000: status and perspectives
ITU-T system design languages (SDL)

In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL- 2000 was officially approved to become part of the SDL language ...
Two Formal Semantics of a Subset of the AADL
ICECCS '11: Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems

The analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model ...

Comments

Information & Contributors

Information

Published In

AVI '94: Proceedings of the workshop on Advanced visual interfaces

June 1994

249 pages

ISBN:0897917332

DOI:10.1145/192309

Editors:
Maria F. Costabile
Univ. di Bari, Bari, Italy
,
Tiziana Catarci
Univ. di Roma “La Sapienza”, Roma, Italy
,
Stefano Levialdi
Univ. di Roma “La Sapienza”, Roma, Italy
,
Giuseppe Santucci
Univ. di Roma “La Sapienza”, Roma, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

AVI94

Sponsor:

SIGCHI

AVI94: Workshop on Advanced Visual Interfaces

June 1 - 4, 1994

Bari, Italy

Acceptance Rates

Overall Acceptance Rate 128 of 490 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
292
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)5

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hurst NLi WMarriott KBorghoff UChidlovskii B(2009)Review of automatic document formattingProceedings of the 9th ACM symposium on Document engineering10.1145/1600193.1600217(99-108)Online publication date: 16-Sep-2009
https://dl.acm.org/doi/10.1145/1600193.1600217
Kamps TKleinz JRead J(2005)Constraint-based spring-model algorithm for graph layoutGraph Drawing10.1007/BFb0021818(349-360)Online publication date: 17-Jun-2005
https://doi.org/10.1007/BFb0021818
Banyasad OCox P(2004)An Automatic Layout Algorithm for LographProceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing10.1109/VLHCC.2004.7(139-146)Online publication date: 26-Sep-2004
https://dl.acm.org/doi/10.1109/VLHCC.2004.7
Reichenberger KKamps TGolovchinsky G(1995)Towards a generative theory of diagram designProceedings of Visualization 1995 Conference10.1109/INFVIS.1995.528681(11-18)Online publication date: 1995
https://doi.org/10.1109/INFVIS.1995.528681

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Equivalence of formal semantics definition methods

The formal semantics of SDL-2000: status and perspectives

Two Formal Semantics of a Subset of the AADL