Sciweavers

2282 search results - page 277 / 457
» Interactive Data Visualization Using Focusing and Linking
Sort
View
HPCN
1999
Springer
15 years 10 months ago
Data Intensive Distributed Computing; A Medical Application Example
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing large-scale computation. The...
Jason Lee, Brian Tierney, William E. Johnston
FGCS
2000
143views more  FGCS 2000»
15 years 6 months ago
A data intensive distributed computing architecture for "Grid" applications
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing large-scale computation. The...
Brian Tierney, William E. Johnston, Jason Lee, Mar...
VISSYM
2007
15 years 8 months ago
Depth Cues and Density in Temporal Parallel Coordinates
This paper introduces Temporal Density Parallel Coordinates (TDPC) and Depth Cue Parallel Coordinates (DCPC) which extend the standard 2D parallel coordinates technique to capture...
Jimmy Johansson, Patric Ljung, Matthew Cooper
TPHOL
2009
IEEE
16 years 27 days ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk
CANDC
2007
ACM
15 years 10 months ago
Eye-balls: juggling with the virtual
The authors will introduce and demonstrate a novel computer vision based system for augmented performance. Unlike previous systems, which have primarily focused on `high art'...
Joe Marshall, Steve Benford, Tony P. Pridmore