Tygrys.com - katalog stron : Computers : Programming : Languages : Constraint

---

Znaleziono 38 stron w kategorii Constraint:

Tytuł strony: Advanced Constraint Techniques for User Interface Implementation
Opis strony: 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.
Adres: http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html

Tytuł strony: Book: Foundations of Constraint Satisfaction
Opis strony: Description of book, Academic Press, release 1993: programs from book.
Adres: http://www.bracil.net/edward/FCS.html

Tytuł strony: Book: Programming with Constraints: an Introduction
Opis strony: Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.
Adres: http://www.cs.mu.oz.au/~pjs/book/book.html

Tytuł strony: Brandeis Interval Arithmetic Constraint Solver
Opis strony: Java applet that solves non-linear real arithmetic constraints.
Adres: http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html

Tytuł strony: Cassowary
Opis strony: 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.
Adres: http://www.cs.washington.edu/research/constraints/cassowary/

Tytuł strony: Choco
Opis strony: 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]
Adres: http://choco-solver.net

Tytuł strony: Constraint Handling Rules: CHR
Opis strony: 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.
Adres: http://www.cs.kuleuven.be/~dtai/projects/CHR/

Tytuł strony: Constraint-based Languages and Environments for Building Interactive Systems
Opis strony: Page about Alan Borning, a leading researcher in the field. From NSF conference ISGW '97: Interactive Systems Grantees Workshop.
Adres: http://cslu.cse.ogi.edu/nsf/isgw97/reports/borning.html

Tytuł strony: Constraints: An International Journal
Opis strony: Covering all aspects of computing with constraints; on paper or online; fee required.
Adres: http://www.springer.com/computer/artificial/journal/10601

Tytuł strony: Constraints for the Web
Opis strony: 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.
Adres: http://www.cs.washington.edu/research/constraints/web/mm97.dir/

Tytuł strony: DeltaBlue: Benchmarking Java with Richards and DeltaBlue
Opis strony: 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]
Adres: http://research.sun.com/people/mario/java_benchmarking/

Tytuł strony: DeltaBlue Code Archive
Opis strony: For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.
Adres: ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/

Tytuł strony: DeltaBlue Constraint Solver
Opis strony: Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
Adres: http://www.cs.washington.edu/research/constraints/deltablue/

Tytuł strony: A Differential Approach to Graphical Interaction
Opis strony: 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.
Adres: http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/

Tytuł strony: E-constraints.net
Opis strony: Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.
Adres: http://www.e-constraints.net/

Tytuł strony: FSQP: Feasible Sequential Quadratic Programming
Opis strony: 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.
Adres: http://www.aemdesign.com/FSQPwhatis.htm

Tytuł strony: Garnet: Brad A. Myers
Opis strony: Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.
Adres: http://www.cs.cmu.edu/~bam/

Tytuł strony: Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet
Opis strony: 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.
Adres: http://citeseer.ist.psu.edu/62541.html

Tytuł strony: Garnet Project
Opis strony: 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.
Adres: http://www.cs.cmu.edu/~garnet/

Tytuł strony: Garnet Toolkit FAQ
Opis strony: 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.
Adres: http://www.faqs.org/faqs/garnet-faq/

Tytuł strony: Gecode
Opis strony: 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]
Adres: http://www.gecode.org/

Tytuł strony: Graph Theory and Constraint Programming
Opis strony: University course: definitions, lecture notes, books, language descriptions, links.
Adres: http://www.cs.adfa.edu.au/~gtc/GTC/welcome.html

Tytuł strony: Guide to Constraint Programming
Opis strony: 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.
Adres: http://ktiml.mff.cuni.cz/~bartak/constraints/

Tytuł strony: GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces
Opis strony: 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, the sequence in which events are handled.
Adres: http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/plan22.html

Tytuł strony: ICOT Free Software
Opis strony: Free constraint software developed by Institute for New Generation Computer Technology (ICOT), Japan: Constraint MGTP (CMGTP) model generation theorem prover (MGTP), MGTP-G, KLIC, some cu-Prologs, and documents. FTP site.
Adres: ftp://ftp.icot.or.jp/ifs/

Tytuł strony: ILOG CP
Opis strony: Constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching and resource-allocation applications with logical constraints.
Adres: http://www.ilog.com/products/cp/

Tytuł strony: Koalog Constraint Solver
Opis strony: 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 and set domains, global constraints. KCS also includes a local search solver useful for solving problems when exact methods are too slow.
Adres: http://www.koalog.com/php/jcs.php

Tytuł strony: MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
Opis strony: ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
Adres: http://citeseer.ist.psu.edu/bessiere96mac.html

Tytuł strony: Natural Programming
Opis strony: Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Development of Software. School of Computer Science, Carnegie Mellon University; NSF funded.
Adres: http://www.cs.cmu.edu/~NatProg/

Tytuł strony: Omega Project
Opis strony: Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.
Adres: http://www.cs.umd.edu/projects/omega/

Tytuł strony: Pascal Van Hentenryck
Opis strony: Brown University, US. Some constraint papers.
Adres: http://www.cs.brown.edu/people/pvh/

Tytuł strony: ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
Opis strony: 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.
Adres: http://citeseer.ist.psu.edu/lopez93kaleidoscope.html

Tytuł strony: Seventh International Conference on Principles and Practice of Constraint Programming
Opis strony: 2001 November 26 - December 1, Paphos, Cyprus.
Adres: http://www2.cs.ucy.ac.cy/~iclpcp01/CP01home.html

Tytuł strony: StarFLIP++
Opis strony: Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
Adres: http://www.dbai.tuwien.ac.at/proj/StarFLIP/

Tytuł strony: Techno-Pulsar
Opis strony: Potent new optimization technology for multidimensional optimization practical problems with continuous, breaking nondifferentiative and stochastic goal functions, 100 or more variables, cuts the cost and time to creation of new technical systems.
Adres: http://www.orc.ru/~pulsar/

Tytuł strony: ThingLab - A Constraint-Oriented Simulation Laboratory
Opis strony: Book by Alan Borning.
Adres: http://www.2share.com/thinglab/ThingLab%20-%20index.html

Tytuł strony: ThingLabII: Constraint-based user interfaces
Opis strony: 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, extensible set of primitive user interface building blocks.
Adres: http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html

Tytuł strony: University of Washington: Constraint-Based Systems
Opis strony: Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.
Adres: http://www.cs.washington.edu/research/constraints/

---

eMAX plus liceum zaoczne warszawa przelaty Hoteles en Lyon Systemy cam

Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

Zapraszamy do Globalnego Katalogu Stron - największy zbiór stron w sieci
Niespokojny | internetowy sklep nurkowy | emerytury | ślub | mieszkania wrocław