Sciweavers

8719 search results - page 291 / 1744
» A Categorical Approach to Simulations
Sort
View
HAPTICS
2002
IEEE
15 years 11 months ago
Computationally Efficient Techniques for Real Time Surgical Simulation with Force Feedback
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
Jung Kim, Suvranu De, Mandayam A. Srinivasan
COSIT
2001
Springer
122views GIS» more  COSIT 2001»
15 years 11 months ago
Spatial and Cognitive Simulation with Multi-agent Systems
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
Andrew U. Frank, Steffen Bittner, Martin Raubal
IJCNN
2000
IEEE
15 years 11 months ago
Simulation of a Digital Neuro-Chip for Spiking Neural Networks
: Conventional hardware platforms are far from reaching real-time simulation requirements of complex spiking neural networks (SNN). Therefore we designed an accelerator board with ...
Tim Schönauer, S. Atasoy, N. Mehrtash, Heinri...
ISSTA
2000
ACM
15 years 11 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
212
Voted
ANSS
1997
IEEE
15 years 11 months ago
Analytical Simulation for Performance Analysis of Distributed Virtual Reality Systems
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
Shaun Bangay, Peter Clayton, David A. Sewry