PRIDE: An Expert System for the Design of Paper Handling Systems
Computer - Special issue on expert systems in engineering
Constraint-based tools for building user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
The filter browser defining interfaces graphically
European conference on object-oriented programming on ECOOP '87
Specification and generation of constraint satisfaction systems
Specification and generation of constraint satisfaction systems
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
A High-Level Language for Specifying Pictures
ACM Transactions on Graphics (TOG)
The Definition and Implementation of a Computer Programming Language Based on Constraints
The Definition and Implementation of a Computer Programming Language Based on Constraints
Algebraic constraints
Constraint-based animation: temporal constraints in the animus system
Constraint-based animation: temporal constraints in the animus system
A smalltalk window system based on constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
A module mechanism for constraints in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
An incremental constraint solver
Communications of the ACM
Kaleidoscope: mixing objects, constraints, and imperative programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Interactive specification of flexible user interface displays
ACM Transactions on Information Systems (TOIS)
A general framework for visualizing abstract objects and relations
ACM Transactions on Graphics (TOG)
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
COCS '91 Proceedings of the conference on Organizational computing systems
ConstraintLisp: an object-oriented constraint programming language
ACM SIGPLAN Notices
Constraint patterns as a basis for object oriented programming
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Reasoning about naming systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
VB2: an architecture for interaction in synthetic worlds
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 9th annual ACM symposium on User interface software and technology
Constraint-based user interfaces for simulations
WSC '88 Proceedings of the 20th conference on Winter simulation
Using model dataflow graphs to reduce the storage requirements of constraints
ACM Transactions on Computer-Human Interaction (TOCHI)
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
A Constraint-Satisfaction Approach to Clerical Work
IEEE Intelligent Systems
Acquiring Graphic Design Knowledge with Nonmonotonic Inductive Learning
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
A Hybrid Framework for Over-Constrained Generalized
Artificial Intelligence Review
A hybrid framework for over-constrained generalized resource-constrained project scheduling problems
Artificial Intelligence Review
Property models: from incidental algorithms to reusable components
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Animation using temporal constraints: an overview of the animus system
Human-Computer Interaction
Algorithms for user interfaces
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Partial constraint satisfaction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Diagnosing and solving over-determined constraint satisfaction problems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
INFORMS Journal on Computing
HIS: hierarchical solver for over-constrained satisfaction problems
TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
| Hi-index | 0.02 |
Constraints describe relations that must be maintained, and provide a useful tool for such applications as interactive simulations, algorithm animation, and graphical user interface construction. We describe a major overhaul and extension to the constraint satisfaction mechanism in ThingLab, a constraint-oriented simulation laboratory written in the Smalltalk-80 language. First, a specification is presented of constraint hierarchies. Such hierarchies include both required constraints and default constraints of differing strengths, thus adding considerable expressive power to the system. Second, an algorithm for satisfying constraint hierarchies is described. The new satisfier is substantially faster than the previous version, even though it also includes new functionality.