2488 search results - page 414 / 498 » An improvement in formal verification |
133
click to vote
IJCAI
2001
15 years 2 months ago
2001
R-max is a very simple model-based reinforcement learning algorithm which can attain near-optimal average reward in polynomial time. In R-max, the agent always maintains a complet...
127
click to vote
WSC
2004
15 years 2 months ago
2004
Federated simulations address the need for interoperability, as well as the improvement of reuse and composability of existing simulation models. The focal goal in a federated sim...
127
click to vote
PAKM
2000
15 years 2 months ago
2000
The core of the new product development [NPD] process centers on knowledge creation, utilization and the management of knowledge. This manuscript uses a software firm case to esta...
UAI
2000
15 years 2 months ago
2000
Incorporating feature selection into a classi cation or regression method often carries a number of advantages. In this paper we formalize feature selection speci cally from a dis...
115
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Peer review meetings (PRMs) are formal meetings during which peers systematically analyze artifacts to improve their quality and report on non-conformities. This paper presents an...