jasminecorp.net directory Cannot open jcsearch.dbCannot open jcsearch_time.db
Updated Blogs
More .....



 
 

| Add Search | Advertise With JCSearch | Suggest a Site

Search the Web


Search Results

Constraint
Directory > Computers > Programming > Languages > Constraint

Breeders (10) Cat Power (8) Cohen, Adam (4)
Clubs (4) Cause and Effect (2) Cohn, Marc (2)
Accessories (18) Cave, Nick (24) Coil (7)
Longaberger (20) Caviar (2) Cold (4)
Arts and Entertainment (7) Ceberano, Kate (3) Coldplay (28)
Business and Economy (22) Cee-Lo (2) Cold Chisel (5)
Counties (133) Celtic Frost (2) Cole, Holly (4)
Education (3) Celtic Legacy (4) Cole, Jude (2)
Government (47) Celtus (2) Cole, Lloyd (3)
Health (6) Cerbone, Lisa (2) Cole, Natalie (8)
Localities (1846) Certain Ratio, A (4) Cole, Nat King (8)
Maps and Views (8) Chad and Jeremy (2) Cole, Paula (6)
Metro Areas (7) Chag, Niraj (1) Cole, Samantha (2)
News and Media (3) Chan, Agnes (3) Collective Soul (11)
Recreation and Sports (15) Chan, Kit (3) Collins, Judy (4)
Regions (18) Chan, Priscilla (6) Collins, Phil (18)
Science and Environment (4) Chandra, Sheila (5) Collusion Inc. (1)
Society and Culture (50) Changelings, The (2) Colorfinger (3)
Transportation (0) Chantels, The (3) Color Me Badd (5)
Travel and Tourism (48) Chapin, Harry (16) Colosseum (6)
Weather (4) Chapman, Beth Nielsen (2) Colourbox (7)
Cubic Zirconia (18) Chapman, Roger (2) Colvin, Shawn (8)
Musei (11) Chapman, Tracy (13) Combs, Sean (14)
C-Murder (2) Charles, Ray (11) Combustible Edison (8)
Cabaret Voltaire (6) Charles, Vince (1) Coming Century (3)
Cadogan, Kevin (2) Chavis, Boozoo (3) Common Rotation (4)
Caffey, Charlotte (3) Chavis, Karan (2) Como, Perry (6)
Cage, Joel (2) Chayanne (6) Concrete Blonde (5)
Cake (10) Cheap Trick (16) Connelly, Chris (6)
Cake Like (4) Checker, Chubby (2) Connors, Stompin' Tom (2)
Caldwell, Kimberly (8) Chemical Brothers (18) Conway, Russ (7)
Cale, J. J. (6) Chemlab (7) Cook, Jesse (2)
Cale, John (8) Chenier, C.J. (4) Cooke, Sam (7)
California Guitar Trio (4) Chenier, Clifton (4) Coolio (5)
Call, The (2) Cherry, Eagle-Eye (9) Cooper, Alice (34)
Calla (1) Cherry, Neneh (3) Cooper, Ray (5)
Callaway, Ann Hampton (3) Cherry Poppin' Daddies (5) Cooper Temple Clause, The (4)
Callen, Michael (3) Chesnutt, Vic (5) Cope, Julian (13)
Calling, The (26) Chevelle (1) Copeland, Stewart (5)
Cam'ron (3) Chic (8) Coptic Rain (2)
Camarosmith (2) Chicago (17) Cornell, Chris (7)
Camel (5) Chicane (2) Corporate Avenger (2)
Cameo (2) Chicks on Speed (4) Corrosion of Conformity (4)
Camouflage (4) Chieftains, The (11) Corrs, The (89)
Campbell, Glen (5) Child, Jane (5) Coryell, Julian (4)
Campbell, Tevin (4) Children of Dub (2) Costa, Nikka (3)
Camper Van Beethoven (6) Childs, Toni (7) Costello, Elvis (24)
Can (13) Chilliwack (4) Cotton, Josie (3)
Canadian Bush Party (2) Chills, The (5) Cotton Mather (2)
Candide (2) China Crisis (1) Couch, Danny (3)
Candlebox (5) Chino XL (3) Counting Crows (22)
Candlemass (3) Chisholm, Melanie (42) Count Zero (2)
Candy Butchers (2) Chixdiggit (7) Court, Susan (2)
Candy Snatchers, The (1) Chordettes, The (3) Cousins, Tina (10)
Cane 141 (2) Christian, Frank (2) Cousin Kevin (2)
Canibus (7) Christians, The (2) Coverdale, David (5)
Canned Heat (4) Christian Death (7) Cowboy Junkies (22)
Cannibal Corpse (9) Christines, The (2) Cowboy Mouth (11)
Cantrell, Blu (13) Christmas (3) Cowsills, The (2)
Cantrell, Jerry (4) Christodal, Jude (9) Cox, Deborah (6)
Capercaillie (3) Christy, Lauren (4) Coxon, Graham (9)
Captain and Tennille, The (4) Chris and Cosey (7) CPR (2)
Caputo, Keith (4) Chuck D (4) Cracker (8)
Cara, Irene (2) Chumbawamba (19) Cradle of Filth (35)
Carcass (3) Church, Charlotte (10) Cramps, The (4)
Cardiacs, The (1) Church, The (36) Cranberries (36)
Cardigans, The (8) Cibo Matto (4) Cranes (10)
Carey, Mariah (106) Cinder (2) CrashPalace (2)
Carey, Tony (2) Cinderella (9) Crash Test Dummies, The (11)
Carlisle, Belinda (25) Cindytalk (2) Craving Theo (2)
Carlos, Wendy (2) Cinerama (7) Crawford, Billy (2)
Carlstrom, Emily (3) Circle Jerks (6) Crazy Town (17)
Carlton, Vanessa (22) Citizen Cope (3) Cream (8)
Carmen, Eric (2) Citizen King (3) Creed (71)
Carmichael, Hoagy (7) City High (3) Creedence Clearwater Revival (29)
Carnes, Kim (6) CKY (11) Creeper Lagoon (2)
Carola (3) Clam Abuse (2) Crenshaw, Marshall (3)
Caroline's Spine (3) Clannad (5) Crespo, Elvis (1)
Carpenter, Mary Chapin (10) Clan of Xymox (11) Crime and the City Solution (4)
Carpenters, The (44) Clapton, Eric (53) Croce, Jim (6)
Carr, Amy (1) Clark, Guy (5) Crocketts, The (3)
Carrack, Paul (3) Clark, Petula (6) Crosby, David (4)
Carrier, Chubby (3) Clarks, The (9) Crosby, Stills, Nash, and Young (16)
Carrier, Roy (2) Clarkson, Kelly (26) Cross, David (2)
Cars, The (6) Clash, The (44) Cross My Heart (4)
Carson Downey Band, The (3) Clawfinger (3) Crow, Sheryl (54)
Cartel (1) Clayderman, Richard (2) Crowbar (5)
Carter, Aaron (50) Clayton-Felt, Josh (2) Crowded House (10)
Carter, Leslie (2) Cleopatra (4) Crowell, Rodney (3)
Carthy, Eliza (4) Click Click (2) Cruel Sea, The (8)
Carthy, Martin (3) Climie Fisher (3) Crumar, Phil (3)
Cartoons, The (3) Clinic (7) Crushdown (1)
Casal, Neal (2) Clock DVA (4) Cryan' Shames, The (2)
Case, Neko (9) Clooney, Rosemary (6) Crystal Method (5)
Case, Peter (3) cLOUDDEAD (2) Cub (7)
Cassar-Daley, Troy (5) Cloudtalk (1) Cuddy, Jim (2)
Cassidy, Eva (23) Clutch (5) Cult, The (11)
Cassidy, Katie (2) Co.Uk (2) Cultivators, The (3)
Cassius (4) Coal (4) Culture Club (9)
Castillo, Randy (6) Coal Chamber (16) Cummings, Burton (12)
Castle, Chris (2) Coasters, The (6) Cupcakes (5)
Catatonia (6) Cochran, Anne (2) Cure, The (85)
Catch, C.C. (28) Cochran, Eddie (7) Curfman, Shannon (5)
Catch 22 (2) Cochrane, Tom (5) Current 93 (5)
Cathcart, Carter (2) Cockburn, Bruce (9) Cyclefly (4)
Catherine Wheel (18) Cocker, Joe (8) Cypress Hill (12)
Catheters, The (3) Cocteau Twins (16) Czars, The (4)
Cattle Company, The (2) Code Red (3) C Note (5)
Web Sitesi

