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
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. ...
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. ...
Reef Check
Science - Biology - Ecology - Ecosystems - Marine - Coral Reefs. Trains volunteers to carry out reef check surveys -- online papers and manuals, details of sites and results. ...
www.reefcheck.org
ISBN Check
Reference - Libraries - Library and Information Science - Technical Services - Cataloguing - Authority Control. Form for checking International Standard Book Numbers for correct length, format, checks ...
www.isbn-check.com
National Check Fraud Center
Society - Law - Legal Information - Fraud. Learn about and report check fraud. ...
www.ckfraud.org
Check Point Certification Information
Computers - Education - Certification - Check Point. Overview on becoming CCSA and CCSE certified, training course list, and exam structures. ...
www.checkpoint.com
Donald Knuth's Reward Check
Computers - Software - Typesetting - TeX. An example of a reward check by DEK and how to get one. ...
truetex.com
Documented Reference Check
Business - Employment - Careers - Job References. Uses certified court reporters to check employment references, so you can learn what former employers say in the form of a document admissible in court. ...
www.badreferences.com
Fortran Source Check
Computers - Programming - Languages - Fortran - Tools - Code Analysis. Produces compile-time diagnostics of Fortran code using the Lahey/Fujitsu Fortran 95, Lahey Fortran 90, or Essential Lahey Fortra ...
www.lahey.com
CPUG: The Check Point User Group
Computers - Security - Firewalls - FAQs, Help, and Tutorials. A group for Check Point Firewall-1 users and implementers. Contains the Check Point Wikipedia, discussion groups and other useful information. ...
www.cpug.org
TV Guide Online: Blank Check
Arts - Movies - Titles - B - Blank Check. Includes review, plot, and cast list. ...
top
