2008 search results - page 235 / 402 » Computing with Equations |
178
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
197
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...
165
click to vote
IWEC
2010
15 years 8 months ago
2010
Creating believable agents with personality is a popular research area in game studies but academic research in this area usually focuses on one facet of personality - for example...
200
click to vote
MIC
2003
15 years 7 months ago
2003
A lumped heat transfer model and parameter estimation technique are proposed for determining key parameters associated with a heat flux Differential Scanning Calorimeter (DSC). T...
172
click to vote
AAAI
1993
15 years 7 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...