1138 search results - page 73 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
120
Voted
IEAAIE
2003
Springer
15 years 7 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
115
Voted
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper addresses the problem of state estimation in the case where the prior distribution of the states is not perfectly known but instead is parameterized by some unknown par...
91
Voted
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
ICRA
1995
IEEE
15 years 6 months ago
1995
IEEE
The control of nonholonomic and underactuated systems with symmetry is illustrated by the problem of controlling a bicycle. We derive a controller which, using steering and rear-w...
103
Voted
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...