980 search results - page 119 / 196 » A Sequential Reduction Strategy |
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Vast segments of the frequency spectrum are licensed to specific users for particular applications. These legacy users, however, often under-utilize their designated spectrum seg...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Adiabatic quantum annealing is a paradigm of analog quantum computation, where a given computational job is converted to the task of finding the global minimum of some classical po...
JAIR
2008
14 years 9 months ago
2008
Partially Observable Markov Decision Processes (POMDPs) provide a rich framework for sequential decision-making under uncertainty in stochastic domains. However, solving a POMDP i...
CLEIEJ
2004
14 years 9 months ago
2004
Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very diffic...