Sciweavers

3560 search results - page 500 / 712
» Low-Fidelity Algorithm Visualization
Sort
View
DIAGRAMS
2004
Springer
15 years 12 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
IV
2003
IEEE
91views Visualization» more  IV 2003»
15 years 11 months ago
Labeled Radial Drawing of Data Structures
This paper describes a radial layout method for displaying B+ -tree data structures. We present an algorithmic framework for computing the node positions that result in a planar d...
M. Bernard, S. Mohammed
VL
2003
IEEE
128views Visual Languages» more  VL 2003»
15 years 11 months ago
Development and evaluation of a model of programming errors
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
Andrew Jensen Ko, Brad A. Myers
MM
2003
ACM
131views Multimedia» more  MM 2003»
15 years 11 months ago
Enhancing web accessibility
This demonstration will illustrate the key technical and user interface aspects of the Web Adaptation Technology. Various transformations underlying the system will be shown that ...
Alison Lee, Vicki L. Hanson
GECCO
2003
Springer
138views Optimization» more  GECCO 2003»
15 years 11 months ago
Emergence of Collective Behavior in Evolving Populations of Flying Agents
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
Lee Spector, Jon Klein, Chris Perry, Mark Feinstei...