1798 search results - page 121 / 360 » Considerations for the design of exergames |
83
Voted
AAAI
2008
15 years 14 days ago
2008
We present the design of a banner advertising auction which is considerably more expressive than current designs. We describe a general model of expressive ad contracts/bidding an...
DNA
2006
Springer
15 years 3 days ago
2006
Springer
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
AAAI
2010
14 years 11 months ago
2010
The Gibbard-Satterthwaite Theorem asserts that any reasonable voting rule cannot be strategyproof. A large body of research in AI deals with circumventing this theorem via computa...
ICAD
2004
14 years 11 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
101
Voted
SDL
2003
14 years 11 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...