Sciweavers

6355 search results - page 126 / 1271
» From Logic to Games
Sort
View
BIRTHDAY
2003
Springer
15 years 11 months ago
From CTL to Datalog
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
Foto N. Afrati, Theodore Andronikos, Vassia Pavlak...
MM
2010
ACM
167views Multimedia» more  MM 2010»
15 years 6 months ago
Improving online gaming quality using detour paths
We study the problem of improving the user perceived quality of online games in which multiple players form a game session and exchange game-state updates over an overlay network....
Cong Ly, Cheng-Hsin Hsu, Mohamed Hefeeda
FUZZIEEE
2007
IEEE
16 years 23 days ago
A Generalized Class of T-norms From a Categorical Point of View
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...
Benjamín C. Bedregal, Hélida S. Sant...
VIS
2009
IEEE
224views Visualization» more  VIS 2009»
16 years 7 months ago
Game Engines for Visualization
Visualization is the transformation of data or information into pictures. The need for visualization has become more apparent as the amount of available information has increased ...
Nick Green, Alex Pang
CHI
2010
ACM
16 years 1 months ago
Curator: a game with a purpose for collection recommendation
Collection recommender systems suggest groups of items that work well as a whole. The interaction effects between items is an important consideration, but the vast space of possib...
Greg Walsh, Jennifer Golbeck