Numerical recipes: the art of scientific computing
Numerical recipes: the art of scientific computing
Practical methods of optimization; (2nd ed.)
Practical methods of optimization; (2nd ed.)
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
A linear constraint technology for interactive graphic systems
Proceedings of the conference on Graphics interface '92
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
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
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Introduction to Constraint Logic Programming
Introduction to Constraint Logic Programming
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
GD '96 Proceedings of the Symposium on Graph Drawing
Sketch pad a man-machine graphical communication system
DAC '64 Proceedings of the SHARE design automation workshop
Automatic construction of user interfaces from constraint multiset grammars
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
A negotiation architecture for fluid documents
Proceedings of the 11th annual ACM symposium on User interface software and technology
Automatic construction of intelligent diagram editors
Proceedings of the 11th annual ACM symposium on User interface software and technology
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
A modular geometric constraint solver for user interface applications
Proceedings of the 14th annual ACM symposium on User interface software and technology
The Cassowary linear arithmetic constraint solving algorithm
ACM Transactions on Computer-Human Interaction (TOCHI)
A geometric constraint library for 3D graphical applications
Proceedings of the 2nd international symposium on Smart graphics
Dynamic approximation of complex graphical constraints by linear constraints
Proceedings of the 15th annual ACM symposium on User interface software and technology
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Introduction to the Special Issue
Constraints
Pervasive Application Development and the WYSIWYG Pitfall
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Animating Spatiotemporal Constraint Databases
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Scalable Linear Constraint Solver for User Interface Construction
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraints for Interactive Graphical Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Disjunctive Constraints for Interactive Graphical Applications
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Constraint-based document layout for the Web
Multimedia Systems - Special issue: Multimedia authoring and presentation techniques
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
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Flexible timeline user interface using constraints
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
User interface layout with ordinal and linear constraints
AUIC '06 Proceedings of the 7th Australasian User interface conference - Volume 50
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
Journal of Automated Reasoning
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
Graphical Concrete Syntax Rendering with SVG
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Smooth Linear Approximation of Non-overlap Constraints
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Automatically generating personalized user interfaces with Supple
Artificial Intelligence
An incremental and layered procedure for the satisfiability of linear arithmetic logic
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Lemma learning in SMT on linear constraints
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
The auckland layout editor: an improved GUI layout specification process
Proceedings of the 26th annual ACM symposium on User interface software and technology
KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Hi-index | 0.00 |