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
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
An integrated environment to visually construct 3D animations
SIGGRAPH '95 Proceedings of the 22nd annual conference on Computer graphics and interactive techniques
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Indigo: a local propagation algorithm for inequality constraints
Proceedings of the 9th annual ACM symposium on User interface software and technology
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Nurse scheduling using constraint logic programming
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Constraint cascading style sheets for the Web
Proceedings of the 12th annual ACM symposium on User interface software and technology
A constraint extension to scalable vector graphics
Proceedings of the 10th international conference on World Wide Web
The Cassowary linear arithmetic constraint solving algorithm
ACM Transactions on Computer-Human Interaction (TOCHI)
Dynamic approximation of complex graphical constraints by linear constraints
Proceedings of the 15th annual ACM symposium on User interface software and technology
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Constraint Programming: Strategic Directions
Constraints
Inferring link weights using end-to-end measurements
Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Solving Rostering Tasks as Constraint Optimization
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Application of Constraint Hierarchy to Timetabling Problems
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Hierarchical Constraint Satisfaction Based on Subdefinite Models
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Constraints with Variables` Annotations and Constraint Hierarchies
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Scwm: An Extensible Constraint-Enabled Window Manager
Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference
Fuzzifying the Constraint Hierarchies Framework
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
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 Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
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
Constraints for Interactive Graphical Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Solving Disjunctive Constraints for Interactive Graphical Applications
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Constraint-based document layout for the Web
Multimedia Systems - Special issue: Multimedia authoring and presentation techniques
Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
A hybrid AI approach for nurse rostering problem
Proceedings of the 2003 ACM symposium on Applied computing
Solving Hierarchical Constraints over Finite Domains with Local Search
Annals of Mathematics and Artificial Intelligence
Constraint solving and preference activation for interactive design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Hierarchical nonlinear constraint satisfaction
Proceedings of the 2004 ACM symposium on Applied computing
An extended high-dimensional method for interactive graph drawing
APVis '05 proceedings of the 2005 Asia-Pacific symposium on Information visualisation - Volume 45
Extended constraint handling for CP-networks
Intelligent information processing II
Maintaining constraint-based applications
Proceedings of the 4th international conference on Knowledge capture
IBM Journal of Research and Development - Business optimization
A Branch and Bound Algorithm for Numerical MAX-CSP
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A mechanism for multimodal presentation planning based on agent cooperation and negotiation
Human-Computer Interaction
Proceedings of the 9th ACM SIGCHI New Zealand Chapter's International Conference on Human-Computer Interaction: Design Centered HCI
Simulation of hybrid systems based on hierarchical interval constraints
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Which Soft Constraints do you Prefer?
Electronic Notes in Theoretical Computer Science (ENTCS)
Constraint-based random stimuli generation for hardware verification
IAAI'06 Proceedings of the 18th conference on Innovative applications of artificial intelligence - Volume 2
Visual planning: a practical approach to automated presentation design
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Solving finite domain constraint hierarchies by local consistency and tree search
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Using constraint propagation in MAGPIE: a multi-agent approach
Computer Standards & Interfaces
Describing the MIPS multimedia presentation system with the IMMPS reference model
Computer Standards & Interfaces
An end-to-end approach for QoS-aware service composition
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Leveraging single-user microsoft visio for multi-user real-time collaboration
CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Inference control in logic databases as a constraint satisfaction problem
ICISS'07 Proceedings of the 3rd international conference on Information systems security
A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A hybrid approach for solving real-world nurse rostering problems
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
A backbone-based co-evolutionary heuristic for partial MAX-SAT
EA'05 Proceedings of the 7th international conference on Artificial Evolution
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
SmartFixer: fixing software configurations based on dynamic priorities
Proceedings of the 17th International Software Product Line Conference
Hi-index | 0.01 |