A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics
暂无分享,去创建一个
[1] Bjørn N. Freeman-Benson,et al. Integrating Constraints with an Object-Oriented Language , 1992, ECOOP.
[2] Alan de Pennington,et al. Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems , 1993, Comput. Aided Des..
[3] Mark D. Gross,et al. Graphical constraints in CoDraw , 1992, Proceedings IEEE Workshop on Visual Languages.
[4] Jeffrey D. McWhirter,et al. Escalante: an environment for the rapid construction of visual language applications , 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.
[5] T. S. Chua,et al. CG International '90 : computer graphics around the world , 1990 .
[6] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[7] Alan Borning,et al. Constraint hierarchies , 1992 .
[8] Boi Faltings,et al. Arc-Consistency for Continuous Variables , 1994, Artif. Intell..
[9] Jean-François Puget,et al. Panel Session: Commercial Applications of Constraint Programming , 1994, PPCP.
[10] Pascal Van Hentenryck. Constraint Solving for Combinatorial Search Problems: A Tutorial , 1995, CP.
[11] Reiner Anderl,et al. Modelling with constraints: theoretical foundation and application , 1996, Comput. Aided Des..
[12] Marc H. Brown,et al. Zeus: a system for algorithm animation and multi-view editing , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.
[13] Steven K. Feiner,et al. Inferring constraints from multiple snapshots , 1993, TOGS.
[14] Brad A. Myers. The garnet user interface development environment , 1994, CHI Conference Companion.
[15] Satoshi Matsuoka,et al. Creating visual objects by direct manipulation , 1992, Proceedings IEEE Workshop on Visual Languages.
[16] Winfried Graf,et al. Constraint-Based Graphical Layout of Multimodal Presentations , 1998, Advanced Visual Interfaces.
[17] R. Agrawal,et al. Engineering Constraint Management Based on an Occurrence Matrix Approach , 1993 .
[18] Roger B. Dannenberg,et al. Creating graphical interactive application objects by demonstration , 1989, UIST '89.
[19] Robert E. Young,et al. SPARK: an artificial intelligence constraint network system for concurrent engineering , 1991 .
[20] Frances Paulisch,et al. The Design of an Extendible Graph Editor , 1993, Lecture Notes in Computer Science.
[21] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.
[22] Massimo Paltrinieri. A visual environment for constraint programming , 1995, Proceedings of Symposium on Visual Languages.
[23] John H. Maloney. Using constraints for user interface construction , 1992 .
[24] Michael R. Wilk,et al. Equate: an object-oriented constraint solver , 1991, OOPSLA '91.
[25] Gurminder Singh,et al. Chisel: a system for creating highly interactive screen layouts , 1989, UIST '89.
[26] Norman I. Badler,et al. Articulated Figure Positioning by Multiple Constraints , 1987, IEEE Computer Graphics and Applications.
[27] Roger B. Dannenberg,et al. Garnet: comprehensive support for graphical, highly interactive user interfaces , 1990, Computer.
[28] M. Fox,et al. Constraint satisfaction techniques for spatial planning , 1992 .
[29] Enrico Gobbetti,et al. Supporting Interactive Animation Using Multi-way Constraints , 1995, Eurographics Workshop on Programming Paradigms in Graphics.
[30] Daniel Thalmann,et al. VB2: an architecture for interaction in synthetic worlds , 1993, UIST '93.
[31] Joe Marks,et al. Constraint-driven diagram layout , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.
[32] Leo Pini Magalhães,et al. MANAGEMENT OF CONSISTENCY CONSTRAINTS IN A CAD DATABASE SYSTEM , 1993 .
[33] Allan Heydon,et al. The Juno-2 Constraint-Based Drawing Editor , 1994 .
[34] Fay Sudweeks,et al. Artificial Intelligence in Design ’96 , 1996, Springer Netherlands.
[35] Michael F. Cohen,et al. Controlling dynamic simulation with kinematic constraints , 1987, SIGGRAPH.
[36] K. Kondo,et al. Algebraic method for manipulation of dimensional relationships in geometric models , 1992, Comput. Aided Des..
[37] William J. Dally,et al. An object oriented architecture , 1985, ISCA '85.
[38] Ephraim P. Glinert. Visual Programming Environments: Applications and Issues , 1990 .
[39] Ian H. Witten,et al. CONSTRAINT-SOLVING IN INTERACTIVE GRAPHICS A USER-FRIENDLY APPROACH , 1989 .
[40] Glenn A. Kramer. Solving geometric constraint systems a case study in kinematics , 1992, Comput. Aided Des..
[41] Michael Gleicher,et al. Practical Issues in Graphical Constraints , 1993, PPCP.
[42] Franck du Verdier. Solving Geometric Constraint Satisfaction Problems for Spatial Planning , 1993, IJCAI.
[43] Stuart C. Shapiro,et al. Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .
[44] Clayton Lewis. NoPumpG: Creating Interactive Graphics With Spreadsheet Machinery , 1987 .
[45] Michael Sannella,et al. The SkyBlue Constraint Solver and Its Applications , 1993, PPCP.
[46] Timothy E. Johnson. Sketchpad III: a computer program for drawing in three dimensions , 1963, AFIPS '63 (Spring).
[47] Steve Sistare. Graphical interaction techniques in constraint-based geometric modeling , 1991 .
[48] Pere Brunet,et al. Constructive constraint-based model for parametric CAD systems , 1994, Comput. Aided Des..
[49] Francesca Rossi,et al. Principles and Practice of Constraint Programming — CP '95 , 1995, Lecture Notes in Computer Science.
[50] Walter Hower,et al. Evolutionary Layout Design , 1996 .
[51] Andrew P. Witkin,et al. Energy constraints on parameterized models , 1987, SIGGRAPH.
[52] Raimund K. Ege. Direct manipulation user interfaces based on constraints , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.
[53] Michael Gleicher,et al. Integrating constraints and direct manipulation , 1992, I3D '92.
[54] J. Dill,et al. Intelligent computer aided design , 1993 .
[55] Boi Faltings,et al. Computer-Aided Creative Mechanism Design , 1995, IJCAI.
[56] Vipin Kumar,et al. Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..
[57] Yacov Hel-Or,et al. Relaxed parametric design with probabilistic constraints , 1993, Comput. Aided Des..
[58] Scott Wallace,et al. Fabrik: a visual programming environment , 1988, OOPSLA '88.
[59] Ari Rappoport. Direct Manipulation Devices for the Design of Geometric Constraint Networks , 1993 .
[60] S. Jacobi,et al. Chapter 9 - A distributed realization for constraint satisfaction , 1994 .
[61] Devendra Kalra,et al. A Constraint-Based Figure-Maker , 1990, Eurographics.
[62] John S. Gero,et al. Artificial Intelligence in Design ’98 , 1998, Springer Netherlands.
[63] David Serrano,et al. Constraint Management in Conceptual Design , 1989 .
[64] Bjørn N. Freeman-Benson,et al. Kaleidoscope: A Constraint Imperative Programming Language , 1993, NATO ASI CP.
[65] J. P. Barthes,et al. Implementing constraint propagation in mechanical CAD systems , 1989 .
[66] Françoise Darses. Constraints in design: Towards a methodology of psychological analysis based on AI formalisms , 1990, INTERACT.
[67] Walter Hower,et al. Solving Geometrical Constraint Systems: A Case Study in Kinematics , 1993 .
[68] David Maier,et al. The Filter Browser Defining Interfaces Graphically , 1987, ECOOP.
[69] S.P. Reiss. A framework for abstract 3D visualization , 1993, Proceedings 1993 IEEE Symposium on Visual Languages.
[70] Hitoshi Iba,et al. Reasoning of Geometric Concepts based on Algebraic Constraint-directed Method , 1991, IJCAI.
[71] Robert Duisberg. Visual Programming of Program Visualizations , 1990 .
[72] Dan R. Olsen,et al. Creating interactive techniques by symbolically solving geometric constraints , 1990, UIST '90.
[73] Brad A. Myers,et al. Creating user interfaces by demonstration , 1988 .
[74] Brad A. Myers,et al. Languages for developing user interfaces , 1992 .
[75] Alan Borning,et al. The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory , 1981, TOPL.
[76] Steve Howard,et al. Human-Computer Interaction INTERACT ’97 , 1997, IFIP — The International Federation for Information Processing.
[77] Daniel Thalmann,et al. Creating and Animating the Virtual World , 1992, Computer Animation Series.
[78] D. Sriram,et al. The Representation and Use of Constraints in Structural Design , 1986 .
[79] A. Thornton. Genetic Algorithms Versus Simulated Annealing: Satisfaction of Large Sets of Algebraic Mechanical Design Constraints , 1994 .
[80] Pascal Van Hentenryck,et al. Principles and practice of constraint programming: The Newport papers , 1996, Computers & Mathematics with Applications.
[81] A. Borning,et al. Constraint technology for user-interface construction in ThingLab II , 1989, OOPSLA 1989.
[82] Winfried Graf. LAYLAB - A Constraint-Based Layout Manager for Multimedia Presentations , 1993, HCI.
[83] Bart Selman,et al. Systematic Versus Stochastic Constraint Satisfaction , 1995, IJCAI.
[84] Alan Borning,et al. ThingLab: a constraint-oriented simulation laboratory , 1979 .
[85] Ricky Yeung,et al. TBAG: a high level framework for interactive, animated 3D graphics applications , 1994, SIGGRAPH.
[86] James A. Landay,et al. Inferring graphical constraints with Rockit , 1993, INTERCHI.
[87] Satoshi Matsuoka,et al. A general framework for bidirectional translation between abstract and pictorial data , 1992, TOIS.
[88] J Rinderle,et al. Interval approaches for concurrent evaluation of design constraints , 1990 .
[89] Winfried Graf,et al. The Constraint-Based Layout Framework LayLab and Its Applications , 1996 .
[90] Ian F. C. Smith,et al. Dynamic Constraint Satisfaction with Continuous Variables , 1991, IntCAD.
[91] Ralph D. Hill. A 2-D Graphics System for Multi-User Interactive Graphics Based on Objects and Constraints , 1991 .
[92] Kensei Tsuchida. The Complexity of Drawing Tree-Structured Diagrams , 1995, IEICE Trans. Inf. Syst..
[93] Steven P. Reiss,et al. Using GELO to visualize software systems , 1989, UIST '89.
[94] Bruce Horn. Properties of user interface systems and the Siri programming language , 1992 .
[95] Jirí Matousek. On geometric optimization with few violated constraints , 1994, SCG '94.
[96] Christopher J. Van Wyk,et al. A High-Level Language for Specifying Pictures , 1982, TOGS.
[97] Andrew P. Witkin,et al. Variational surface modeling , 1992, SIGGRAPH.
[98] Walter Hower,et al. Backtracking along with constraint processing and their time complexities , 1996, J. Exp. Theor. Artif. Intell..
[99] Michael Kass,et al. CONDOR: constraint-based dataflow , 1992, SIGGRAPH.
[100] Robert A. Duisberg,et al. Animation Using Temporal Constraints: an Overview of the Animus System , 1987, SGCH.
[101] J. C. Owen,et al. Algebraic solution for geometry from dimensional constraints , 1991, SMA '91.
[102] Mark T. Maybury,et al. Intelligent multimedia interfaces , 1994, CHI Conference Companion.
[103] Nicolas Beldiceanu,et al. Extending CHIP in order to solve complex scheduling and placement problems , 1993, JFPL.
[104] R. A. Adey,et al. Knowledge Based Expert Systems in Engineering: Planning and Design , 1988 .
[105] Gert Smolka,et al. Object-Oriented Concurrent Constraint Programming in Oz , 1993, KI.
[106] Catherine Lassez,et al. A linear constraint technology for interactive graphic systems , 1992 .
[107] Satoshi Matsuoka,et al. Declarative programming of graphical interfaces by visual examples , 1992, UIST '92.
[108] Masamichi Shimura,et al. Parametric Engineering Design Using Constraint-Based Reasoning , 1990, AAAI.
[109] Avelino J. Gonzalez,et al. Constraint mechanisms in automated knowledge generation , 1993, Appl. Artif. Intell..
[110] Kim Marriott,et al. An Object-Oriented Architecture for Constraint-Based Graphical Editing , 1992, Workshops on Object-Oriented Graphics.
[111] Roland Berling,et al. Constraint Processing in Human Computer Interaction with an Emphasis on Intelligent CAD , 1993, HCI.
[112] Ioannis G. Tollis,et al. Algorithms for Drawing Graphs: an Annotated Bibliography , 1988, Comput. Geom..
[113] E. A. Warman. Computer Applications in Production and Engineering , 1985 .
[114] Ellis S. Cohen,et al. Constraint-Based Tiled Windows , 1986, IEEE Computer Graphics and Applications.
[115] Mark D. Gross,et al. Constraints: Knowledge representation in design , 1988 .
[116] Zsófia Ruttkay,et al. A Co-operative Graphical Editor Based on Dynamically Constrained Objects , 1991, Workshops on Object-Oriented Graphics.
[117] T. Smithers,et al. AI-based versus geometry-based design or Why design cannot be supported by geometry alone , 1989 .
[118] Walter Hower. Bottom-up Layout Generation , 1996, Informatica.
[119] John R. Rankin. A Graphics Object-Oriented Constraint Solver , 1991, Workshops on Object-Oriented Graphics.
[120] Steven K. Feiner,et al. Interactive constraint-based search and replace , 1992, CHI.
[121] Chun Du. RelCAD: a relational CAD system with contraint based geometric modelling , 1995 .
[122] Bjørn N. Freeman-Benson,et al. Multi‐way versus one‐way constraints in user interfaces: Experience with the deltablue algorithm , 1993, Softw. Pract. Exp..
[123] Jean Patrick Tsang,et al. Constraint Propagation Issues in Automated Design , 1990, Expert Systems in Engineering.
[124] Farhad Arbab,et al. A geometric constraint management system in Oar , 1992 .
[125] R. Dechter. to Constraint Satisfaction , 1991 .
[126] Edwin Blake. Advances in Object-Oriented Graphics I , 1991, EurographicSeminars.
[127] Michael Gleicher,et al. A graphics toolkit based on differential constraints , 1993, UIST '93.
[128] Tiziana Catarci,et al. Advanced Visual Interfaces: Proceedings of the International Workshop AVI '92 , 1992 .
[129] Louis I. Steinberg. Design as Refinement Plus Constraint Propagation: The VEXED Experience , 1987, AAAI.
[130] Bjørn N. Freeman-Benson. Converting an existing user interface to use constraints , 1993, UIST '93.
[131] M. J. G. M. van van Emmerik. A system for interactive graphical modeling with three-dimensional constraints , 1990 .
[132] Michael Sannella,et al. Constraint satisfaction and debugging for interactive user interfaces , 1994 .
[133] Isabel F. Cruz. Expressing Constraints for Data Display Specification: A Visual Approach , 1993 .
[134] Wolfgang Wahlster,et al. WIP: The Automatic Synthesis of Multimodal Presentations , 1991, AAAI Workshop on Intelligent Multimedia Interfaces.
[135] Second Eurographics Workshop on Object Oriented Graphics , 1990 .
[136] Paul Veerkamp,et al. Intelligent CAD Systems III: Practical Experience and Evaluation , 1991 .
[137] Steven L. Rohall,et al. The Rendezvous language and architecture , 1993, CACM.
[138] Louis I. Steinberg,et al. EVEXED and MEET for Mechanical Design: Testing Structural Decomposition and Constraint Propagation , 1996, Artif. Intell..
[139] Charles E. Pfefferkorn,et al. A heuristic problem solving design system for equipment or furniture layouts , 1975, Commun. ACM.
[140] Lawrence A. Rowe,et al. The Picasso Application Framework , 1990 .
[141] J.T. Stasko,et al. Tango: a framework and system for algorithm animation , 1990, Computer.
[142] Bradley T. Vander Zanden. Incremental Constraint Satisfaction and its Application to Graphical Interfaces , 1988 .
[143] J. Davenport. Editor , 1960 .
[144] Enric Celaya Llover. Geometric reasoning for the determination of the position of objects linked by spatial relationships , 1993 .
[145] Ivan E. Sutherland,et al. Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.
[146] Gerhard Friedrich,et al. Extending Constraint Satisfaction Problem Solving in Structural Design , 1992, IEA/AIE.
[147] Satoshi Matsuoka,et al. A general framework for Bi-directional translation between abstract and pictorial data , 1991, UIST '91.
[148] Alan Borning,et al. Constraint-Based Tools for Building User Interfaces , 1986, ACM Trans. Graph..
[149] Tomás Lozano-Pérez,et al. Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.
[150] Scott E. Hudson,et al. Interactive specification of flexible user interface displays , 1990, TOIS.
[151] J. Ludden,et al. Principles and Practice , 1998, Community-based Learning and Social Movements.
[152] R. A. Duisberg,et al. Animated graphical interfaces using temporal constraints , 1986, CHI '86.
[153] M. Carter. Computer graphics: Principles and practice , 1997 .
[154] Aleksander Vesel,et al. Representing Geometric Objects Using Constraint Description Graphs , 1992, IEA/AIE.
[155] Winfried Graf,et al. Constraint-based layout in visual program design , 1995, Proceedings of Symposium on Visual Languages.
[156] John S. Gero,et al. Artificial Intelligence in Design ’94 , 1994, Springer Netherlands.
[157] Takao Asano,et al. A dynamic algorithm for placing rectangles without overlapping , 1991 .
[158] Wilf R. LaLonde,et al. A Smalltalk Window System Based on Constraints , 1988, OOPSLA.
[159] Ralph D. Hill. The Rendezvous constraint maintenance system , 1993, UIST '93.
[160] Joyce J. Elam,et al. Inside a software design team: knowledge acquisition, sharing, and integration , 1993, CACM.
[161] Luis Alberto Pineda. Reference, Synthesis and Constraint Satisfaction * , 1992, Comput. Graph. Forum.
[162] Jan Maluszy¿ski. Constraint Programming in Oz , 1997 .
[163] 鎌田 富久. Visualizing abstract objects and relations : a constraint-based approach , 1989 .
[164] Mark S. Fox,et al. Hierarchical Generate-and-Test vs Constraint-Directed Search , 1992 .
[165] Christoph M. Hoffmann,et al. Geometric constraint solver , 1995, Comput. Aided Des..
[166] William Leler,et al. Constraint programming languages: their specification and generation , 1988 .
[167] Remco C. Veltkamp. A Quantum Approach to Geometric Constraint Satisfaction , 1991, Workshops on Object-Oriented Graphics.
[168] Greg Nelson,et al. Juno, a constraint-based graphics system , 1985, SIGGRAPH.
[169] Theodosios Pavlidis,et al. An automatic beautifier for drawings and illustrations , 1985, SIGGRAPH.
[170] Bjørn N. Freeman-Benson,et al. An incremental constraint solver , 1990, CACM.
[171] Walter Hower,et al. Placing computations by adaptive procedures , 1997, Artif. Intell. Eng..
[172] Bjørn N. Freeman-Benson. Constraint imperative programming , 1992 .
[173] Yasuo Nagai,et al. A Constraint-Based Knowledge Compiler for Parametric Design Problems in Mechanical Engineering , 1996 .
[174] James Bowen,et al. An Axiomatic Approach that Supports Negotiated Resolution of Design Conflicts in Concurrent Engineering , 1994 .
[175] Walter Hower,et al. Constraint Satisfaction - Algorithms and Complexity Analysis , 1995, Inf. Process. Lett..
[176] Elisha Sacks. What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems , 1993, Artif. Intell..
[177] Yanxi Liu,et al. Symmetiy Constraint Inference in Assembly Planning: Automatic Assembly Configuration Specification , 1990, AAAI.
[178] Peter Schnupp,et al. The Representation and Use of Constraints , 1989 .
[179] Gurminder Singh,et al. Inferring 3-dimensional constraints with DEVI , 1994, PPCP.
[180] Satoru Kawai,et al. A general framework for visualizing abstract objects and relations , 1991, TOGS.
[181] Brad A. Myers,et al. The importance of pointer variables in constraint models , 1991, UIST '91.
[182] Beat D. Brüderlin,et al. Constructing three-dimensional geometric objects defined by constraints , 1987, I3D '86.
[183] Glenn A. Kramer,et al. A Geometric Constraint Engine , 1992, Artif. Intell..
[184] Ephraim P. Glinert,et al. Visual Programming Environments: Paradigms and Systems , 1990 .
[185] Paul S. Barth. An object-oriented approach to graphical interfaces , 1986, TOGS.
[186] Ram D. Sriram,et al. Solving constraint satisfaction problems using ATeams , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
[187] Norman I. Badler,et al. Interactive real-time articulated figure manipulation using multiple kinematic constraints , 1990, I3D '90.