Sciweavers

5630 search results - page 829 / 1126
» Computability in Specification
Sort
View
PG
2003
IEEE
15 years 12 months ago
A State Machine for Real-Time Cutting of Tetrahedral Meshes
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
Daniel Bielser, Pascal Glardon, Matthias Teschner,...
WMCSA
2003
IEEE
15 years 12 months ago
Pervasive Information Acquisition for Mobile AR-Navigation Systems
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
Wolfgang Narzt, Gustav Pomberger, Alois Ferscha, D...
SIGGRAPH
2003
ACM
15 years 12 months ago
A social metaphor-based 3D virtual environment
Our design goal for OnLive Traveler was to develop a virtual community system that emulates natural social paradigms, allowing the participants to sense a tele-presence, the subje...
Steve DiPaola, David Collins
AIME
2003
Springer
15 years 12 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
FPGA
2003
ACM
161views FPGA» more  FPGA 2003»
15 years 12 months ago
Implementation of BEE: a real-time large-scale hardware emulation engine
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
Chen Chang, Kimmo Kuusilinna, Brian C. Richards, R...