Constraint propagation with interval labels
Artificial Intelligence
An incremental constraint solver
Communications of the ACM
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint reasoning based on interval arithmetic: the tolerance propagation approach
Artificial Intelligence - Special volume on constraint-based reasoning
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
A graphics toolkit based on differential constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
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
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
Proceedings of the 9th annual ACM symposium on User interface software and technology
The Amulet Environment: New Models for Effective User Interface Software Development
IEEE Transactions on Software Engineering
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
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
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
GD '96 Proceedings of the Symposium on Graph Drawing
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
MidiSpace: a temporal constraint-based music spatializer
MULTIMEDIA '98 Proceedings of the sixth ACM international conference on Multimedia
The Cassowary linear arithmetic constraint solving algorithm
ACM Transactions on Computer-Human Interaction (TOCHI)
Modeling constraint-based negotiating agents
Decision Support Systems - Special issue: Decision support systems: Directions for the next decade
Constraint-Based Facial Animation
Constraints
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
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
3D scene manipulation with 2D devices and constraints
GRIN'01 No description on Graphics interface 2001
HIS: hierarchical solver for over-constrained satisfaction problems
TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
On the utility of semantic constraints
EGVE'01 Proceedings of the 7th Eurographics conference on Virtual Environments & 5th Immersive Projection Technology
| Hi-index | 0.00 |
Ultraviolet is a constraint satisfaction algorithm intendedfor use in interactive graphical applications. It is capableof solving constraints over arbitrary domains using local propagation,and inequality constraints and simultaneous linear equationsover the reals. To support this, Ultraviolet is a hybrid algorithmthat allows different subsolvers to be used for different partsof the constraint graph, depending on graph topology and kindof constraints. In addition, Ultraviolet and its subsolvers supportplan compilation, producing efficient compiled code that canbe evaluated repeatedly to resatisfy a given collection of constraintsfor different input values.