11160 search results - page 2104 / 2232 » Incompleteness in a General Setting |
152
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Recent studies of irregular applications such as finite-element mesh generators and data-clustering codes have shown that these applications have a generalized data parallelism ar...
140
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
145
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In strategic multiagent decision making, it is often the case that a strategic reasoner must hold beliefs about other agents and use these beliefs to inform its decision making. T...
141
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Multiagent coordination algorithms provide unique insights into the challenging problem of alleviating traffic congestion. What is particularly interesting in this class of proble...
137
click to vote
ATAL
2008
Springer
15 years 6 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...