322 search results - page 50 / 65 » Active Context-Free Games |
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
IEEECGIV
2006
IEEE
14 years 2 months ago
2006
IEEE
Visualization and team sports have an important and established relationship that is seldom understood. Team sports can be considered as complex activities ng a considerable numbe...
TABLETOP
2006
IEEE
14 years 2 months ago
2006
IEEE
Tabletops have been used to support a range of colocated activities, from games to image sorting. However, their limited display space and resolution can restrict the kinds of col...
EUROGP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper describes the first attempt to introduce evolutionarily designed players into the international Robocode league, a simulationbased game wherein robotic tanks ...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
Multimedia is not a dream anymore. Nowadays we use images (e.g., GIF, JPEG, and BMP), videos (e.g., MPEG, AVI, and QuickTime), and sounds (e.g., MIDI and WAV) as well as alphanume...