Constraints: An International Journal
Covering all aspects of computing with constraints; on paper or online, via Kluwer Online; fee
required.

http://ipsapp007.kluweronline.com/ips/frames/error.asp?J=&ET=&UMSG=An+error+occurred+wh....
Reviews Rating: Not yet Rated Whois Check

Seventh International Conference on Principles and Practice of Constraint Programming
2001 November 26 - December 1, Paphos, Cyprus.
http://www2.cs.ucy.ac.cy/~iclpcp01/CP01home.html
Reviews Rating: Not yet Rated Whois Check

Garnet: Brad A. Myers
Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.
http://www-2.cs.cmu.edu/~bam/
Reviews Rating: Not yet Rated Whois Check

Garnet Toolkit FAQ
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.

http://www.faqs.org/faqs/garnet-faq/
Reviews Rating: Not yet Rated Whois Check

ThingLab
Simulation laboratory: environment to build dynamic models of experiments in geometry, physics:
simulations of constrained geometric objects, simple electrical circuits, mechanical linkages,
bridges under load. Can use methods developed for these domains to model other sorts of objects:
graphical calculator, documents with constraints on layout and contents.

http://www.cosc.canterbury.ac.nz/~wolfgang/NewHome/cosc414/projects/thinglabFolder/html/thingla....
Reviews Rating: Not yet Rated Whois Check

