3690 search results - page 662 / 738 » Computation with classical sequents |
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
Recently, system architects have built low-power, high-performance clusters, such as Green Destiny. The idea behind these clusters is to improve the energy efficiency of nodes. H...
100
click to vote
COCO
2005
Springer
15 years 3 months ago
2005
Springer
We prove that if NP ⊆ BPP, i.e., if SAT is worst-case hard, then for every probabilistic polynomial-time algorithm trying to decide SAT, there exists some polynomially samplable ...
106
click to vote
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
The increasing popularity of persistent worlds and the predicted rise of pervasive gaming, both having a strong inherent potential for role-playing, stress a classical challenge o...
100
click to vote
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
Interactive montage combines the elements of play and visual representation. The analysis of four examples of interactive montage in reference to a first person point of view high...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
Although emotions elicited by the fictional world or the artefact play a part in story-driven video games, they are certainly not the focus of the experience. From a cognitive psy...