BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
tool (2)
strategi (2)
environ (2)
isabell (1)
softwar (1)

Stem chess$ (all stems)

9 papers:

CADECADE-2015-MaricJM #correctness #higher-order #proving #using
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (FM, PJ, MM), pp. 256–271.
SIGIRSIGIR-2014-GangulyLJ #retrieval
Retrieval of similar chess positions (DG, JL, GJFJ), pp. 687–696.
ASEASE-2012-CicchettiCMPPZV #development #industrial #modelling #named
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.
ICDARICDAR-2011-WangZPH #fourier #recognition
Chinese Chess Character Recognition with Radial Harmonic Fourier Moments (KW, HZ, ZP, H), pp. 1369–1373.
ICEISICEIS-HCI-2008-PicussaGBFDBSCS #education #interface #online #web
A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web (JP, LSG, JB, MVRF, AID, LCEDB, FS, MAC, MSS), pp. 262–267.
LOPSTRLOPSTR-2006-MusuvathiQ #concurrent #named #testing
CHESS: Systematic Stress Testing of Concurrent Software (MM, SQ), pp. 15–16.
ICMLICML-1998-BaxterTW #named
KnightCap: A Chess Programm That Learns by Combining TD(λ) with Game-Tree Search (JB, AT, LW), pp. 28–36.
ICMLML-1991-LevinsonS #adaptation
Adaptive Pattern-Oriented Chess (RL, RS), pp. 85–89.
ICALPICALP-1981-FraenkelL #exponential
Computing a Perfect Strategy for n*n Chess Requires Time Exponential in N (ASF, DL), pp. 278–293.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.