3455 search results - page 187 / 691 » Generalized Game Trees |
176
click to vote
CIM
2011
15 years 1 months ago
2011
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
252
click to vote
ACMACE
2011
ACM
14 years 6 months ago
2011
ACM
Alternate Reality Games (ARGs) are interactive narrative experiences that engage the player by layering a fictional world over the real world. Mobile ARG stories are often geo-sp...
193
click to vote
STOC
2010
ACM
16 years 3 months ago
2010
ACM
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...
170
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
151
click to vote
APBC
2004
15 years 8 months ago
2004
This article describes a dispensation order generation algorithm for genotyping using the Pyrosequencing method. The input template of the algorithm is a slightly restricted regul...