Constraint satisfaction in user interfaces: Introduction and survey

Computer Software

Volumn 17, Issue 6, 2000, Pages 73-85

  Hosobe, Hiroshi ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 10444252876     PISSN: 02896540     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (68)

1. Badros, G., Borning, A., Marriott, K. and Stuckey, P.: Constraint Cascading Style Sheets for the Web, Proc. ACM UIST, 1999, pp. 73-82.
2. Badros, G. J. and Borning, A.: The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation, Technical Report 98-06-04, Dept. of Computer Science and Engineering, University of Washington, 1998.
3. Borning, A.: The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Trans. Prog. Lang. Syst., Vol. 3, No. 4 (1981), pp. 353-387.
4. Borning, A., Anderson, R. and Freeman-Benson, B.: Indigo: A Local Propagation Algorithm for Inequality Constraints, Proc. ACM UIST, 1996, pp. 129-136.
5. Borning, A. and Duisberg, R.: Constraint-Based Tools for Building User Interfaces, ACM Trans. Gr., Vol. 5, No. 4 (1986), pp. 345-374.
6. Borning, A., Duisberg, R., Freeman-Benson, B., Kramer, A. and Woolf, M.: Constraint Hierarchies, Proc. ACM OOPSLA, 1987, pp. 48-60.
7. Borning, A. and Freeman-Benson, B.: UltraViolet: A Constraint Satisfaction Algorithm for Interactive Graphics, Constraints J., Vol. 3, No. 1 (1998), pp. 9-32.
8. Borning, A., Freeman-Benson, B. and Wilson, M.: Constraint Hierarchies, Lisp and Symbolic Computation, Vol. 5, No. 3 (1992), pp. 223-270.
9. Borning, A. and Freeman-Benson, B. N.: The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces, Principles and Practice of Constraint Programming - CP '95 (Montanari, U. and Rossi, F. (eds.)), LNCS, Vol. 976, Springer, 1995, pp. 624-628.
10. Borning, A., Marriott, K., Stuckey, P. and Xiao, Y.: Solving Linear Arithmetic Constraints for User Interface Applications, Proc. ACM UIST, 1997, pp. 87-96.
11. Bouzoubaa, M., Neveu, B. and Hasle, G.: Houria: A Solver for Equational Constraints in a Hierarchical System, Proc. CP '95 Workshop on Over-Constrained Systems, 1995.
12. Chok, S. S. and Marriott, K.: Automatic Construction of Intelligent Diagram Editors, Proc. ACM UIST, 1998, pp. 185-194.
13. Freeman-Benson, B., Wilson, M. and Borning, A.: DeltaStar: A General Algorithm for Incremental Satisfaction of Constraint Hierarchies, Proc. IEEE IPCCC, 1992, pp. 561-568.
14. Freeman-Benson, B. N.: A Module Mechanism for Constraints in Smalltalk, Proc. ACM OOPSLA, 1989, pp. 389-396.
15. Freeman-Benson, B. N. and Borning, A.: Integrating Constraints with an Object-Oriented Language, Proc. ECOOP, LNCS, Vol. 615, Springer, 1992, pp. 268-286.
16. Freeman-Benson, B. N., Maloney, J. and Borning, A.: An Incremental Constraint Solver, Comm. ACM, Vol. 33, No. 1 (1990), pp. 54-63.
17. Gleicher, M.: A Graphical Toolkit Based on Differential Constraints, Proc. ACM UIST, 1993, pp. 109-120.
18. Gleicher, M.: A Differential Approach to Graphical Interaction, Technical Report CMU-CS-94-217, School of Computer Science, Carnegie Mellon University, 1994.
19. Gleicher, M. and Witkin, A.: Differential Manipulation, Proc. Graphics Interface, 1991, pp. 61-67.
20. Gleicher, M. and Witkin, A.: Supporting Numerical Computations in Interactive Contexts, Proc. Graphics Interface, 1993, pp. 138-145.
21. Gleicher, M. and Witkin, A.: Drawing with Constraints, The Visual Computer, Vol. 11, No. 1 (1994), pp. 39-51.
22. Gross, M. D. and Do, E. Y.-L.: Ambiguous Intentions: a Paper-Like Interface for Creative Design, Proc. ACM UIST, 1996, pp. 183-192.
23. Harvey, W., Stuckey, P. and Borning, A.: Compiling Constraint Solving using Projection, Principles and Practice of Constraint Programming - CP97 (Smolka, G. (ed.)), LNCS, Vol. 1330, Springer, 1997, pp. 491-505.
24. Hattori, T.: Programming Constraint System by Demonstration, Proc. IUI, ACM, 1999, pp. 202.
25. Hentenryck, P. V., Deville, Y. and Teng, C.-M.: A Generic Arc-Consistency Algorithm and its Specializations, Artificial Intelligence, Vol. 57 (1992), pp. 291-321.
26. Heydon, A. and Nelson, G.: The Juno-2 Constraint-Based Drawing Editor, Research Report 131a, DEC Systems Research Center, 1994.
27. Hill, R. D.: The Rendezvous Constraint Maintenance System, Proc. ACM UIST, 1993, pp. 225-234.
28. Horn, B.: Constraint Patterns as a Basis for Object Oriented Programming, Proc. ACM OOPSLA, 1992, pp. 218-233.
29. Hosobe, H., Matsuoka, S. and Yonezawa, A.: Generalized Local Propagation: A Framework for Solving Constraint Hierarchies, Principles and Practice of Constraint Programming - CP96 (Freuder, E. C. (ed.)), LNCS, Vol. 1118, Springer, 1996, pp. 237-251.
30. Hosobe, H., Miyashita, K., Takahashi, S., Matsuoka, S. and Yonezawa, A.: Locally Simultaneous Constraint Satisfaction, Principles and Practice of Constraint Programming - PPCP '94 (Borning, A. (ed.)), LNCS, Vol. 874, Springer, 1994, pp. 51-62.
31. Hudson, S. E.: Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update, ACM Trans. Prog. Lang. Syst., Vol. 13, No. 3 (1991), pp. 315-341.
32. Hudson, S. E. and P. Mohamed, S.: Interactive Specification of Flexible User Interface Dislays, ACM Trans. Inf. Syst., Vol. 8, No. 3 (1990), pp. 269-288.
33. Hudson, S. E., Rodenstein, R. and Smith, I.: Debugging Lenses: A New Class of Transparent Tools for User Interface Debugging, Proc. ACM UIST, 1997, pp. 179-187.
34. Hudson, S. E. and Smith, I.: Ultra-Lightweight Constraints, Proc. ACM UIST, 1996, pp. 147-155.
35. Igarashi, T., Matsuoka, S., Kawachiya, S. and Tanaka, H.: Interactive Beautification: A Technique for Rapid Geometric Design, Proc. ACM UIST, 1997, pp. 105-114.
36. Ingalls, D., Wallace, S., Chow, Y.-Y., Ludolph, F. and Doyle, K.: Fabrik A Visual Programming Environment, Proc. ACM OOPSLA, 1988, pp. 176-190.
37. Kamada, T. and Kawai, S.: An Algorithm for Drawing General Undirected Graphs, Information Processing Letters, Vol. 31, No. 1 (1989), pp. 7-15.
38. Kamada, T. and Kawai, S.: A General Framework for Visualizing Abstract Objects and Relations, ACM Trans. Gr., Vol. 10, No. 1 (1991), pp. 1-39.
39. Kurlander, D. and Feiner, S.: Inferring Constraints from Multiple Snapshots, ACM Trans. Gr., Vol. 12, No. 4 (1993), pp. 277-304.
40. Maloney, J. H., Burning, A. and FreemanBenson, B. N.: Constraint Technology for User-Interface Construction in ThingLab II, Proc. ACM OOPSLA, 1989, pp. 381-388.
41. Marriott, K., Chok, S. S. and Finlay, A.: A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications, Principles and Practice of Constraint Programming - CP98 (Maher, M. J. and Puget, J.-F. (eds.)), LNCS, Vol. 1520, Springer, 1998, pp. 340-354.
42. Masui, T.: Graphic Object Layout with Interactive Genetic Algorithms, Proc. IEEE VL, 1992, pp. 74-80.
43. Miyashita, K., Matsuoka, S., Takahashi, S. and Yonezawa, A.: Interactive Generation of Graphical User Interfaces by Multiple Visual Examples, Proc. ACM UIST, 1994, pp. 85-94.
44. Miyashita, K., Matsuoka, S., Takahashi, S., Yonezawa, A. and Kamada, T.: Declarative Programming of Graphical Interfaces by Visual Examples, Proc. ACM UIST, 1992, pp. 107-116.
45. Myers, B. A.: Creating User Interfaces by Demonstration, Academic Press, San Diego, 1988.
46. Myers, B. A., Giuse, D. A., Dannenberg, R. B., Vander Zanden, B., Kosbie, D. S., Pervin, E., Mickish, A. and Marchal, P.: Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces, IEEE Computer, Vol. 23, No. 11 (1990), pp. 71-85.
47. Nelson, G.: Juno, a Constraint-based Graphics System, Proc. ACM SIGGRAPH, 1985, pp. 235-243.
48. Sannella, M.: Constraint Satisfaction and Debugging for Interactive User Interfaces, Technical Report 94-09-10, Dept. of Computer Science and Engineering, University of Washington, 1994.
49. Sannella, M.: SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction, Proc. ACM UIST, 1994, pp. 137-146.
50. Sutherland, I. E.: Sketchpad: A Man-Machine Graphical Communication System, Proc. AFIPS Spring Joint Conf., 1963, pp. 329-346.
51. Suzuki, T., Kakinuma, N. and Tokuda, T.: An Experimental Comparison of Three Modified DeltaBlue Algorithms, Principles and Practice of Constraint Programming - CP96 (Freuder, E. C. (ed.)), LNCS, Vol. 1118, Springer, 1996, pp. 425-435.
52. Suzuki, T. and Tokuda, T.: An Incremental and Hierarchical Constraint Solver with the Lazy Planning Phase for User Interface Construction, Proc. Intl. Conf. Software Engineering and Knowledge Engineering, Knowledge Systems Institute, 1998, pp. 339-342.
53. Takahashi, S., Matsuoka, S., Yonezawa, A. and Kamada, T.: A General Framework for BiDirectional Translation between Abstract and Pictorial Data, Proc. ACM UIST, 1991, pp. 165-174.
54. Tonouchi, T., Nakayama, K., Matsuoka, S. and Kawai, S.: Creating Visual Objects by Direct Manipulation, Proc. IEEE VL, 1992, pp. 95-101.
55. Tsang, E.: Foundations of Constraint Satisfaction, Academic Press, London, 1993.
56. Vander Zanden, B.: An Incremental Algorithm for Satisfying Hierarchies of Multi-Way Dataflow Constraints, ACM Trans. Prog. Lang. Syst., Vol. 18, No. 1 (1996), pp. 30-72.
57. Vander Zanden, B., Myers, G. A., Giuse, D. and Szekely, P.: The Importance of Pointer Variables in Constraint Models, Proc. ACM UIST, 1991, pp. 155-164.
58. Vander Zanden, B. T. and Venckus, S. A.: An Empirical Study of Constraint Usage in Graphical Applications, Proc. ACM UIST, 1996.
59. Vander Zanden, B. T.: Optimizing Toolkit-Generated Graphical Interfaces, Proc. ACM UIST, 1994, pp. 157-166.
60. Vander Zanden, B. T. and Halterman, R. L.: Reducing the Storage Requirements of Constraint Dataflow Graphs, Proc. ACM UIST, 1999.
61. Vander Zanden, B. T. and Myers, B.: Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and Behaviors, ACM Trans. Comput. Human Interaction, Vol. 2, No. 4 (1995), pp. 308-356.
62. Wilk, M. R.: Equate: An Object-Oriented Constraint Solver, Proc. ACM OOPSLA, 1991, pp. 286-298.
63. Wilson, M.: Hierarchical Constraint Logic Programming (Ph.D. Dissertation), Technical Report 93-05-01, Dept. of Computer Science and Engineering, University of Washington, 1993.