Constraints for the Web
Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author and viewer, via solving all the constraints.
Constraints: An International Journal
Covering all aspects of computing with constraints; on paper or online; fee required.
Constraint-based Languages and Environments for Building Interactive Systems
Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.
Constraint Handling Rules: CHR
High-level programming language to write constraint systems; makes it easy to define constraint reasoning: simplification and propagation, and incremental solving (satisfaction) of constraints. Run and test CHR online; do a demo, try it now.
Choco
Java library for constraint satisfaction problems (CSP), constraint programming (CP), explanation-based constraint solving (e-CP). Built on event-based propagation mechanism with backtrackable structures. [Open Source, BSD]
Cassowary
Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have values that satisfy the constraints.
Brandeis Interval Arithmetic Constraint Solver
Java applet that solves non-linear real arithmetic constraints.
Book: Programming with Constraints: an Introduction
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.
Book: Foundations of Constraint Satisfaction
Description of book, Academic Press, release 1993: programs from book.
Automated Construction of Virtual Worlds Using Modeling Constraints
Designing and specifying 3D scenes is a tedious, time consuming process that often degenerates into trial and error. We propose a new way to form virtual worlds based on geometric modeling constraints and higher-level modeling abstractions.
[ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]
|