Computer Support in the Design of Mechanical Products
Constraint specification and satisfaction in feature based design for manufacturing. Ph.D. thesis.
http://www.coe.uncc.edu/%7Ergwilhel/courses/MEGR6090.fall98/readings/Salomons-Thesis/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.cs.washington.edu/research/constraints/cassowary/
Reviews Rating: Not yet Rated Whois Check

University of London, Royal Holloway: Constraints Group
In the Department of Computer Science: descriptions, research, members, publications, links.
http://www.dcs.rhbnc.ac.uk/research/constraints/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.cs.washington.edu/research/constraints/web/mm97.dir/
Reviews Rating: Not yet Rated Whois Check

Sketchpad: Ivan E. Sutherland
Very brief, trivial explanation of the first constraint language, and its author.
http://www.sun.com/960710/feature3/sketchpad.html
Reviews Rating: Not yet Rated Whois Check

Omega Project
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.

http://www.cs.umd.edu:80/projects/omega/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr-intro.html
Reviews Rating: Not yet Rated Whois Check

Principles and Practice of Constraint Programming
Book by Vijay Saraswat and Pascal Van Hentenryck. 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.

http://www-mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8270
Reviews Rating: Not yet Rated Whois Check

ThingLabII: Constraint-based user interfaces
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.

http://www-2.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html
Reviews Rating: Not yet Rated Whois Check

MAC
FTP download, no separate documentation.
http://www.lirmm.fr/ftp/CSP/
Reviews Rating: Not yet Rated Whois Check

DeltaBlue: Benchmarking Java with Richards and DeltaBlue
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]

http://research.sun.com/people/mario/java_benchmarking/
Reviews Rating: Not yet Rated Whois Check

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
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.

http://citeseer.nj.nec.com/bessiere96mac.html
Reviews Rating: Not yet Rated Whois Check

StarFLIP++
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints.
GNU LGPL.

http://www.dbai.tuwien.ac.at/proj/StarFLIP/
Reviews Rating: Not yet Rated Whois Check

ICOT Free Software
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.

ftp://ftp.icot.or.jp/ifs/
Reviews Rating: Not yet Rated Whois Check

Pascal Van Hentenryck
Brown University, US. Some constraint papers.
http://www.cs.brown.edu/people/pvh/
Reviews Rating: Not yet Rated Whois Check

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.

