4447 search results - page 355 / 890 » Model Checking Games |
161
click to vote
SIGECOM
2010
ACM
15 years 7 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
160
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The objective of this study is to identify the relationships in which social support influences flow and game loyalty through character control, character identity, guild identity...
171
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— In each country today, cellular networks operate on carefully separated frequency bands. This careful separation is imposed by the regulators of the given country to avoid the ...
188
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
In interactive computer games and computer animation, intuitively controlling the motion of an articulated character is considered as a difficult task. One of the reasons is that, ...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...