• Publications
  • Influence
The Semantics of Constraint Logic Programs
TLDR
The Constraint Logic Programming (CLP) Scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. Expand
  • 221
  • 31
  • PDF
Two Classes of Boolean Functions for Dependency Analysis
TLDR
We identify two classes of Boolean functions that have been used: positive and definite functions, and we systematically investigate these classes and their efficient implementation for dependency analyses. Expand
  • 109
  • 20
  • PDF
Constraint multiset grammars
  • K. Marriott
  • Computer Science
  • Proceedings of IEEE Symposium on Visual…
  • 4 October 1994
TLDR
Constraint multiset grammars provide a general, high-level framework for the definition of visual languages. Expand
  • 156
  • 16
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation
TLDR
We identify two classes of Boolean functions that have been used: positive and definite functions, and we systematically investigate their efficient implementation for dependency analyses. Expand
  • 66
  • 16
Immersive Analytics
TLDR
Immersive Analytics is an emerging research thrust investigating how new interaction and display technologies can be used to support analytical reasoning and decision making. Expand
  • 159
  • 13
  • PDF
Fast Node Overlap Removal
TLDR
The problem of node overlap removal is to adjust the layout generated by typical graph drawing methods so that nodes of non-zero width and height do not overlap, yet are as close as possible to their original positions. Expand
  • 134
  • 13
  • PDF
Precise and efficient groundness analysis for logic programs
TLDR
We show how precise groundness information can be extracted from logic programs by using Boolean functions as approximations to groundness dependencies between variables. Expand
  • 134
  • 12
GraVVITAS: Generic Multi-touch Presentation of Accessible Graphics
TLDR
We present a new multimodal computer tool, GraVVITAS, for presenting accessible graphics to people who are blind. Expand
  • 74
  • 11
  • PDF
Unification Revisited
TLDR
In the literature, unification is often treated as a simple and straightforward matter, even though it is recognized as a deep and fundamental concept. Expand
  • 411
  • 10
Solving linear arithmetic constraints for user interface applications
TLDR
We describe incremental algorithms based on the dual simplex and active set methods that can solve such systems of constraints efficiently. Expand
  • 111
  • 10
  • PDF