- A Differential Approach to Graphical Interaction
The ad hoc manner in which direct manipulation interfaces have been designed and implemented restricts the types of interactive controls. This dissertation presents a new approach for a systematic method to implement flexible, combinable interactive controls.
http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Advanced Constraint Techniques for User Interface Implementation
Project to develop and explore using advanced constraint methods to make user interface software. Constraints as a general computational technique allow declaring a set of relationships between entities. A constraint satisfaction system is employed to automatically ensure that the relationships hold under changing conditions.
http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Artelys Kalis
Extensible constraint programming framework for fast solving of many kinds of combinatorial problems: schedules, timetables, resource allocation, network design, etc. Define constraints and heuristics. As C++ library or Java package. Port to Xpress-Mosel environment gives easy-to-use modeling.
http://www.artelys.com/eng/products/kalis/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://www.student.seas.gwu.edu/~rohrer/auto-modeling-report
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Book: Foundations of Constraint Satisfaction
Description of book, Academic Press, release 1993: programs from book.
http://cswww.essex.ac.uk/CSP/edward/FCS.html
(Added: Sat Apr 01 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Book: Programming with Constraints: an Introduction
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.
http://www.cs.mu.oz.au/~pjs/book/book.html
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Brandeis Interval Arithmetic Constraint Solver
Java applet that solves non-linear real arithmetic constraints.
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
(Added: Sat Apr 01 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://www.cs.washington.edu/research/constraints/cassowary/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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]
http://choco.sourceforge.net/
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://cslu.cse.ogi.edu/nsf/isgw97/reports/borning.html
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Constraints Archive
Holds comp.constraints FAQ, pages of constraint-related pointers, source code for various systems, benchmarks, directory of people interested in constraints, constraint bibliographies, collection of online papers, extensive links. Clearly the product of much work.
http://4c.ucc.ie/web/archive/index.jsp
(Added: Thu Apr 06 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- 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.
http://www.cs.washington.edu/research/constraints/web/mm97.dir/
(Added: Sat Apr 01 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Constraints: An International Journal
Covering all aspects of computing with constraints; on paper or online; fee required.
http://www.springer.com/sgw/cda/frontpage/0,,5-0-70-35487134-detailsPage=journal%7cdescription%7cdescription,00.html
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- DeltaBlue Code Archive
For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.
ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- DeltaBlue Constraint Solver
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
http://www.cs.washington.edu/research/constraints/deltablue/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- DeltaBlue: Benchmarking Java with Richards and DeltaBlue
Constraint solver benchmark, in Java; about 1000 lines of code. DeltaBlue first implemented by John Maloney at University of Washington, translated to many languages: C, C++, Java; Smalltalk. [Sun Microsystems Labs]
http://research.sun.com/people/mario/java_benchmarking/
(Added: Mon Apr 03 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- E-constraints.net
Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.
http://www.e-constraints.net/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- FSQP: Feasible Sequential Quadratic Programming
By AEM Design: a source code for minimizing the maximum of a set of smooth objective functions subject to general smooth constraints. Two versions, written in portable: Fortran 77 (FFSQP), standard C (CFSQP). Both are tested and run on most platforms.
http://www.aemdesign.com/FSQPwhatis.htm
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Garnet Project
Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School of Computer Science, Carnegie Mellon University. Free: public domain.
http://www.cs.cmu.edu/~garnet/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Garnet Toolkit FAQ
Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group, Human-Computer Interaction Institute, Carnegie Mellon University.
http://www.faqs.org/faqs/garnet-faq/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Garnet: Brad A. Myers
Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.
http://www.cs.cmu.edu/~bam/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet
ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding support for multi-way constraints and hierarchies.
http://citeseer.ist.psu.edu/62541.html
(Added: Fri Mar 31 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Gecode
Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variables, large constraint set, copying-based search. [Open Source, BSD]
http://www.gecode.org/
(Added: Wed Apr 05 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
- Graph Theory and Constraint Programming
University course: definitions, lecture notes, books, language descriptions, links.
http://www.cs.adfa.edu.au/~gtc/GTC/
(Added: Thu Mar 30 2006 Rating: 0.00 Votes: 0)
Rate It
Review It
