We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
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...
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...
Yvonne Rogers, Youn-Kyung Lim, William R. Hazlewoo...
Abstract. This paper describes the first attempt to introduce evolutionarily designed players into the international Robocode league, a simulationbased game wherein robotic tanks ...
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...