|
|
Home: Programming: Languages: Constraint
Pages: 1 2 [>>]
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- DeltaBlue Constraint Solver
Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
- 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.
(Rating: 0.00 Votes: 0)
Rate It
Pages: 1 2 [>>]
|
|
|
Web Hosting
Inkjet Cartridges
Go to my PC
Coupons
Discount Software
|