364 search results - page 33 / 73 » Guiding Model Search Using Segmentation |
114
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
119
click to vote
LION
2007
Springer
15 years 7 months ago
2007
Springer
This paper is about Reinforcement Learning (RL) applied to online parameter tuning in Stochastic Local Search (SLS) methods. In particular a novel application of RL is considered i...
227
click to vote
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
People are seldom aware that their search queries frequently mismatch a majority of the relevant documents. This may not be a big problem for topics with a large and diverse set o...
108
click to vote
TROB
2010
14 years 11 months ago
2010
—To efficiently solve challenging motion-planning problems with dynamics, this paper proposes treating motion planning not just as a search problem in a continuous space but as ...
111
click to vote
JCB
2006
15 years 1 months ago
2006
We propose a dictionary model for haplotypes. According to the model, a haplotype is constructed by randomly concatenating haplotype segments from a given dictionary of segments. ...