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. ...
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
College of Engineering and Mathematics (EM)
Reference - Education - Colleges and Universities - North America - United States - Vermont - University of Vermont - Departments and Programs - College of Engineering and Mathematics. Profile, admiss ...
www.uvm.edu
Mathematics
Reference - Dictionaries - By Subject - Science - Mathematics. Terms related to mathematics and statistics. Site offers several dictionaries from this field. ...
dictionary.babylon.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
Mathematics
Reference - Education - Colleges and Universities - North America - Canada - Ontario - Ryerson University - Departments and Programs. Offers and undergraduate program in Mathematics and its Applicatio ...
www.math.ryerson.ca
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. ...
Mathematics
Center and sponsors a mathematics club. ...
math.georgetown.edu
Mathematics
Reference - Education - Colleges and Universities - Europe - United Kingdom - Wales - Swansea University - Departments and Programs. Degree schemes and courses reflecting individual preferences and sh ...
www-maths.swan.ac.uk
Mathematics
Reference - Education - Colleges and Universities - North America - United States - Arkansas - University of Arkansas - Fayetteville - Departments and Programs - Fulbright College of Arts and Sciences ...
math.uark.edu
The Mathematics
Reference - Education - Colleges and Universities - North America - United States - Delaware - University of Delaware. Helping Delaware's K-12 mathematics and science teachers implement new content an ...
www.udel.edu
Mathematics
Reference - Education - Colleges and Universities - North America - United States - Mississippi - University of Mississippi - Departments and Programs - College of Liberal Arts. Syllabi, course inform ...
www.olemiss.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
ECLiPSe: The ECRC Constraint Logic Parallel System
Computers - Programming - Languages - Logic-based - Constraint Logic. Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowledge base, constraint-handling facilities and parallelism. Runs on Unix/Linux, beta version for Windows 9x/NT/2000 ...
www.win.tue.nl
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. ...
University of Bergen: Faculty of Mathematics and Natural Sciences
Reference - Education - Colleges and Universities - Europe - Norway - University of Bergen - Departments and Programs - Faculty of Mathematics and Natural Sciences. General information about the facul ...
top
