9284 search results - page 487 / 1857 » Knowledge State Algorithms |
216
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
187
click to vote
SSS
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
188
click to vote
CPAIOR
2005
Springer
16 years 1 months ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
212
click to vote
RISE
2004
Springer
16 years 29 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
190
click to vote
ECCV
2010
Springer
16 years 20 days ago
2010
Springer
Many segmentation algorithms describe images in terms of a hierarchy of regions. Although such hierarchies can produce state of the art segmentations and have many applications, th...