1411 search results - page 269 / 283 » Interactive Coding for Interactive Proofs |
PG
2002
IEEE
15 years 2 months ago
2002
IEEE
We present the 3D Video Recorder, a system capable of recording, processing, and playing three–dimensional video from multiple points of view. We first record 2D video streams f...
131
click to vote
BICOB
2010
Springer
15 years 2 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
CSMR
2000
IEEE
15 years 2 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
SP
2000
IEEE
15 years 2 months ago
2000
IEEE
Today, even a moderately sized corporate intranet contains multiple firewalls and routers, which are all used to enforce various aspects of the global corporate security policy. ...
112
click to vote
VVS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes architecture and implementation of the ULTRAVIS system, a pure software solution for versatile and fast volume rendering. It provides perspective raycasting, ...