2008 search results - page 235 / 402 » Computing with Equations |
136
click to vote
ESOP
2008
Springer
15 years 5 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...
159
Voted
EUROPAR
2008
Springer
15 years 5 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...
137
Voted
IWEC
2010
15 years 5 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...
151
Voted
MIC
2003
15 years 5 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...
136
Voted
AAAI
1993
15 years 5 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...