| Indigo: a local propagation algorithm for inequality constraints |
| Full text |
 Pdf
(949 KB)
|
| Source
|
Symposium on User Interface Software and Technology
archive
Proceedings of the 9th annual ACM symposium on User interface software and technology
table of contents
Seattle, Washington, United States
Pages: 129 - 136
Year of Publication: 1996
ISBN:0-89791-798-7
|
|
Authors
|
|
Alan Borning
|
Dept. of Computer Science & Engineering, University of Washington, PO BOX 352350, Seattle, WA
|
|
Richard Anderson
|
Dept. of Computer Science & Engineering, University of Washington, PO BOX 352350, Seattle, WA
|
|
Bjorn Freeman-Benson
|
Object Technology International Inc, R. Buckminster Fuller Laboratory, 201-506 Fort St, Victoria, B.C. CANADA V8W 1E6
|
|
| Sponsors |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 3, Downloads (12 Months): 14, Citation Count: 10
|
|
|
 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
|
|
| |
2
|
|
| |
3
|
Frtdtric Benhamou and William Olden Applying interval arithmetic to real, integer and boolean constraints. Journal of Logic Programming, 1996. Forthcoming.
|
| |
4
|
Alan Borning, Richard Anderson, and Bjorn Freeman- Benson. The Indigo algorithm. Technical Report 96-05- 01, Dept. of Computer Science and Engineering, University of Washington, Seattle, WA, July 1996.
|
| |
5
|
|
| |
6
|
|
| |
7
|
|
 |
8
|
|
| |
9
|
Michel Gangnet and Burton Rosenberg. Constraint programming and graph algorithms. In Second International Symposium on Artificial Intelligence and Mathematics, January 1992.
|
| |
10
|
Richard Helm , Tien Huynh , Catherine Lassez , Kim Marriot, A linear constraint technology for interactive graphic systems, Proceedings of the conference on Graphics interface '92, p.301-309, September 1992, Vancouver, British Columbia, Canada
|
| |
11
|
Richard Helm, Tien Huynh, Kim Marriott, and John Vlissides. An object-oriented architecture for constraint-based graphical editing. In Proceedings of the Third Eurographics Workshop on Object-oriented Graphics, Champery, Switzerland, October 1992.
|
| |
12
|
Hiroshi Hosobe, Satoshi Matsuoka, and Akinori Yonezawa. Generalized local propagation: A framework for solving constraint hierarchies. In Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Boston, August 1996.
|
| |
13
|
|
| |
14
|
|
| |
15
|
Eero Hyvfnen. Evaluation of cascaded interval function constraints. In Proceedings of the International Workshop on Constraint-Based Reasoning (CONSTRAINT- 95), Melbourne Beach, Florida, April 1995.
|
| |
16
|
Eero Hyvtnen, Stefano De Pascale, and Aarno Lehtola. Interval constraint programming in C++. In Brian Mayoh, Enn Tyugu, and Jaan Penjam, editors, Constraint Programming, pages 350-366. Springer-Verlag, 1994. NATO Advanced Science institute Series, Series F: Computer and System Sciences, Vol. 131.
|
| |
17
|
William Older and Frtdtric Benhamou. Programming in CLP(BNR). In Position Papers for the First Workshop on Principles and Practice of Constraint Programming, pages 239-249, Newport, RI, USA, 1993.
|
| |
18
|
|
| |
19
|
|
| |
20
|
|
CITED BY 10
|
|
Alan Borning , Kim Marriott , Peter Stuckey , Yi Xiao, Solving linear arithmetic constraints for user interface applications, Proceedings of the 10th annual ACM symposium on User interface software and technology, p.87-96, October 14-17, 1997, Banff, Alberta, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Wilmot Li , Maneesh Agrawala , David Salesin, Interactive image-based exploded view diagrams, Proceedings of the 2004 conference on Graphics interface, p.203-212, May 17-19, 2004, London, Ontario, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
INDEX TERMS
Primary Classification:
H.
Information Systems
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.2
User Interfaces (D.2.2, H.1.2, I.3.6)
Subjects:
Theory and methods
Additional Classification:
D.
Software
D.3
PROGRAMMING LANGUAGES
D.3.2
Language Classifications
Nouns:
Smalltalk
E.
Data
E.1
DATA STRUCTURES
Subjects:
Graphs and networks
H.
Information Systems
H.5
INFORMATION INTERFACES AND PRESENTATION (I.7)
H.5.2
User Interfaces (D.2.2, H.1.2, I.3.6)
Subjects:
Evaluation/methodology
General Terms:
Algorithms,
Design,
Languages,
Performance,
Theory,
Verification
Keywords:
constraints,
inequality constraints,
local propagation
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
