Sciweavers

1418 search results - page 218 / 284
» Interactive digital FogScreen
Sort
View
ICMCS
1999
IEEE
168views Multimedia» more  ICMCS 1999»
15 years 9 months ago
A Scalable System for 3D Audio Ray Tracing
Though several approaches in sound processing are denoted as 3D audio very few of them generate high quality 3D audio information which allows listeners to exactly locate sound so...
Wolfgang Mueller, Frank Ullmann
ECOOPW
1999
Springer
15 years 9 months ago
Providing Policy-Neutral and Transparent Access Control in Extensible Systems
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
Robert Grimm, Brian N. Bershad
CAV
1998
Springer
175views Hardware» more  CAV 1998»
15 years 9 months ago
An ACL2 Proof of Write Invalidate Cache Coherence
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
J. Strother Moore
VISUALIZATION
1997
IEEE
15 years 9 months ago
Multiresolution compression and reconstruction
This paper presents a framework for multiresolution compression and geometric reconstruction of arbitrarily dimensioned data designed for distributed applications. Although being ...
Oliver G. Staadt, Markus H. Gross, Roger Weber
AGENTS
1997
Springer
15 years 9 months ago
High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
Karen Zita Haigh, Manuela M. Veloso