Numerical recipes in Pascal: the art of scientific computing
Numerical recipes in Pascal: the art of scientific computing
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multi-way versus one-way constraints in user interfaces: experience with the DeltaBlue algorithm
Software—Practice & Experience
Lisp and Symbolic Computation
Fast contact force computation for nonpenetrating rigid bodies
SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Incremental constraint deletion in systems of linear constraints
Information Processing Letters
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
The Amulet user interface development environment
Conference Companion on Human Factors in Computing Systems
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
Constraint cascading style sheets for the Web
Proceedings of the 12th annual ACM symposium on User interface software and technology
A constraint extension to scalable vector graphics
Proceedings of the 10th international conference on World Wide Web
The LPSAT Engine & Its Application to Resource Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Constraint-based document layout for the Web
Multimedia Systems - Special issue: Multimedia authoring and presentation techniques
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Adaptive grid-based document layout
ACM SIGGRAPH 2003 Papers
Evaluation of visual balance for automated layout
Proceedings of the 9th international conference on Intelligent user interfaces
GADGET: a toolkit for optimization-based approaches to interface and display generation
Proceedings of the 16th annual ACM symposium on User interface software and technology
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
Modeling and detecting the cascade vulnerability problem using soft constraints
Proceedings of the 2004 ACM symposium on Applied computing
Qualitative decision making in adaptive presentation of structured information
ACM Transactions on Information Systems (TOIS)
Mobile adaptive tasks guided by resource contracts
MPAC '04 Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing
Simplify: a theorem prover for program checking
Journal of the ACM (JACM)
Solving linear and one-way constraints for web document layout
Proceedings of the 2005 ACM symposium on Applied computing
High-level declarative user interfaces
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Preference elicitation for interface optimization
Proceedings of the 18th annual ACM symposium on User interface software and technology
A framework for structure, layout & function in documents
Proceedings of the 2005 ACM symposium on Document engineering
User interface layout with ordinal and linear constraints
AUIC '06 Proceedings of the 7th Australasian User interface conference - Volume 50
Information distance and orientation in liquid layout
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Automated reverse engineering of hard-coded GUI layouts
AUIC '08 Proceedings of the ninth conference on Australasian user interface - Volume 76
Adaptive layout for dynamically aggregated documents
Proceedings of the 13th international conference on Intelligent user interfaces
AVI '08 Proceedings of the working conference on Advanced visual interfaces
Higher-level layout through topological abstraction
Proceedings of the eighth ACM symposium on Document engineering
Adaptive Layout for Interactive Documents
SG '08 Proceedings of the 9th international symposium on Smart Graphics
Smooth Linear Approximation of Non-overlap Constraints
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction: Design Centered HCI
Service-Interaction Descriptions: Augmenting Services with User Interface Models
Engineering Interactive Systems
An efficient online auditing approach to limit private data disclosure
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT($\mathcal{LIA}$)
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
Which Soft Constraints do you Prefer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavior-Sensitive User Interfaces for Smart Environments
ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
Solving finite domain constraint hierarchies by local consistency and tree search
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Active layout engine: Algorithms and applications in variable data printing
Computer-Aided Design
Combination of convex theories: Modularity, deduction completeness, and explanation
Journal of Symbolic Computation
On locally minimal Nullstellensatz proofs
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
Solving linear constraints over real and rational fields
Cybernetics and Systems Analysis
Adjustable context adaptations for user interfaces at runtime
Proceedings of the International Conference on Advanced Visual Interfaces
Designing self-healing in automotive systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Probabilistic document model for automated document composition
Proceedings of the 11th ACM symposium on Document engineering
Semantic adaptation of multimedia documents
Multimedia Tools and Applications
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
A fast linear-arithmetic solver for DPLL(T)
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Building efficient decision procedures on top of SAT solvers
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Constraint solving for beautiful user interfaces: how solving strategies support layout aesthetics
Proceedings of the 13th International Conference of the NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction
Comparing the usability of grid-bag and constraint-based layouts
Proceedings of the 24th Australian Computer-Human Interaction Conference
Efficient top-k query answering using cached views
Proceedings of the 16th International Conference on Extending Database Technology
Compiling mockups to flexible UIs
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A mixed-initiative tool for designing level progressions in games
Proceedings of the 26th annual ACM symposium on User interface software and technology
Hi-index | 0.00 |
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring that a pane occupy the leftmost third of a window, or preferring that an object be contained within a rectangle if possible. Previous constraint solvers designed for user interface applications cannot handle simultaneous linear equations and inequalities efficiently. This is a major limitation, as such systems of constraints arise often in natural declarative specifications. We describe Cassowary---an incremental algorithm based on the dual simplex method, which can solve such systems of constraints efficiently. We have implemented the algorithm as part of a constraint-solving toolkit. We discuss the implementation of the toolkit, its application programming interface, and its performance.