9842 search results - page 1928 / 1969 » Problem complexity |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Coordination within decentralized agent groups frequently requires reaching global consensus, but typical hierarchical approaches to reaching such decisions can be complex, slow, ...
CCIA
2009
Springer
13 years 11 months ago
2009
Springer
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...
HUC
2010
Springer
13 years 11 months ago
2010
Springer
Providing sustainable energy is one of the fundamental challenges for mankind. With energy usage being a part of everyday activities and with the increasingly diversity of energy ...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...