Brad Vander Zanden  Home/Search
Context Related
Links: ACM | utk.edu/pub/TechRep...utcs95282.ps.Z utk.edu/~library/Te...utcs95282.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utk.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: One-way dataflow constraints have gained popularity in many types of interactive systems because of their simplicity, efficiency, and manageability. Although it is widely acknowledged that multi-way dataflow constraints could make it easier to specify certain relationships in these applications, concerns about their predictability and efficiency have impeded their acceptance. Constraint hierarchies have been developed to address the predictability problem and incremental algorithms have been... (Update)
Context of citations to this paper: More
...19] is unable to Find acyclic solutions of potentially cyclic constraint graphs. An algorithm that removes this limitation is presented in [22]. time are kept separate: state manager time always goes forward and is used to keep track of the successive states of the system;...
...only be applied to special sets of constraints and comparators. The local propagation algorithms DeltaBlue [13] SkyBlue [12] QuickPlan [15], DETAIL [10] Houria [8] can solve only equality constraints, e.g. linear equations over reals. The exception is the Indigo algorithm...
Cited by: More
GADGET: A Toolkit for Optimization-Based Approaches to.. - Fogarty, Hudson (2003) (Correct)
Scene Modeling Based on Constraint System Decomposition.. - Marta Wilczkowiak Gilles (2003) (Correct)
A Theoretical Framework for Constraint Hierarchy Solvers - Bartak (2002) (Correct)
Similar documents (at the sentence level):
19.4%: An Incremental Algorithm for Satisfying Hierarchies of Multi-way, .. - Zanden (1995) (Correct)
Active bibliography (related documents): More All
2.3: Integrating Pointer Variables into One-Way Constraint Models - Brad Vander Zanden (1994) (Correct)
0.8: Demonstrational and Constraint-Based Techniques for.. - Zanden, Myers (1995) (Correct)
0.5: Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997) (Correct)
Similar documents based on text: More All
0.3: Supporting Interactive Animation Using Multi-way Constraints - Jean-Francis Balaguer And (Correct)
0.1: Parallelization of the Hoshen-Kopelman Algorithm Using a .. - Berry, Constantin.. (1995) (Correct)
0.1: Multiway Cut - Calinescu, Karloff, Rabani (1998) (Correct)
Related documents from co-citation: More All
21: Multi-way versus one-way constraints in user interfaces: Experience with the Del.. - Sannella, Maloney et al. - 1993
14: The OTI Constraint Solver: A Constraint Library for Constructing Interactive Gra.. - Borning, Freeman-Benson - 1995
13: Generalized local propagation: A framework for solving constraint hierarchies - Hosobe, Matsuoka et al. - 1996
BibTeX entry: (Update)
B. Vander Zanden. An incremental algorithm for satisfying hierarchies of multi-way dataflow constraints. ACM TOPLAS, 18(1):30--72, 1996. http://citeseer.ist.psu.edu/article/vanderzanden95incremental.html More
@article{ zanden96incremental,
author = "Brad {Vander Zanden}",
title = "An incremental algorithm for satisfying hierarchies of multiway dataflow constraints",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "18",
number = "1",
pages = "30--72",
year = "1996",
url = "citeseer.ist.psu.edu/article/vanderzanden95incremental.html" }
Citations (may not include all citations):650 Numerical Methods for Unconstrained Optimization and Nonline.. (context) - Dennis, Schnabel - 1983
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, Van Hentenryck et al. - 1988 DBLP
258 Golub and Charles F (context) - Gene - 1989
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
100 An Incremental Constraint Solver (context) - Freeman-Benson, Maloney et al. - 1990 ACM DBLP
82 Constraint Logic Programming Languages (context) - Cohen - 1990 ACM DBLP
76 Constraint Hierarchies and Logic Programming - Borning, Maher et al. - 1989 DBLP
76 Multi-Way versus One-Way Constraints in User Interfaces: Exp.. - Sannella, Maloney et al. - 1993
75 Garnet: Comprehensive Support for Graphical, HighlyInteracti.. (context) - Myers, Giuse et al. - 1990
68 Through-the-Lens Camera Control - Gleicher, Witkin - 1992 ACM DBLP
64 Sketchpad: A Man-Machine Graphical Communication System (context) - Sutherland - 1963
64 Constraint-Based Tools for Building User Interfaces (context) - Borning, Duisberg - 1986 ACM DBLP
63 Creating User Interfaces by Demonstration (context) - Myers - 1988 ACM
62 Fast Animation and Control of Nonrigid Structures - Witkin, Welch - 1990 ACM DBLP
62 Constraint Hierarchies - Borning, Freeman-Benson et al. - 1992 ACM DBLP
61 Incremental Context-Dependent Analysis for LanguageBased Edi.. (context) - Reps, Teitelbaum et al. - 1983
51 The Rendezvous Architecture and Language for Constructing Mu.. (context) - Hill, Brinck et al. - 1994
49 Incremental Evaluation of Computational Circuits (context) - Alpern, Hoover et al. - 1990 ACM DBLP
32 Incremental Attribute Evaluation: A Flexible Algorithm for L.. (context) - Hudson - 1991 DBLP
29 SkyBlue: A Multi-Way Local Propagation Constraint Solver for.. - Sannella - 1994 DBLP
28 Quantifier Elimination for Conjunctions of Linear Constraint.. (context) - Lassez, Lassez - 1991
28 An Object-Oriented Approach to Graphical Interfaces (context) - Barth - 1986 ACM DBLP
26 Using Constraints for User Interface Construction (context) - Maloney - 1991 ACM
26 The CLP(R) Language and System (context) - Jaffar, Michaylov et al. - 1992 DBLP
25 A Canonical Form for Generalized Linear Constraints (context) - Lassez, McAloon - 1992 ACM DBLP
24 Integrating Pointer Variables into One-Way Constraint Models - Zanden, Myers et al. - 1994 ACM DBLP
24 Incremental Graph Evaluation (context) - Hoover - 1987 ACM
24 Multi-Garnet: Integrating Multi-Way Constraints with Garnet - Sannella, Borning - 1992
22 Interactive Dynamics - Witkin, Gleicher et al. - 1990 ACM
21 Alphonse: Incremental Computation as a Programming Abstracti.. (context) - Hoover - 1992 DBLP
19 A User Interface Toolkit Based on Graphical Objects and Cons.. (context) - Szekely, Myers - 1988 ACM DBLP
18 Kaleidoscope: Mixing Objects (context) - Freeman-Benson - 1990
18 Constraint Satisfaction and Debugging for Interactive User I.. (context) - Sannella - 1994 ACM
17 Incremental Constraint Satisfaction and Its Application to G.. (context) - Zanden - 1988 ACM
16 Creating User Interfaces Using Programming-by-Example, Visua.. (context) - Myers - 1990
15 Practical Issues on the Projection of Polyhedral Sets (context) - Huynh, Lassez et al. - 1992 DBLP
15 User Interface Specification Using an Enhanced Spreadsheet M.. - Hudson - 1994 ACM DBLP
15 A Linear Constraint Technology for Interactive Graphic Syste.. (context) - Helm, Huynh et al. - 1992 ACM
14 The Definition and Implementation of A Computer Programming .. (context) - Steele - 1980 ACM
14 A System for Efficient and Flexible One-Way Constraint Evalu.. (context) - Hudson - 1993
13 Differential Manipulation - Gleicher, Witkin - 1991
7 Reasoning About Linear Constraints Using Parametric Queries (context) - Huynh, Joskowicz et al. - 1990 ACM DBLP
6 The Programming Language Aspects of ThingLab; a Constraint-O.. (context) - Borning - 1981
5 A Domain-Independent Algorithm for Incrementally Satisfying .. (context) - Zanden - 1992 ACM
4 ACM SIGGRAPH Symposium on User Interface Software and Techno.. (context) - Henry, Hudson et al. - 1988
3 ACM SIGGRAPH Symposium on User Interface Software and Techno.. (context) - Hill, Constraint - 1993
3 Constraint-Based Animation: The Implementation of Temporal C.. (context) - Duisberg - 1986
2 Carnegie Mellon University Computer Science Department (context) - Gosling, Tech et al. - 1983
2 OOPSLA'87 Conference Proceedings (context) - Borning, Duisberg et al. - 1987
2 Integrating Multi-way and Structural Constraints into Spread.. (context) - Rosener - 1994 ACM
1 Second International Symposium on Artificial Intelligence an.. (context) - Gangnet, Rosenberg et al. - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/cs.utk.edu.html): More
Constructive Complexity - Abrahamson, Fellows, Langston, Moret (1990) (Correct)
The Computation of Elementary Unitary Matrices - Lehoucq (1994) (Correct)
Jgraph - A Filter for Plotting Graphs in PostScript - Plank (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC