793 search results - page 92 / 159 » Input Modeling Tools for Complex Problems |
SIMUTOOLS
2008
15 years 1 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
104
click to vote
NN
2007
Springer
15 years 6 months ago
2007
Springer
The signature of neuronal assemblies is the higher-order correlation structure of the spiking activity of the participating neurons. Due to the rapid progress in recording technol...
WSC
1998
15 years 1 months ago
1998
A key concern for the area of discrete event simulation modelling is to encourage its adoption and use by nonspecialists. To achieve this it is important that we focus on developi...
KDD
2004
ACM
15 years 5 months ago
2004
ACM
World steel trade becomes more competitive every day and new high international quality standards and productivity levels can only be achieved by applying the latest computational...
99
Voted
IPSN
2010
Springer
15 years 3 months ago
2010
Springer
The robust operation of many sensor network applications depends on deploying relays to ensure wireless coverage. Radio mapping aims to predict network coverage based on a small n...