Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
Constraint (33)
Categories:
|
See Also:
- Top/Computers/History/Pioneers/Sutherland, Ivan
- Top/Computers/Programming/Languages/Garbage Collected
- Top/Computers/Programming/Languages/Logic-based
- Top/Computers/Programming/Languages/Multiparadigm
Editor's Picks:
» 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, links. Clearly the product of much work.
http://4c.ucc.ie/web/archive/index.jsp
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.
http://4c.ucc.ie/web/archive/index.jsp
Sites:
» 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 contr
http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/
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 contr
http://www.cs.wisc.edu/graphics/Papers/Gleicher/Thesis/
» 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 aut
http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
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 aut
http://cslu.cse.ogi.edu/nsf/isgw97/reports/hudson.html
» Book: Foundations of Constraint Satisfaction
Description of book, Academic Press, release 1993: programs from book.
http://www.bracil.net/edward/FCS.html
Description of book, Academic Press, release 1993: programs from book.
http://www.bracil.net/edward/FCS.html
» 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
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
» Brandeis Interval Arithmetic Constraint Solver
Java applet that solves non-linear real arithmetic constraints.
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
Java applet that solves non-linear real arithmetic constraints.
http://www.cs.brandeis.edu/~tim/Applets/IAsolver.html
» 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 valu
http://www.cs.washington.edu/research/constraints/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 valu
http://www.cs.washington.edu/research/constraints/cassowary/
» 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.cs.kuleuven.be/~dtai/projects/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.cs.kuleuven.be/~dtai/projects/CHR/
» 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
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
» 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
http://www.cs.washington.edu/research/constraints/web/mm97.dir/
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
http://www.cs.washington.edu/research/constraints/web/mm97.dir/
» Constraints: An International Journal
Covering all aspects of computing with constraints; on paper or online; fee required.
http://www.springer.com/computer/artificial/journal/10601
Covering all aspects of computing with constraints; on paper or online; fee required.
http://www.springer.com/computer/artificial/journal/10601
» 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/
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/
» 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/
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/
» 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/
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/
» E-constraints.net
Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.
http://www.e-constraints.net/
Home of Explanation-based Constraint Programming. Definitions, applications, libraries, links.
http://www.e-constraints.net/
» 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.cs.cmu.edu/~garnet/
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.cs.cmu.edu/~garnet/
» 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/
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/
» Garnet: Brad A. Myers
Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.
http://www.cs.cmu.edu/~bam/
Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale.
http://www.cs.cmu.edu/~bam/
» 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 sup
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6287
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 sup
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6287
» Gecode
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]
http://www.gecode.org/
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]
http://www.gecode.org/
» 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/
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/
» 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/
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/
» ILOG CP
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 co
http://www.ilog.com/products/cp/
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 co
http://www.ilog.com/products/cp/
» 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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4042
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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4042
» 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.cs.cmu.edu/~NatProg/
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.cs.cmu.edu/~NatProg/
» 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/projects/omega/
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/projects/omega/
» Pascal Van Hentenryck
Brown University, US. Some constraint papers.
http://www.cs.brown.edu/people/pvh/
Brown University, US. Some constraint papers.
http://www.cs.brown.edu/people/pvh/
» 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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.1523
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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.1523
» 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
2001 November 26 - December 1, Paphos, Cyprus.
http://www2.cs.ucy.ac.cy/~iclpcp01/CP01home.html
» StarFLIP++
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
http://www.dbai.tuwien.ac.at/proj/StarFLIP/
Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL.
http://www.dbai.tuwien.ac.at/proj/StarFLIP/
» 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/
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/
» 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, e
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html
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, e
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/constrnt/systems/thinglab/0.html
» 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/
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/
This category needs an editor
Last Updated: 2007-01-02 19:57:58
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
Powered by AllMusicSearch.com Copyright © 2000-2014 AllMusicSearch.com Inc Privacy Policy
