8719 search results - page 90 / 1744 » A Categorical Approach to Simulations |
114
click to vote
DAC
1997
ACM
15 years 5 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...
146
Voted
IVA
2010
Springer
14 years 12 months ago
2010
Springer
We present a velocity-based model for realistic collision avoidance among virtual characters. Our approach is elaborated from experimental data and is based on the simple hypothesi...
MICCAI
2005
Springer
16 years 2 months ago
2005
Springer
Cardiac ablation procedures are becoming more routine to treat arrhythmias. The development of electrophysiological models will allow investigation of treatment strategies. However...
107
click to vote
ENTCS
2002
15 years 1 months ago
2002
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F(X) = X +O. In the present paper I will introduce a notion of weak ...
IFIP
2000
Springer
15 years 5 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...