7228 search results - page 1415 / 1446 » From Algorithmic to Subjective Randomness |
109
click to vote
AOSD
2008
ACM
14 years 11 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
A rational agent adopts (or changes) its goals when new information (beliefs) becomes available or its desires (e.g., tasks it is supposed to carry out) change. In conventional ap...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We study the complexity of manipulation for a family of election systems derived from Copeland voting via introducing a parameter that describes how ties in head-to-head contests...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Bots for Real Time Strategy (RTS) games provide a rich challenge to implement. A bot controls a number of units that may have to navigate in a partially unknown environment, while...