9716 search results - page 94 / 1944 » The Case for Energy-Proportional Computing |
147
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
158
click to vote
FOCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
162
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
179
click to vote
ICCBR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
166
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
Object-oriented case representations require approaches for similarity assessment that allow to compare two differently structured objects, in particular, objects belonging to diff...