Practical methods of optimization; (2nd ed.)
Practical methods of optimization; (2nd ed.)
Arithmetic equality constraints as C++ statements
Software—Practice & Experience
Lisp and Symbolic Computation
Incremental constraint deletion in systems of linear constraints
Information Processing Letters
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Automatic construction of intelligent diagram editors
Proceedings of the 11th annual ACM symposium on User interface software and technology
Constraints
Locally Simultaneous Constraint Satisfaction
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Automatic construction of user interfaces from constraint multiset grammars
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Constraint-Based Diagram Beautification
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Automatic generation of intelligent diagram editors
ACM Transactions on Computer-Human Interaction (TOCHI)
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Comparing usability of one-way and multi-way constraints for diagram editing
ACM Transactions on Computer-Human Interaction (TOCHI)
Automated reverse engineering of hard-coded GUI layouts
AUIC '08 Proceedings of the ninth conference on Australasian user interface - Volume 76
Proceedings of the eighth ACM symposium on Document engineering
A Generic Layout Algorithm for Meta-model Based Editors
Applications of Graph Transformations with Industrial Relevance
Towards flexible graphical communication using adaptive diagrams
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
| Hi-index | 0.00 |
We describe an object-oriented constraint solving toolkit, QOCA, designed for interactive graphical applications. It has a simple yet powerful interface based on the imetric space model for constraint manipulation. In this model interaction with the constraint solver can occur in three ways: a constraint may be added, a constraint may be deleted, or values for designated “edit” variables may be suggested. Currently, QOCA supports linear arithmetic constraints and two different metrics: the square of the Euclidean distance and Manhattan distance. It provides three solvers, all of which rely on keeping the constraints in solved form and relies on novel algorithms for efficient resolving of constraints during direct manipulation. We provide a thorough evaluation of QOCA, both of the interface design and the speed of constraint solving.