11234 search results - page 192 / 2247 » A Microsurgery Simulation System |
143
click to vote
IJCAI
1989
15 years 8 months ago
1989
In this paper, we present QUALEX, a system and algorithm for generating first-order qualitative causal graphs for tutorial purposes based on de Kleer and Brown's qualitative ...
197
Voted
SAC
2002
ACM
15 years 6 months ago
2002
ACM
We describe the design and implementation of a system for simulating the spread of disease among individuals in a large urban population over the course of several weeks. In contr...
153
click to vote
IEEEHPCS
2010
2010
Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine
15 years 5 months ago
This paper presents a computing technique for efficient parallel simulation of large-scale discrete-event models on the IBM Cell Broadband Engine (CBE), which has one Power Proces...
210
Voted
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
178
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...