10909 search results - page 732 / 2182 » Evaluating Backup Algorithms |
214
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
208
click to vote
DAS
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a framework for understanding tables of contents (TOC) of books, journals, and magazines. We propose a universal logical structure representation in terms of a...
224
click to vote
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we evaluate an automatic segmentation algorithm able to identify the set of rigidly moving points within a deformable object given the 2D measurements acqui...
175
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
174
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
In this paper, we propose a policy gradient reinforcement learning algorithm to address transition-independent Dec-POMDPs. This approach aims at implicitly exploiting the locality...