4276 search results - page 292 / 856 » Techniques for Empirical Validation |
175
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
191
click to vote
AAAI
2007
15 years 9 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
208
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
It is generally believed that by combining several diverse intrusion detectors (i.e., forming an IDS ensemble), we may achieve better performance. However, there has been very lit...
147
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
In many multiclass learning scenarios, the number of classes is relatively large (thousands,...), or the space and time efficiency of the learning system can be crucial. We invest...
157
click to vote
AAAI
2006
15 years 8 months ago
2006
The Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent parame...