4007 search results - page 345 / 802 » Computation with imprecise probabilities |
232
click to vote
TSE
2010
15 years 2 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
247
click to vote
TWC
2010
15 years 2 months ago
2010
Abstract--We develop a new metric for quantifying end-toend throughput in multihop wireless networks, which we term random access transport capacity, since the interference model p...
196
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper proposes a new blind algorithm, based on Mixture Kalman Filtering (MKF), for joint carrier recovery and channel estimation in time-selective Rayleigh fading channels. M...
253
click to vote
GECCO
2011
Springer
14 years 11 months ago
2011
Springer
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...
228
click to vote
IJRR
2011
14 years 11 months ago
2011
— This paper presents LQG-MP (linear-quadratic Gaussian motion planning), a new approach to robot motion planning that takes into account the sensors and the controller that will...