Sciweavers

25 search results - page 2 / 5
» avi 2000
Sort
View
FOCS
2000
IEEE
13 years 9 months ago
Pseudorandom Generators in Propositional Proof Complexity
Michael Alekhnovich, Eli Ben-Sasson, Alexander A. ...
AVI
2000
13 years 6 months ago
Instructions and Descriptions: some cognitive aspects of programming and similar activities
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
Thomas Green
AVI
2000
13 years 6 months ago
A Visual Tool for Querying Geographic Databases
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
Andreas D. Blaser, Max J. Egenhofer
AVI
2000
13 years 6 months ago
VISPS, a Visual System for Plan Specification
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
Marco Porta
AVI
2000
13 years 6 months ago
Architectures to make Simple Visualisations using Simple Systems
In previous work, the first author argued for simple lightweight visualisations. These are surprisingly complex to produce due to the need for infrastructure to read files, etc. o...
Alan J. Dix, Russell Beale, Andy Wood