1284 search results - page 223 / 257 » On Helping and Interactive Proof Systems |
INFOVIS
2000
IEEE
14 years 1 months ago
2000
IEEE
Two tasks in Graph Visualization require partitioning: the assignment of visual attributes and divisive clustering. Often, we would like to assign a color or other visual attribut...
ITICSE
2010
ACM
14 years 1 months ago
2010
ACM
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...
CCGRID
2004
IEEE
14 years 14 days ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
DIAGRAMS
2006
Springer
14 years 12 days ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
NLDB
2000
Springer
14 years 9 days ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...