2150 search results - page 72 / 430 » On a restricted cross-intersection problem |
137
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
136
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
141
click to vote
HPDC
2000
IEEE
15 years 8 months ago
2000
IEEE
Current processor allocation techniques for highly parallel systems are based on centralized front-end based algorithms. As a result, the applied strategies are restricted to stat...
113
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
An algorithm independent metric is introduced that measures the dispersion of a uniform random sample drawn from the top ranked percentiles of the search space. A low dispersion f...
114
click to vote
AAAI
2008
15 years 6 months ago
2008
This work addresses the problem of efficiently learning action schemas using a bounded number of samples (interactions with the environment). We consider schemas in two languages-...