Constraint Handling Rules: CHR
Computers - Programming - Languages - Constraint. 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. ...
www.cs.kuleuven.be
Guide to Constraint Programming
Computers - Programming - Languages - Constraint. Online tutorial/textbook for beginners to the area of constraint programming. This area is of the set of less known software technologies, but is evolving rapidly and has a growing, significant commercial interest. ...
ktiml.mff.cuni.cz
DeltaBlue Constraint Solver
Computers - Programming - Languages - Constraint. Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site. ...
www.cs.washington.edu
Book: Foundations of Constraint Satisfaction
Computers - Programming - Languages - Constraint. Description of book, Academic Press, release 1993: programs from book. ...
www.bracil.net
Graph Theory and Constraint Programming
Computers - Programming - Languages - Constraint. University course: definitions, lecture notes, books, language descriptions, links. ...
www.cs.adfa.edu.au
Constraint Logic Programming: CLP
Computers - Programming - Languages - Logic-based - Constraint Logic. Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. ...
www.ofai.at
Koalog Constraint Solver
Computers - Programming - Languages - Constraint. Java library for constraint programming. Provides technology for solving satisfaction and optimization problems including: scheduling, planning, routing, time tabling, resource allocation, and configuration. KCS includes a solver on boolean, integer ...
www.koalog.com
ThingLabII: Constraint-based user interfaces
Computers - Programming - Languages - Constraint. Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable objects called things. Incremental constraint satisfier, module compiler, construction-set style user interface, many tools ...
www.cs.cmu.edu
University of Washington: Constraint-Based Systems
Computers - Programming - Languages - Constraint. Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals. ...
www.cs.washington.edu
ResearchIndex: Hierarchical Constraint Logic Programming
Computers - Programming - Languages - Logic-based - Constraint Logic. A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints ...
citeseerx.ist.psu.edu
Advanced Constraint Techniques for User Interface Implementation
Computers - Programming - Languages - Constraint. 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 ...
cslu.cse.ogi.edu
ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
Computers - Programming - Languages - Constraint. The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects. ...
citeseerx.ist.psu.edu
A Comparative Study of Eight Constraint Programming Languages
Computers - Programming - Languages - Logic-based - Constraint Logic. Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that concerning reification and meta-constraints. ...
www.comp.leeds.ac.uk
GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces
Computers - Programming - Languages - Constraint. Building a user-friendly Graphical User Interface (GUI) with languages like C++ or Java is difficult and time-consuming, because such languages demand specifying many details about the geometric data of layout, the sequence in which items are displayed ...
www.icot.or.jp
Constraint Satisfaction Problems
Computers - Computer Science - Theoretical - Complexity Theory. Research group in the Computing Laboratory, Oxford University. ...
www.comlab.ox.ac.uk
Geometric Constraint Solving
Science - Math - Publications - Online Texts. An electronic primer by William Bouma, Xiangping Chen, Ioannis Fudos, Christoph Hoffmann, and Pamela J. Vermeer. ...
www.cs.purdue.edu
Einstein Constraint Equations
Science - Physics - Mathematical Physics - Events - Past Events. Isaac Newton Institute, Cambridge, UK; 12--16 December 2005. ...
www.newton.ac.uk
Swedish Constraint Grammar: A Short Presentation
Science - Social Sciences - Linguistics - Languages - Natural - Indo-European - Germanic - Swedish. A system for part-of-speech disambiguation and shallow syntactic analysis of running Swedish text. ...
www.lingsoft.fi
UML 1.1 Object Constraint Language Specification
Computers - Programming - Methodologies - Modeling Languages - Unified Modeling Language - Reference. Defines the OCL, which is used to specify the well-formedness of the UML, by Rational. ...
www.omg.org
Constraints Archive
Computers - Programming - Languages - Constraint. 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, links. Clearly the product of much work ...
4c.ucc.ie
top
