|
 ABSTRACT
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.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Borning, A. Graphically defining new building blocks in ThingLab. Human-Comput. Interact. 2, 4 (Apr. 1986j, 269-295.
|
 |
2
|
|
| |
3
|
|
| |
4
|
Alan Borning , Robert Duisberg , Bjorn Freeman-Benson , Axel Kramer , Michael Woolf, Constraint hierarchies, Conference proceedings on Object-oriented programming systems, languages and applications, p.48-60, October 04-08, 1987, Orlando, Florida, United States
|
| |
5
|
Borning, A., Maher, M., Martindale, A., and Wilson, M. Constraint hierarchies and logic programming. In Proceedings of the Sixth International Logic Programming Conference, (Lisbon, Portugal, June 1989), pp. 149-164. Also published as Tech. Rep. 88-11-10, Computer Science Department, University of Washington, November 1988.
|
| |
6
|
Carter, C.A., and LaLonde, W.R. The design of a program editor based on constraints. Tech. Rep. CS TR 50, Carleton University, May 1984.
|
| |
7
|
Colmerauer, A. An introduction to Prolog llI. Draft, Groupe Intelligence Artificielle, Universite Aix-Marseille II, November 1987.
|
| |
8
|
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun A., Graf, T., and Bertheir, F. The constraint logic programming hmguage CHIP. In Proceedings of International Conference on Fifth Generation Computer Systems, FGCS-88 (Tokyo, Japan, 1988).
|
| |
9
|
|
| |
10
|
|
| |
11
|
|
| |
12
|
Danny Epstein , Wilf R. LaLonde, A smalltalk window system based on constraints, Conference proceedings on Object-oriented programming systems, languages and applications, p.83-94, September 25-30, 1988, San Diego, California, United States
|
| |
13
|
|
| |
14
|
Freeman-Benson, B. Constraint Imperative Programming: A Research Proposal. Tech. Rep. 89-04-06, Computer Scien~.e Dept., University of Washington, 1989.
|
| |
15
|
Freeman-Benson, B.N. Multiple solutions from constraint hierarchies. Tech. Rep. 88-04-02, University of Washington, April 1988.
|
| |
16
|
Freeman-Benson, B., Maloney, J., and Borning, A. The DeltaBlue algorithm: An incremental constraint hierarchy solver. Tech. Rep. 89-08-06, Depart. of Computer Science and Engineering, University of Washington, August 1989.
|
| |
17
|
|
| |
18
|
|
| |
19
|
Heintze, N., Jaffar, J., Michaylov, S., Stuckey, P., and Yap, R. The CLP(~) programmer's manual. Tech. Rep., Computer Science Dept., Monash University, I987.
|
| |
20
|
|
CITED BY 53
|
|
|
|
|
|
|
|
Ken Miyashita , Satoshi Matsuoka , Shin Takahashi , Akinori Yonezawa, Interactive generation of graphical user interfaces by multiple visual examples, Proceedings of the 7th annual ACM symposium on User interface software and technology, p.85-94, November 02-04, 1994, Marina del Rey, California, United States
|
|
|
|
|
|
Krishna A. Bharat , Scott E. Hudson, Supporting distributed, concurrent, one-way constraints in user interface applications, Proceedings of the 8th annual ACM symposium on User interface and software technology, p.121-132, November 15-17, 1995, Pittsburgh, Pennsylvania, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shin Takahashi , Satoshi Matsuoka , Akinori Yonezawa , Tomihisa Kamada, A general framework for Bi-directional translation between abstract and pictorial data, Proceedings of the 4th annual ACM symposium on User interface software and technology, p.165-174, November 11-13, 1991, Hilton Head, South Carolina, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ken Miyashita , Satoshi Matsuoka , Shin Takahashi , Akinori Yonezawa , Tomihisa Kamada, Declarative programming of graphical interfaces by visual examples, Proceedings of the 5th annual ACM symposium on User interface software and technology, p.107-116, November 15-18, 1992, Monteray, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Brad A. Myers , Dario A. Giuse , Roger B. Dannenberg , David S. Kosbie , Edward Pervin , Andrew Mickish , Brad Vander Zanden , Philippe Marchal, Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces, Computer, v.23 n.11, p.71-85, November 1990
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jaakko Järvi , Mat Marcus , Sean Parent , John Freeman , Jacob N. Smith, Property models: from incidental algorithms to reusable components, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
|
|
|
|
|
|
|
REVIEW
"John B. Slater : Reviewer"
The algorithm described here solves constraint problems that are
defined dynamically by adding, modifying, or removing
constraints; it uses previous solutions as a basis for
current solutions. For the many appropriate problems, the
more...
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
F.2