Search The Directory The Web for Home > Computers > Programming > Languages > Constraint New! Submit a site   Categories: Amulet *(2) Oz *(2) Constraint Logic *(16) Prolog *(46) JSolver *(50) SEL *(9) LIFE *(9) Screamer *(319)     whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   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.   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.   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.   BackTalk - Object-oriented library for constraint satisfaction: constraint solver written in Smalltalk-80: written as a library of classes to solve finite domains constraint satisfaction problems. Implements constraint satisfaction, not local constraint propagation; aimed at solving combinatorial problems.   Book: Foundations of Constraint Satisfaction - Description of book, Academic Press, release 1993: programs from book.   Book: Principles and Practice of Constraint Programming - Description of book, MIT Press: collection of 23 original papers is first effort to assemble the work of constraint programming researchers scattered across the world in multiple disciplines.   Book: Programming with Constraints: an Introduction - Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.   Brandeis Interval Arithmetic Constraint Solver - Java applet that solves non-linear real arithmetic constraints.   CON'FLEX - C++ solver that solves fuzzy constraint satisfaction problems with finite domain variables, and interval (continuous) variables; and can represent mixed constraints, with finite domain variables and continuous variables.   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.   Computer Support in the Design of Mechanical Products - Constraint specification and satisfaction in feature based design for manufacturing. Ph.D. thesis.   Conference: Practical Application of Constraint Technology Conferences - Demonstrate application of Constraints and Constraint Logic Programming to industrial problems.   Conference: Practical Application of Constraint Technology Conferences: PACLP 2000   Conference: Seventh International Conference on Principles and Practice of Constraint Programming - 2001 November 26 - December 1, Paphos, Cyprus.   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.   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.   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.   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, via Kluwer Online; fee required.   DeltaBlue Constraint Solver - Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.     [ 1 2 3 ] Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek