482 search results - page 48 / 97 » Exploration in Metric State Spaces |
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
AIPS
2006
13 years 9 months ago
2006
This paper presents an adaptation of the standard quantum search technique to enable application within Dynamic Programming, in order to optimise a Markov Decision Process. This i...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
This study presents a new visualization tool for classification of satellite imagery. Visualization of feature space allows exploration of patterns in the image data and insight in...
IMC
2006
ACM
14 years 1 months ago
2006
ACM
The low price of commodity wireless LAN cards and access points (APs) has resulted in the rich proliferation of high density WLANs in enterprise, academic environments, and public ...