http://cslu.cse.ogi.edu/nsf/isgw97/reports/borning.html
Reviews Rating: Not yet Rated Whois Check

GUIdeLA: Constraint Language and System for Constructing Graphical User Interfaces
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.

http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/97/plan22.html
Reviews Rating: Not yet Rated Whois Check

Techno-Pulsar
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.

http://www.orc.ru/~pulsar/
Reviews Rating: Not yet Rated Whois Check

Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet
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.

http://citeseer.nj.nec.com/62541.html
Reviews Rating: Not yet Rated Whois Check

Natural Programming
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.

http://www-2.cs.cmu.edu/~NatProg/
Reviews Rating: Not yet Rated Whois Check

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.

http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
Reviews Rating: Not yet Rated Whois Check

Garnet Project
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.

http://www-2.cs.cmu.edu/~garnet/
Reviews Rating: Not yet Rated Whois Check

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.

http://www.student.seas.gwu.edu/~rohrer/auto-modeling-report
Reviews Rating: Not yet Rated Whois Check

Graph Theory and Constraint Programming
University course: definitions, lecture notes, books, language descriptions, links.
http://www.cs.adfa.edu.au/~gtc/GTC/
Reviews Rating: Not yet Rated Whois Check

ILOG Solver
ILOG's 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.

http://www.ilog.com/products/solver/
Reviews Rating: Not yet Rated Whois Check

Koalog Constraint Solver
A constraint solver written in the JavaTMprogramming language.
http://www.koalog.com/php/jcs.php
Reviews Rating: Not yet Rated Whois Check

Brandeis Interval Arithmetic Constraint Solver
Java applet that solves non-linear real arithmetic constraints.
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
Reviews Rating: Not yet Rated Whois Check

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.

http://www.cs.unh.edu/ccc/archive/
Reviews Rating: Not yet Rated Whois Check

Book: Foundations of Constraint Satisfaction
Description of book, Academic Press, release 1993: programs from book.
http://cswww.essex.ac.uk/CSP/edward/FCS.html
Reviews Rating: Not yet Rated Whois Check

Book: Programming with Constraints: an Introduction
Description of book, MIT Press, release March 1998: programs from book, slides for courses for use
with book.

http://www.cs.mu.oz.au/~pjs/book/book.html
Reviews Rating: Not yet Rated Whois Check

University of Washington: Constraint-Based Systems
Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue,
Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.

http://www.cs.washington.edu/research/constraints/
Reviews Rating: Not yet Rated Whois Check

DeltaBlue code archive
For incremental dataflow constraint solver, implemented in varied languages, each in a subdirectory
named after the language: C DEC, C SUN4; Common Lisp, Smalltalk.

ftp://ftp.cs.washington.edu/pub/constraints/code/DeltaBlue/
Reviews Rating: Not yet Rated Whois Check

DeltaBlue Constraint Solver
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms,
it cannot accommodate cyclic constraints. University of Washington site.

http://www.cs.washington.edu/research/constraints/deltablue/
Reviews Rating: Not yet Rated Whois Check

FSQP: Feasible Sequential Quadratic Programming
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.

http://www.aemtechnology.com/aemdesign/FSQPframe.htm
Reviews Rating: Not yet Rated Whois Check

Explanation-based constraint programming
Definitions, applications, libraries, links.
http://www.e-constraints.net/
Reviews Rating: Not yet Rated Whois Check

University of Essex: Constraint Programming Group
Several very interesting projects: GENET; Guided Local Search, GLS; Guided Genetic Algorithm, GLS;
Adaptive Constraint Satisfaction, ACS; Computer-Aided Constraint-Programming, CACP.

http://cswww.essex.ac.uk/CSP/
Reviews Rating: Not yet Rated Whois Check

Guide to Constraint Programming
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.

http://ktiml.mff.cuni.cz/~bartak/constraints/
Reviews Rating: Not yet Rated Whois Check

ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
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.

http://citeseer.nj.nec.com/lopez93kaleidoscope.html
Reviews Rating: Not yet Rated Whois Check

 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups

Submit a Site to Jasminecorp.net Directory || Advertise with us

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .us .info
.org .in .name
.net .biz .asia