Search results for "Checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Jonathan Schaeffer	Solving Checkers: First Result.	J. Int. Comput. Games Assoc.	2005	DBLP BibTeX RDF
17	Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit	Reformulation of Global Constraints Based on Constraints Checkers.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	automata, global constraints, reformulation
17	George Devaraj, Mats Per Erik Heimdahl, Donglin Liang	Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
17	Anders Møller, Michael I. Schwartzbach	The Design Space of Type Checkers for XML Transformation Languages.	ICDT	2005	DBLP DOI BibTeX RDF
17	Y. Prasanth, Sanjeev K. Aggarwal	From Specifications to Code Compliance Checkers.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
17	Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Akihiro Kishimoto, Martin Müller 0003, Robert Lake, Paul Lu, Steve Sutphen	Solving Checkers.	IJCAI	2005	DBLP BibTeX RDF
17	Mustapha Bourahla, Mohamed Benmohamed	Analysis of Real-Time Systems with CTL Model Checkers.	FMICS	2004	DBLP DOI BibTeX RDF
17	David Nicholas, Paul Huntington, Peter Williams, Tom Dobrowolski	Re-appraising information seeking behaviour in a digital environment: Bouncers, checkers, returnees and the like.	J. Documentation	2004	DBLP DOI BibTeX RDF
17	Daniel Große, Rolf Drechsler	Checkers for SystemC designs.	MEMOCODE	2004	DBLP DOI BibTeX RDF
17	Nicolas Beldiceanu, Mats Carlsson, Thierry Petit	Deriving Filtering Algorithms from Constraint Checkers.	CP	2004	DBLP DOI BibTeX RDF
17	Shalini Ghosh, Nur A. Touba, Sugato Basu	Reducing Power Consumption in Memory ECC Checkers.	ITC	2004	DBLP DOI BibTeX RDF
17	Holger Gast	A generator for type checkers.		2004	RDF
17	Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar 0004, Peter Lamborn	Benchmarking Explicit State Parallel Model Checkers.	PDMC@CAV	2003	DBLP DOI BibTeX RDF
17	Ed Trice, Gil Dodgen	The Perfect 7-Piece Checkers Database.	J. Int. Comput. Games Assoc.	2003	DBLP BibTeX RDF
17	Christoph Koch 0001, Nicola Leone, Gerald Pfeifer	Enhancing disjunctive logic programming systems by SAT checkers.	Artif. Intell.	2003	DBLP DOI BibTeX RDF
17	Ed Trice, Gil Dodgen	The 7-piece Perfect Play Lookup Database for the Game of Checkers.	ACG	2003	DBLP BibTeX RDF
17	Jonathan Schaeffer, Yngvi Björnsson, Neil Burch, Robert Lake, Paul Lu, Steve Sutphen	Building the Checkers 10-piece Endgame Databases.	ACG	2003	DBLP BibTeX RDF
17	Nelis Franken, Andries P. Engelbrecht	Comparing PSO structures to learn the game of checkers from zero knowledge.	IEEE Congress on Evolutionary Computation	2003	DBLP DOI BibTeX RDF
17	Victor Varshavsky, Ilya Levin, Vladimir Ostrovsky	Increasing Implementability of beta-driven Threshold Checkers.	IOLTS	2003	DBLP DOI BibTeX RDF
17	Sanjeev K. Aggarwa, R. S. Venkata Raghavan	Automated Generation of Code Compliance Checkers.	Applied Informatics	2003	DBLP BibTeX RDF
17	Teodor Rus, Eric Van Wyk, Tom Halverson	Generating Model Checkers from Algebraic Specifications.	Formal Methods Syst. Des.	2002	DBLP DOI BibTeX RDF
17	David B. Fogel, Kumar Chellapilla	Verifying Anaconda's expert rating by competing against Chinook: experiments in co-evolving a neural checkers player.	Neurocomputing	2002	DBLP DOI BibTeX RDF
17	Benjamin Chelf, Dawson R. Engler, Seth Hallem	How to write system-specific, static checkers in metal.	PASTE	2002	DBLP DOI BibTeX RDF
17	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski	Verified Bytecode Model Checkers.	TPHOLs	2002	DBLP DOI BibTeX RDF
17	Kyung-Joong Kim 0001, Sung-Bae Cho	Evolving speciated checkers players with crowding algorithm.	IEEE Congress on Evolutionary Computation	2002	DBLP DOI BibTeX RDF
17	Giuseppe Di Gregorio, Maria Grazia La Rosa, Biagio Russo	Checkers for RF Matching Networks on an Automatic Test Board.	IOLTW	2002	DBLP DOI BibTeX RDF
17	Kumar Chellapilla, David B. Fogel	Evolving an expert checkers playing program without using human expertise.	IEEE Trans. Evol. Comput.	2001	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino	Annotation inference for modular checkers.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
17	Sanjai Rayadurgam, Mats Per Erik Heimdahl	Coverage Based Test-Case Generation Using Model Checkers.	ECBS	2001	DBLP DOI BibTeX RDF
17	Kedar S. Namjoshi	Certifying Model Checkers.	CAV	2001	DBLP DOI BibTeX RDF
17	Thomas M. English	Learning to focus selectively on possible lines of play in checkers.	CEC	2001	DBLP DOI BibTeX RDF
17	Qianchuan Zhao, Bruce H. Krogh	Formal verification of Statecharts using finite-state model checkers.	ACC	2001	DBLP DOI BibTeX RDF
17	Nikolay V. Shilov 0002, Kwang Yi	Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.	FM-Everywhere@FORTE/PSTV	2000	DBLP DOI BibTeX RDF
17	Michael Baldamus, Klaus Schneider 0001, Michael Wenz, Roberto Ziller	Can American Checkers be Solved by Means of Symbolic Model Checking?	FM-Everywhere@FORTE/PSTV	2000	DBLP DOI BibTeX RDF
17	Xrysovalantis Kavousianos, Dimitris Nikolos, G. Sidiropoulos	Novel Single and Double Output TSC CMOS Checkers for m-out-of-n Codes.	VLSI Design	2000	DBLP DOI BibTeX RDF
17	Arthur L. Samuel	Some studies in machine learning using the game of checkers.	IBM J. Res. Dev.	2000	DBLP DOI BibTeX RDF
17	David B. Fogel	Evolving a checkers player without relying on human experience.	Intell.	2000	DBLP DOI BibTeX RDF
17	Funda Ergün, Sampath Kannan, Ravi Kumar 0001, Ronitt Rubinfeld, Mahesh Viswanathan 0001	Spot-Checkers.	J. Comput. Syst. Sci.	2000	DBLP DOI BibTeX RDF
17	Ofer Strichman	Tuning SAT Checkers for Bounded Model Checking.	CAV	2000	DBLP DOI BibTeX RDF
17	Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal	FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.	CAV	2000	DBLP DOI BibTeX RDF
17	Kumar Chellapilla, David B. Fogel	Anaconda defeats Hoyle 6-0: a case study competing an evolved checkers program against commercially available software.	CEC	2000	DBLP DOI BibTeX RDF
17	Nikolay V. Shilov 0002, Kwangkeun Yi	A Note on Model Checkers Reuse and Validation.	APLAS	2000	DBLP BibTeX RDF
17	Rémy Torre, Pascal Fua, Selim Balcisoy, Michal Ponder, Daniel Thalmann	Interaction Between Real and Virtual Humans: Playing Checkers.	EGVE	2000	DBLP DOI BibTeX RDF
17	Antje Helfrich, Bradley Music	Design and evaluation of grammar checkers in multiple languages.	COLING	2000	DBLP BibTeX RDF
17	A. J. Currie	A Comparison of Three Model Checkers Applied to a Distributed Database Problem.	IWFM	2000	DBLP BibTeX RDF
17	Xrysovalantis Kavousianos, Dimitris Nikolos, G. Foukarakis, T. Gnardellis	New efficient totally self-checking Berger code checkers.	Integr.	1999	DBLP DOI BibTeX RDF
17	Peter F. Patel-Schneider	Review of One Jump Ahead: Challenging Human Supremacy in Checkers.	AI Mag.	1999	DBLP DOI BibTeX RDF
17	A. W. Roscoe 0001, Philippa J. Broadfoot	Proving Security Protocols with Model Checkers by Data Independence Techniques.	J. Comput. Secur.	1999	DBLP DOI BibTeX RDF
17	Olga Caprotti, Arjeh M. Cohen	Connecting Proof Checkers and Computer Algebra Using OpenMath.	TPHOLs	1999	DBLP DOI BibTeX RDF
17	Uus Knops	Controlled language - issues in checkers' design.	MTSummit	1999	DBLP BibTeX RDF
17	Xrysovalantis Kavousianos, Dimitris Nikolos	Modular TSC Checkers for Bose-Lin and Bose Codes.	VTS	1999	DBLP DOI BibTeX RDF
17	Yeong-Ruey Shieh, Cheng-Wen Wu	Design of CMOS PSCD Circuits and Checkers for Stuck-At and Stuck-On Faults.	VLSI Design	1998	DBLP DOI BibTeX RDF
17	Steffen Tarnick	Embedded Parity and Two-Rail TSC Checkers with Error-Memorizing Capability.	VLSI Design	1998	DBLP DOI BibTeX RDF
17	Dimitris Nikolos	Optimal Self-Testing Embedded Parity Checkers.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Parity tree, embedded self-testing circuits, self-testing, two-rail checker, parity checker
17	Patrizia Paggio, Nancy L. Underwood	Validating the TEMAA LE evaluation methodology: a case study on Danish spelling checkers.	Nat. Lang. Eng.	1998	DBLP BibTeX RDF
17	Renu Gupta	Can Spelling Checkers Help the Novice Writer?	Br. J. Educ. Technol.	1998	DBLP DOI BibTeX RDF
17	Gerard J. Holzmann	On Checking Model Checkers.	CAV	1998	DBLP DOI BibTeX RDF
17	A. W. Roscoe 0001	Proving Security Protocols with Model Checkers by Data Independence Techniques.	CSFW	1998	DBLP DOI BibTeX RDF
17	Xrysovalantis Kavousianos, Dimitris Nikolos	Novel Single and Double Output TSC Berger Code Checkers.	VTS	1998	DBLP DOI BibTeX RDF
17	Funda Ergün, Sampath Kannan, Ravi Kumar 0001, Ronitt Rubinfeld, Mahesh Viswanathan 0001	Spot-Checkers.	STOC	1998	DBLP DOI BibTeX RDF
17	Emanuelle Rodier	Semi automatic generation of reference diagnostics in a evaluation tool for simplified english checkers.	LREC	1998	DBLP BibTeX RDF
17	Jonathan Schaeffer	One Jump Ahead: Challenging Human Supremacy in Checkers.	J. Int. Comput. Games Assoc.	1997	DBLP DOI BibTeX RDF
17	Jonathan Schaeffer	One jump ahead - challenging human supremacy in checkers.		1997	RDF
17	Marc Fischlin	Practical Memory Checkers for Stacks, Queues and Deques.	ACISP	1997	DBLP DOI BibTeX RDF
17	Marc Fischlin	Incremental Cryptography and Memory Checkers.	EUROCRYPT	1997	DBLP BibTeX RDF
17	Ronitt Rubinfeld	Designing Checkers for Programs that Run in Parallel.	Algorithmica	1996	DBLP DOI BibTeX RDF
17	Sandeep K. Gupta 0001, Dhiraj K. Pradhan	Utilization of On-Line (Concurrent) Checkers During Built-In-Self-Test and Vice Versa.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	concurrent checking, fault-escape probability, parity prediction, Built-in self-test, BIST
17	Stanislaw J. Piestrak	Design of Self-Testing Checkers for Borden Codes.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	Borden code, easily-testable circuit, multioutput threshold circuit, optimal t-unidirectional error detecting code, concurrent error detection, unidirectional errors, self-testing checker, unidirectional error detecting code
17	Jonathan Schaeffer, Robert Lake, Paul Lu, Martin Bryant	CHINOOK: The World Man-Machine Checkers Champion.	AI Mag.	1996	DBLP DOI BibTeX RDF
17	Yingquan Zhou, Mike W. T. Wong, Yinghua Min	Hardware reduction in continuous checksum-based analog checkers: Algorithm and its analysis.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	testing, diagnosis, error detection, error correction, hardware overhead
17	Naoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare	The Design of Totally Self-Checking Checkers for Classes of Hadamard Codes.	FTCS	1996	DBLP DOI BibTeX RDF
17	Lorana A. Jinkerson	Computer Spelling Checkers: An Example Cognitive Tool.	ICLS	1996	DBLP BibTeX RDF
17	Cecilia Metra, Michele Favalli, Bruno Riccò	Tree Checkers for Applications with Low Power-Delay Requirements.	DFT	1996	DBLP DOI BibTeX RDF
17	Egor S. Sogomonyan, Michael Gössel	Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems.	VTS	1996	DBLP DOI BibTeX RDF	circuit feedback, concurrently self-testing embedded checker, ultra-reliable fault-tolerant system, parity codes, design, monitoring, built-in self test, integrated circuit testing, linear feedback shift register, error detection codes, error detection code, shift registers, arithmetic codes, Berger codes, duplication codes, integrated circuit reliability, corrector
17	Karl Traunmüller	The Checkers Problem: A Solution with Linear Time Complexity.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF
17	Henrik Eriksson, Bernt Lindström	Twin jumping checkers in Zd.	Eur. J. Comb.	1995	DBLP DOI BibTeX RDF
17	Th. Haniotakis, Antonis M. Paschalis, Dimitris Nikolos	Efficient Totally Self-Checking Checkers for a Class of Borden Codes.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Borden codes, t-unidirectional error detecting (t-UED) codes, fault tolerant, fault detection, totally self-checking checker
17	Leonard M. Adleman, Ming-Deh A. Huang, Kireeti Kompella	Efficient Checkers for Number-Theoretic Computations	Inf. Comput.	1995	DBLP DOI BibTeX RDF
17	Stanislaw J. Piestrak	Design of self-testing checkers for unidirectional error detecting codes.		1995	RDF
17	Yingquan Zhou, Mike W. T. Wong, Yinghua Min	Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers.	FTCS	1995	DBLP DOI BibTeX RDF
17	Peter Lidén, Peter Dahlgren	Coverage of Transistor-Level and Gate-Level Stuck-at Faults in CMOS Checkers.	ISCAS	1995	DBLP DOI BibTeX RDF
17	Giacomo Buonanno, Fabio Salice, Donatella Sciuto	Behavior of Self-Checking Checkers for 1-out-of-3 Codes Based on Pass-Transistor Logic.	ISCAS	1995	DBLP DOI BibTeX RDF
17	Jonathan Schaeffer	Chinook Is World Checkers Champion!	J. Int. Comput. Games Assoc.	1994	DBLP DOI BibTeX RDF
17	Sudhakar M. Reddy, Irith Pomeranz, Rahul Jain 0014	On Codeword Testing of Two-Rail and Parity TSC Checkers.	FTCS	1994	DBLP DOI BibTeX RDF
17	Robert Pollack	On Extensibility of Proof Checkers.	TYPES	1994	DBLP DOI BibTeX RDF
17	Boubaker Meddeb-Hamrouni	Logic Compression Of Dictionaries For Multilingual Spelling Checkers.	COLING	1994	DBLP BibTeX RDF
17	Cecilia Metra, Michele Favalli, Bruno Riccò	Highly Testable and Compact 1-out-of-n CMOS Checkers.	DFT	1994	DBLP BibTeX RDF
17	Vladimir Kolarik, Marcelo Lubaszewski, Bernard Courtois	Designing self-exercising analogue checkers.	VTS	1994	DBLP DOI BibTeX RDF
17	Steffen Tarnick	Controllable self-checking checkers for conditional concurrent checking.	VTS	1994	DBLP DOI BibTeX RDF
17	Jonathan Schaeffer, Norman Treloar, Paul Lu, Robert Lake	Man versus Machine for the World Checkers Championship.	J. Int. Comput. Games Assoc.	1993	DBLP DOI BibTeX RDF
17	Jonathan Schaeffer, Norman Treloar, Paul Lu, Robert Lake	Man Versus Machine for the World Checkers Championship.	AI Mag.	1993	DBLP DOI BibTeX RDF
17	Cheng-Juei Wu, Wen-Ben Jone	On Multiple Fault Detection of Parity Checkers.	ISCAS	1993	DBLP BibTeX RDF
17	Jonathan Schaeffer, Joseph C. Culberson, Norman Treloar, Brent Knight, Paul Lu, Duane Szafron	A World Championship Caliber Checkers Program.	Artif. Intell.	1992	DBLP DOI BibTeX RDF
17	Brian D. Marsh, Christopher M. Brown, Thomas J. LeBlanc, Michael L. Scott, Timothy G. Becker, Cesar Quiroz, Prakash Das, Jonas Karlsson 0003	The Rochester Checkers Player: Multimodel Parallel Programming for Animate Vision.	Computer	1992	DBLP DOI BibTeX RDF
17	Sandeep K. Gupta 0001, Dhiraj K. Pradhan	Can Concurrent Checkers Help BIST?	ITC	1992	DBLP DOI BibTeX RDF
17	Cecilia Metra, Michele Favalli, Piero Olivo, Bruno Riccò	CMOS Checkers with Testable Bridging and Transistor Stuck-on Faults.	ITC	1992	DBLP DOI BibTeX RDF
17	Peter Lidén, Peter Dahlgren, Jan Torin	Transistor Fault Coverage for Self-Testing CMOS Checkers.	ITC	1992	DBLP DOI BibTeX RDF
17	Jonathan Schaeffer	Checkers: A Preview of What Will Happen in Chess?	J. Int. Comput. Games Assoc.	1991	DBLP DOI BibTeX RDF
17	Steven D. Millman, Edward J. McCluskey	Bridging, Transition, and Stuck-Open Faults in Self-Testing CMOS Checkers.	FTCS	1991	DBLP DOI BibTeX RDF
17	Sampath Kannan, Andrew Chi-Chih Yao	Program Checkers for Probability Generation.	ICALP	1991	DBLP DOI BibTeX RDF