6355 search results - page 163 / 1271 » From Logic to Games |
174
click to vote
PUC
2011
15 years 1 months ago
2011
Abstract Research field trials of fully functional prototypes of location-based games are an effective way to test game designs and develop an understanding of what makes games co...
157
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Gamification, the use of game mechanics in non-gaming applications, has been applied to various systems to encourage desired user behaviors. In this paper, we examine patterns of ...
151
click to vote
TPHOL
2005
IEEE
16 years 2 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
172
click to vote
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This work considers the problem of approximating fixed predicate constraint satisfaction problems (MAX k-CSP(P)). We show that if the set of assignments accepted by P co...
149
click to vote
RAS
2007
15 years 6 months ago
2007
RatSLAM is a biologically-inspired visual SLAM and navigation system that has been shown to be effective indoors and outdoors on real robots. The spatial representation at the cor...