482 search results - page 42 / 97 » Exploration in Metric State Spaces |
170
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
101
Voted
EWRL
2008
14 years 11 months ago
2008
We consider reinforcement learning in the parameterized setup, where the model is known to belong to a parameterized family of Markov Decision Processes (MDPs). We further impose ...
86
Voted
JOT
2008
14 years 9 months ago
2008
Class cohesion is considered as one of most important object-oriented software attributes. Cohesion refers to the degree of relatedness between members in a class. High cohesion i...
92
Voted
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
70
Voted
MLDM
1999
Springer
15 years 1 months ago
1999
Springer
Content-based image retrieval methods based on the Euclidean metric expect the feature space to be isotropic. They suer from unequal dierential relevance of features in comput...