Sciweavers

5210 search results - page 798 / 1042
» Computing Capabilities of Mediators
Sort
View
VISUALIZATION
2003
IEEE
15 years 12 months ago
Visualization, Optimization, and Business Strategy: A Case Study
We describe a visualization application intended for operational use in formulating business strategy in the customer service arena. The visualization capability provided in this ...
Donna L. Gresh, Eugene I. Kelton
VISUALIZATION
2003
IEEE
15 years 12 months ago
A Constraint-Based Technique for Haptic Volume Exploration
We present a haptic rendering technique that uses directional constraints to facilitate enhanced exploration modes for volumetric datasets. The algorithm restricts user motion in ...
Milan Ikits, J. Dean Brederson, Charles D. Hansen,...
WCRE
2003
IEEE
15 years 12 months ago
Extracting an Explicitly Data-Parallel Representation of Image-Processing Programs
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
Lewis B. Baumstark Jr., Murat Guler, Linda M. Will...
NETGAMES
2003
ACM
15 years 12 months ago
A multi-user framework supporting video-based avatars
The application of Networked Virtual Environment (NVE) technology on mobile devices is an emerging area in research. The marketing potential for these types of applications, when ...
Peter Quax, Tom Jehaes, Pieter Jorissen, Wim Lamot...
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
15 years 12 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary