359 search results - page 13 / 72 » Towards Automated Game Design |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
NDSS
2000
IEEE
13 years 12 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
SIGECOM
2004
ACM
14 years 29 days ago
2004
ACM
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The key difficulty is that the agents may report their preferences insincerely to m...
ACMACE
2009
ACM
14 years 2 months ago
2009
ACM
When it comes to motivating teenagers towards energy awareness, new approaches need to be considered. One such is the use of pervasive games connected to the players own energy co...