256 search results - page 32 / 52 » Games are up for DVFS |
168
click to vote
PODS
2009
ACM
15 years 10 months ago
2009
ACM
For many years, finite model theory was viewed as the backbone of database theory, and database theory in turn supplied finite model theory with key motivations and problems. By n...
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
100
click to vote
AGI
2008
14 years 11 months ago
2008
In order to claim fully general intelligence in an autonomous agent, the ability to learn is one of the most central capabilities. Classical machine learning techniques have had ma...
GAMEON
2000
14 years 11 months ago
2000
The realistic physical modelling of characters in games and virtual worlds is becoming a viable alternative to more traditional animation techniques. Physical modelling can enhanc...
CG
2002
Springer
14 years 9 months ago
2002
Springer
Speeder Reader is an interactive reading station built around two primary ideas: dynamic text (especially RSVP, that is, rapid serial visual presentation), and the interface metap...