1150 search results - page 124 / 230 » Tackling Large State Spaces in Performance Modelling |
132
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
129
click to vote
PR
2007
15 years 3 months ago
2007
Tuning SVM hyperparameters is an important step in achieving a high-performance learning machine. It is usually done by minimizing an estimate of generalization error based on the...
133
Voted
ASE
2008
15 years 4 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
140
click to vote
RSS
2007
15 years 5 months ago
2007
— In probabilistic mobile robotics, the development of measurement models plays a crucial role as it directly influences the efficiency and the robustness of the robot’s perf...
195
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...