2470 search results - page 141 / 494 » Liveness-Preserving Simulation Relations |
94
Voted
ENTCS
2008
15 years 25 days ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
136
Voted
CVGIP
2006
15 years 24 days ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
86
Voted
IJHPCA
2008
15 years 23 days ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
100
click to vote
CCE
2007
15 years 23 days ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
83
Voted
NN
2006
Springer
15 years 21 days ago
2006
Springer
The Vector Integration to Endpoint (VITE) circuit describes a real-time neural network model simulating behavioral and neurobiological properties of planned arm and hand movements...