Powiadomienia systemowe
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
- Sesja wygasła!
Tytuł artykułu
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
The diagramatic spreadsheet concept to develop a fully interactive animated diagrammatic system in which the transformation and animation of the diagram is interactively avaible to the user in a click-and-drag mode, and the description of what elements can move, and in what way (according to the required constraints between their components) can be also easily and interactively defined by the user. A constraint is used here like a formula in a spreadsheet, which is employed to automatically recompute the value of a cell whenever any other cells bound to it by the constraint undergo change. The graphical elements of the diagram play the role of spreadsheet cells, and their various attributes constitute the cell contents. The system may be used by human users for interactive exploration of diagrammatic representation and reasoning problems, or as a front-end to a more automatic diagrammatic inference system. In the paper, an overview of this concept and general construction principles of the system are described.
Czasopismo
Rocznik
Tom
Strony
133--146
Opis fizyczny
Bibliogr. 11 poz., rys.
Twórcy
autor
- Polish-Japanes Institute of Information Technology, ul. Koszykowa 86, 02-008 Warsaw, Poland
autor
- Institute of Fundamental Technological Research PAS, ul. Świętokrzyska 21, 00-049 Warsaw, Poland
Bibliografia
- [1] Arnheim R.: Visual Thinking. University of California Press, Berkeley, CA. 1969.
- [2] Borning A.: The programming language aspects of ThingLab, a constraint-oriented simulation laboratory. ACM Trans.on Programming Languages and Systems, 3(4), 353-387. 1981.
- [3] Grabska E.: Theoretical concepts of graphical modeling. Part one: realization of CP-graphs. MG&V, 2(1), 3-38. 1993.
- [4] Gleicher M., Witkin A.: Drawing with constraints. The Visual Computer, 11, 39-51. 1994.
- [5] Kulpa Z.: Diagrammatic representation for a space of intervals. MG&V, 6(1), 5-24. 1997.
- [6] Kulpa Z., Le T.L.: Characterization of convex and pointisable interval relations by diagrammatic methods. MG&V, 9(1/2), 221-231. 2000.
- [7] Lindsay R. K.: Playing with diagrams. Anderson M., Cheng P., Haarslev V. (Eds.): Theory and Application of Diagrams: Proc. First Int. Conf., Diagrams. LNAI, 1889:J, S-V, 300-313. 2000.
- [8] Kulpa Z.: Diagrammatic representation for interval arithmetic. Linear Algebra and Its Applicaions, 324, 55-80. 2001.
- [9] Winterstein D., Bundy A., Gurr C., Jamnik M.: Using animation in diagrammatic theorem proving. Hegarty M., Meyer B., Narayanan H. (Eds.): Theory and Application of Diagrams: Proc. Second Int. Conf. Diagrams, LNAI, 2317, S-V, 46-60. 2002.
- [10] Kulpa Z. Diagrammatic analysis of interval linear equations. Part 1: Basic notions and the one-dimensional case. Reliable Computing, 9(1), 1-20. 2003.
- [11] Kulpa Z. Diagrammatic analysis of interval linear equations. Part 2: The two-dimensional case and generalization to n dimensions. Reliable Computing, 9(3), 205-228. 2003.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BWA1-0003-0019