670 search results - page 20 / 134 » Real-Time Crying Simulation |
FORTE
1990
13 years 10 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
CGF
2010
13 years 8 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
CGI
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract. In recent years, attention has been paid to particle-based fluid simulation, with several methods being developed to incorporate particle-based simulation into CG animat...
CBSE
2005
Springer
14 years 2 months ago
2005
Springer
This report presents data regarding simulation setup, the genetic algorithms setup and a short description to the use of the genetic algorithms. This report is written in the conte...
FMOODS
2007
13 years 10 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...