31 search results - page 2 / 7 » Game Refinement Relations and Metrics |
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
BMCBI
2011
13 years 15 days ago
2011
Background: Computational analysis of metagenomes requires the taxonomical assignment of the genome contigs assembled from DNA reads of environmental samples. Because of the diver...
NETGAMES
2006
ACM
13 years 11 months ago
2006
ACM
Multiplayer gaming over the Internet continues to grow in popularity, despite a lack of Quality of Service (QoS) mechanisms. Future QoS-aware networks such as those based on the D...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
FLAIRS
2004
13 years 6 months ago
2004
Initial successes in the area of recommender systems have led to considerable early optimism. However as a research community, we are still in the early days of our understanding ...