About: Computer Go as a Verification Case Study     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Článek se snaží odpovědět na otázku, zda hraní hry Go počítačem může být chápáno jako verifikační případová studie. Nejdříve je uvedena oblast formální verifikace a představena hra Go a dosavadní pokusy o její hraní počítačem. Následně jsou porovnány principy a metody používané pro formalní verifikaci s Go programy. Článek uzavírá zhodnocení možných přínosů vývoje Go programů pro zlepšení metod formální verifikace. (cs)
  • This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper.
  • This paper discuss whether Computer Go can be understood as a verification case study. For finding the answer, we, at first, survey the area of formal verification then present the game of Go and attempts to play it by computers - Computer Go. After that, we compare underlying principles and optimizations methods used within formal verification and Computer Go. Evaluation of potential benefits of advancements in Computer Go for improving formal verification methods concludes the paper. (en)
Title
  • Computer Go as a Verification Case Study
  • Computer Go as a Verification Case Study (en)
  • Hraní Go počítačem jako verifikační případová studie (cs)
skos:prefLabel
  • Computer Go as a Verification Case Study
  • Computer Go as a Verification Case Study (en)
  • Hraní Go počítačem jako verifikační případová studie (cs)
skos:notation
  • RIV/00216305:26230/06:PU66962!RIV08-GA0-26230___
http://linked.open.../vavai/riv/strany
  • 95-100
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/04/0780), P(GP102/06/P076)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 469501
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/06:PU66962
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Formal verification, case study, the game of Go, computer Go. (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [0390B4E360FE]
http://linked.open...v/mistoKonaniAkce
  • Vranov (u Brna)
http://linked.open...i/riv/mistoVydani
  • Ostrava
http://linked.open...i/riv/nazevZdroje
  • Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Křena, Bohuslav
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Neuveden
https://schema.org/isbn
  • 80-86840-26-3
http://localhost/t...ganizacniJednotka
  • 26230
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software