743 search results - page 35 / 149 » Games for Controls |
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
SI3D
2005
ACM
14 years 1 months ago
2005
ACM
We present two user interfaces for the interactive control of dynamically-simulated characters. The first interface uses an ‘action palette’ and targets sports prototyping ap...
EJWCN
2010
13 years 2 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
CEC
2011
IEEE
12 years 7 months ago
2011
IEEE
—Games provide an ideal test bed for computational intelligence and significant progress has been made in recent years, most notably in games such as GO, where the level of play...
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Multi-population competitive co-evolution is explored as a way of developing controllers for a simple (but definitely not trivial) car racing game. The three main uses...