1890 search results - page 206 / 378 » Model-Based Testing in Practice |
154
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present an approach to obstacle avoidance and local path planning for polygonal robots. It decomposes the task into a model stage and a planning stage. The model ...
175
click to vote
CPM
2010
Springer
15 years 11 months ago
2010
Springer
We study the minimum mosaic problem, an optimization problem originated in population genomics. We develop a new lower bound, called the C bound. The C bound is provably higher and...
192
click to vote
FUN
2010
Springer
15 years 11 months ago
2010
Springer
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
169
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces a new classification scheme called “open-ended texture classification.” The standard approach for texture classification is to use a closed n-class cl...
151
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...