2661 search results - page 126 / 533 » Model Checking Performability Properties |
139
Voted
JCC
2007
15 years 2 months ago
2007
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
116
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
107
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
We investigate the statistical properties of both originated and terminated call arrivals in sets of real GSM telephone traffic data (TIM, Italy), emphasizing results obtained ...
128
Voted
CPM
2000
Springer
15 years 7 months ago
2000
Springer
The syntenic dista nce between two species is the minimum number of fusions, fissions, and translocations required to transform one genome into the other. The linear syntenic dis...
110
Voted
COLT
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we investigate stability-based methods for cluster model selection, in particular to select the number K of clusters. The scenario under consideration is that clust...