検索結果 8,621 - 8,630 結果 / 9,883 検索語 '"Theory."', 処理時間: 0.05秒 結果の絞り込み
  1. 8621

    Probabilistic checking of proofs a new characterization of NP. 著者: Arora, Sanjeev

    出版年 Journal of the ACM
    論文

    Probabilistic checking of proofs a new characterization of NP.
  2. 8622

    Explicit OR-dispersers with polylogarithmic degree. 著者: Saks, Michael

    出版年 Journal of the ACM
    論文

    Explicit OR-dispersers with polylogarithmic degree.
  3. 8623

    Theory of neuromata. 著者: íma, Jiří

    出版年 Journal of the ACM
    論文

    Theory of neuromata.
  4. 8624

    A new general derandomization method. 著者: Andreev, Alexander E.

    出版年 Journal of the ACM
    論文

    A new general derandomization method.
  5. 8625

    Corrigendum Reasoning about knowledge and probability?. 著者: Fagin, Ronald

    出版年 Journal of the ACM
    論文

    Corrigendum Reasoning about knowledge and probability?.
  6. 8626

    Contention in shared memory algorithms. 著者: Dwork, Cynthia

    出版年 Journal of the ACM
    論文

    Contention in shared memory algorithms.
  7. 8627

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP. 著者: Hemaspaandra, Edith

    出版年 Journal of the ACM
    論文

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP.
  8. 8628

    Software reliability via run-time result-checking. 著者: Wasserman, Hal

    出版年 Journal of the ACM
    論文

    Software reliability via run-time result-checking.
  9. 8629

    Compositional refinement of interactive systems. 著者: Broy, Manfred

    出版年 Journal of the ACM
    論文

    Compositional refinement of interactive systems.
  10. 8630

    Applications of a logic of knowledge to motion planning under uncertainty. 著者: Brafman, Ronen I.

    出版年 Journal of the ACM
    論文

    Applications of a logic of knowledge to motion planning under uncertainty.

検索ツール: