A tableau based constraint solving toolkit for interactive graphical applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1520, Issue , 1998, Pages 340-354

  Marriott, Kim ^a   Chok, Sitt Sen ^a   Finlay, Alan ^a,b  

^a MONASH UNIVERSITY   (Australia)

^b Ericsson Australia   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

CONSTRAINT MANIPULATION; CONSTRAINT SOLVING; DIRECT MANIPULATION; EMPIRICAL EVALUATIONS; EUCLIDEAN DISTANCE; GRAPHICAL APPLICATIONS; LINEAR ARITHMETIC CONSTRAINTS; MANHATTAN DISTANCE;

CONSTRAINT THEORY;

EID: 84957377377     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49481-2_25     Document Type: Conference Paper

References (16)

1. A. Borning and B. Freeman-Benson. The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, pages 624-628, Cassis, France, September 1995.
2. A. Borning and B. Freeman-Benson. Ultraviolet: A constraint satisfaction algorithm for interactive graphics. Constraints, 3(1):9-32, 1998.
3. A. Borning, B. Freeman-Benson, and M. Wilson. Constraint hierarchies. Lisp and Symbolic Computation, 5(3):223-270, September 1992.
4. A. Borning, R. Lin, and K. Marriott. Constraints for the Web. In Proceedings of the Fifth ACM International Multi-Media Conference, pages 173-182, November 1997.
5. A. Borning, K. Marriott, P. Stuckey, and Y. Xiao. Solving linear arithmetic con- straints for user interface applications. In Proceedings of the 10th ACM Symposium on User Interface Software and Technology, pages 87-96, 1997.
6. S.S. Chok and K. Marriott. Automatic construction of user interfaces from con- straint multiset grammars. In IEEE Symposium on Visual Languages, pages 242-250, 1995.
7. S.S. Chok and K. Marriott. Automatic construction of intelligent diagram edi- tors. In Proceedings of the 11th ACM Symposium on User Interface Software and Technology, 1998.
8. R. Fletcher. Practical Methods of Optimization. John Wiley & Sons, Chichester, 1987.
9. W. He and K. Marriott. Constrained graph layout. In Graph Drawing '96, volume 1190 of LNCS, pages 217-232. Springer-Verlag, 1996.
10. W. He and K. Marriott. Removing node overlapping using constrained optimi- sation. In Twenty-First Australasian Computer Science Conf., pages 169-180. Springer-Verlag, 1998.
11. R. Helm, T. Huynh, K. Marriott, and J. Vlissides. An object-oriented architecture for constraint-based graphical editing. In C. Laffra, E. Blake, V. de Mey, and X. Pintado, editors, Object-Oriented Programming for Graphics, pages 217-238. Springer-Verlag, 1995.
12. H. Hosobe, S. Matsuoka, and A. Yonezawa. Generalized local propagation: A framework for solving constraint hierarchies. In Proceedings of the Second Inter- national Conference on Principles and Practice of Constraint Programming, pages 237-251. Springer-Verlag LLNCS 1118, 1996.
13. H. Hosobe, K. Miyashita, S. Takahashi, S. Matsuoka, and A. Yonezawa. Locally simultaneous constraint satisfaction. In Proceedings of the 1994 Workshop on Principles and Practice of Constraint Programming, pages 51-62. Springer-Verlag LL- NCS 874, 1994.
14. T. Huynh and K. Marriott. Incremental constraint deletion in systems of linear constraints. Information Processing Letters, 55:111-115, 1995.
15. K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
16. I. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, pages 329-346. IFIPS, 1963.