3073 search results - page 381 / 615 » Real World Verification |
164
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
The Support Vector Machine error bound is a function of the margin and radius. Standard SVM algorithms maximize the margin within a given feature space, therefore the radius is fi...
141
click to vote
PRIMA
2009
Springer
16 years 1 months ago
2009
Springer
In this article, we propose a method to adapt stepsize parameters used in reinforcement learning for dynamic environments. In general reinforcement learning situations, a stepsize...
152
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
146
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
170
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Graph searching games have been extensively studied in the past years. The graph searching problem involves a team of searchers who are attempting to capture a fugitive moving alon...