4250 search results - page 269 / 850 » Understanding the Requirements on Modelling Techniques |
118
click to vote
WSC
2007
15 years 3 months ago
2007
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
120
click to vote
SPIN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
108
click to vote
PADS
2005
ACM
15 years 6 months ago
2005
ACM
Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multi-scale nature. In contrast to traditional time-stepped exe...
87
Voted
WSC
2004
15 years 2 months ago
2004
This work provides a generalization of the traditional response surface methodology (RSM) that can be applied to complex, multi-objective simulation studies. These problems involv...
82
Voted
ICANN
2007
Springer
15 years 7 months ago
2007
Springer
Support Vector Machines (SVMs) for classification tasks produce sparse models by maximizing the margin. Two limitations of this technique are considered in this work: firstly, th...