We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
Jan Calta, Dmitry Shkatov, Bernd-Holger Schlinglof...
Meta-S is a practical implementation and extension of the theoretical framework developed by Hofstedt, which allows the user to attack problems requiring the cooperation of arbitr...
The symmetrical decomposition is a powerful method to extract features for image recognition. It reveals the significant discriminative information from the mirror image of symmetr...
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
Abstract. An off-line hand-written Chinese character recognizer supporting a vocabulary of 4,616 Chinese characters, alphanumerics and punctuation symbols has been reported. Traine...