4447 search results - page 595 / 890 » Model Checking Games |
148
click to vote
ASIAN
2005
Springer
16 years 8 days ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
138
click to vote
COCOON
2003
Springer
15 years 12 months ago
2003
Springer
In the popular computer game of Tetris, the player is given a sequence of tetromino pieces and must pack them into a rectangular gameboard initially occupied by a given configurat...
153
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
207
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Facial animation has been combined with text-to-speech synthesis to create innovative multimodal interfaces. In this paper, we present an architecture for this multimodal interfac...
210
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Fundamental to the generation of 3D audio is the HRTF processing of acoustical signals. Unfortunately, given the high dimensionality of HRTFs, incorporating them into dynamic/inte...