Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The filter browser defining interfaces graphically
European conference on object-oriented programming on ECOOP '87
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A smalltalk window system based on constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
A module mechanism for constraints in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Thinglab--a constraint-oriented simulation laboratory.
Thinglab--a constraint-oriented simulation laboratory.
Algebraic constraints
Constraint-based animation: temporal constraints in the animus system
Constraint-based animation: temporal constraints in the animus system
Automatic generation of interfaces using constraints
Automatic generation of interfaces using constraints
Constraint logic programming languages
Communications of the ACM
The University of Washington illustrating compiler
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Kaleidoscope: mixing objects, constraints, and imperative programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A modeling system for top-down design of assembled products
IBM Journal of Research and Development
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
A general framework for Bi-directional translation between abstract and pictorial data
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Declarative programming of graphical interfaces by visual examples
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
The abstraction-link-view paradigm: using constraints to connect user interfaces to applications
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A general framework for bidirectional translation between abstract and pictorial data
ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
A categorized bibliography on incremental computation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A spreadsheet based on constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
The Rendezvous constraint maintenance system
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
The Rendezvous architecture and language for constructing multiuser applications
ACM Transactions on Computer-Human Interaction (TOCHI)
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Interactive generation of graphical user interfaces by multiple visual examples
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Skyblue: a multi-way local propagation constraint solver for user interface construction
UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Automatic presentation of multimedia documents using relational grammars
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
User interface specification using an enhanced spreadsheet model
ACM Transactions on Graphics (TOG)
Of metaphor and the difficulty of computer discourse
Communications of the ACM
Supporting distributed, concurrent, one-way constraints in user interface applications
Proceedings of the 8th annual ACM symposium on User interface and software technology
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 9th annual ACM symposium on User interface software and technology
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
A modular geometric constraint solver for user interface applications
Proceedings of the 14th annual ACM symposium on User interface software and technology
Using model dataflow graphs to reduce the storage requirements of constraints
ACM Transactions on Computer-Human Interaction (TOCHI)
Reducing pause time of conservative collectors
Proceedings of the 3rd international symposium on Memory management
A geometric constraint library for 3D graphical applications
Proceedings of the 2nd international symposium on Smart graphics
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
A Constraint-Satisfaction Approach to Clerical Work
IEEE Intelligent Systems
Task-Based Specifications Through Conceptual Graphs
IEEE Expert: Intelligent Systems and Their Applications
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Scalable Linear Constraint Solver for User Interface Construction
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Interactive authoring of multimedia documents in a constraint-based authoring system
Multimedia Systems - Special section on video libraries
A Task-Based Approach to Verifying Conceptual Models
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Challenges in graph-based relational data visualization
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
SyDeR—System design for reusability
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Comparing usability of one-way and multi-way constraints for diagram editing
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the eighth ACM symposium on Document engineering
Property models: from incidental algorithms to reusable components
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Algorithms and Architectures of Artificial Intelligence
Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence
Algorithms for user interfaces
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Computational complexity of multi-way, dataflow constraint problems
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
LayLab from the perspective of the IMMPS standard
Computer Standards & Interfaces
A correct rule-based geometric constraint solver
Computers and Graphics
Generation of visual language-oriented design environments
Journal of Visual Languages and Computing
Dynamic constraint satisfaction problems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A constraint decomposition method for spatio-temporal configuration problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
On complementary principles of object-oriented constraint programming
Programming and Computing Software
A constraint-based approach to dynamically adapt multimedia interfaces
Journal of Mobile Multimedia
A constraint maintenance strategy and applications in real-time collaborative environments
CDVE'05 Proceedings of the Second international conference on Cooperative Design, Visualization, and Engineering
HIS: hierarchical solver for over-constrained satisfaction problems
TAINN'05 Proceedings of the 14th Turkish conference on Artificial Intelligence and Neural Networks
Evaluating the adaptation of multimedia services using a constraints-based approach
Mobile Multimedia Processing
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Hi-index | 48.25 |
An incremental constraint solver, the DeltaBlue algorithm maintains an evolving solution to the constraint hierarchy as constraints are added and removed. DeltaBlue minimizes the cost of finding a new solution after each change by exploiting its knowledge of the last solution.