Thinglab--a constraint-oriented simulation laboratory.
- Author:
- Alan Hamilton Borning
Abstract
No abstract available.
Cited By
Weiher M and Hirschfeld R Constraints as polymorphic connectors Proceedings of the 15th International Conference on Modularity, (134-145)- Borning A Constraints and modularity (keynote) Companion Proceedings of the 15th International Conference on Modularity, (1-1)
- Samimi H, Warth A, Eslamimehr M and Borning A Constraints as a design pattern 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), (28-43)
- LaViola Jr. J (2007). Advances in Mathematical Sketching, IEEE Computer Graphics and Applications, 27:1, (38-48), Online publication date: 1-Jan-2007.
- LaViola J An initial evaluation of a pen-based tool for creating dynamic mathematical illustrations ACM SIGGRAPH 2007 courses, (47-es)
- LaViola J and Zeleznik R MathPad2 ACM SIGGRAPH 2007 courses, (46-es)
- Huot S, Dragicevic P and Dumas C Flexibilité et modularité pour la conception d'interactions Proceedings of the 18th Conference on l'Interaction Homme-Machine, (43-50)
- LaViola J and Zeleznik R MathPad2 ACM SIGGRAPH 2006 Courses, (33-es)
- La Viola J An initial evaluation of a pen-based tool for creating dynamic mathematical illustrations Proceedings of the Third Eurographics conference on Sketch-Based Interfaces and Modeling, (157-164)
- Dragicevic P and Fekete J Support for input adaptability in the ICON toolkit Proceedings of the 6th international conference on Multimodal interfaces, (212-219)
- Huot S, Dumas C, Dragicevic P, Fekete J and Hégron G The MaggLite post-WIMP toolkit Proceedings of the 17th annual ACM symposium on User interface software and technology, (257-266)
- LaViola J and Zeleznik R MathPad2 ACM SIGGRAPH 2004 Papers, (432-440)
- LaViola J and Zeleznik R (2004). MathPad2, ACM Transactions on Graphics, 23:3, (432-440), Online publication date: 1-Aug-2004.
- Gray P and Welland R Increasing the flexibility of modelling tools via constraint-based specification Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
- Kwaiter G, Gaildrat V and Caubet R Interactive constraint system for solid modeling objects Proceedings of the fourth ACM symposium on Solid modeling and applications, (265-270)
- Hudson S and Smith I Ultra-lightweight constraints Proceedings of the 9th annual ACM symposium on User interface software and technology, (147-155)
- Saraswat V, Jagadeesan R and Gupta V Default timed concurrent constraint programming Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (272-285)
- Okada Y and Tanaka Y IntelligentBox Proceedings of the Computer Animation
- Anderl R and Mendgen R Parametric design and its impact on solid modeling applications Proceedings of the third ACM symposium on Solid modeling and applications, (1-12)
- Vander Zanden B Optimizing toolkit-generated graphical interfaces Proceedings of the 7th annual ACM symposium on User interface software and technology, (157-166)
- Ramalingam G and Reps T A categorized bibliography on incremental computation Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (502-510)
- Kramer G Using degrees of freedom analysis to solve geometric constraint systems Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, (371-378)
- Freeman-Benson B, Maloney J and Borning A (1990). An incremental constraint solver, Communications of the ACM, 33:1, (54-63), Online publication date: 3-Jan-1990.
- Pentland A Computational complexity versus virtual worlds Proceedings of the 1990 symposium on Interactive 3D graphics, (185-192)
- Pentland A (1990). Computational complexity versus virtual worlds, ACM SIGGRAPH Computer Graphics, 24:2, (185-192), Online publication date: 1-Mar-1990.
- Douglas S, Doerry E and Novick D Quick: a user-interface design kit for non-programmers Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology, (47-56)
- Kramer G Solving geometric constraint systems Proceedings of the eighth National conference on Artificial intelligence - Volume 1, (708-714)
- Ericson L and Yap C The design of LINETOOL, a geometric editor Proceedings of the fourth annual symposium on Computational geometry, (83-92)
- Grossman M and Ege R Logical composition of object-oriented interfaces Conference proceedings on Object-oriented programming systems, languages and applications, (295-306)
- Grossman M and Ege R (1987). Logical composition of object-oriented interfaces, ACM SIGPLAN Notices, 22:12, (295-306), Online publication date: 1-Dec-1987.
- Duisberg R (1987). Animation using temporal constraints, Human-Computer Interaction, 3:3, (275-307), Online publication date: 1-Sep-1987.
- Rubin R Language constructs for programming by example Proceedings of the third ACM-SIGOIS conference on Office information systems, (92-103)
- Rubin R (1986). Language constructs for programming by example, ACM SIGOIS Bulletin, 7:2-3, (92-103), Online publication date: 1-Dec-1986.
- Duisberg R (1986). Animated graphical interfaces using temporal constraints, ACM SIGCHI Bulletin, 17:4, (131-136), Online publication date: 1-Apr-1986.
- Duisberg R Animated graphical interfaces using temporal constraints Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (131-136)
- Borning A (1986). Graphically defining new building blocks in ThingLab, Human-Computer Interaction, 2:4, (269-295), Online publication date: 1-Dec-1986.
- Cointe P and Rodet X Formes Proceedings of the 1984 ACM Symposium on LISP and functional programming, (85-95)
- Morgenstern M Constraint Equations Proceedings of the 10th International Conference on Very Large Data Bases, (291-300)
- Morgenstern M Active Databases as a Paradigm for Enhanced Computing Environments Proceedings of the 9th International Conference on Very Large Data Bases, (34-42)
- Rychener M (1981). Knowledge-based expert systems, ACM SIGART Bulletin:78, (17-18), Online publication date: 1-Oct-1981.
- Van Wyk C A graphics typesetting language Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation, (99-107)
- Van Wyk C (1981). A graphics typesetting language, ACM SIGPLAN Notices, 16:6, (99-107), Online publication date: 1-Jun-1981.
- Deutsch L (1980). Constraints, ACM SIGPLAN Notices, 16:1, (118-120), Online publication date: 1-Jan-1981.
- Deutsch L (1980). Constraints, ACM SIGMOD Record, 11:2, (118-120), Online publication date: 1-Feb-1981.
- Deutsch L (1980). Constraints, ACM SIGART Bulletin:74, (118-120), Online publication date: 1-Jan-1981.
- Van Wyk C (1981). A graphics typesetting language, ACM SIGOA Newsletter, 2:1-2, (99-107), Online publication date: 1-Apr-1981.
- Deutsch L Constraints Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (118-120)
Recommendations
Solving dynamic constraint optimization problems using ICHEA
ICONIP'12: Proceedings of the 19th international conference on Neural Information Processing - Volume Part IIIMany real-world constrained problems have a set of predefined static constraints that can be solved by evolutionary algorithms (EAs) whereas some problems have dynamic constraints that may change over time or may be received by the problem solver at run ...
Qualitative simulation as a temporally-extended constraint satisfaction problem
AAAI '98/IAAI '98: Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligenceTraditionally, constraint satisfaction problems (CSPs) are characterized using a finite set of constraints expressed within a common, shared constraint language. When reasoning across time, however, it is possible to express both temporal and state-...