Zobrazuji výsledky 31 - 40 z 146 pro vyhledávání '"Theory of Computation."', doba hledání: 0,02 s. Upřesnit hledání
  1. 31

    A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries. Autor Jerrum, Mark

    Vydáno v Journal of the ACM
    Článek

    A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries.
  2. 32

    Software verification and validation with destiny a parallel approach to automated theorem proving. Autor Dykstra, Josiah

    Článek

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  3. 33

    Complexity estimates depending on condition and round-off error. Autor Cucker, Felipe

    Vydáno v Journal of the ACM
    Článek

    Complexity estimates depending on condition and round-off error.
  4. 34

    Relational expressive power of constraint query languages. Autor Benedikt, Michael

    Vydáno v Journal of the ACM
    Článek

    Relational expressive power of constraint query languages.
  5. 35

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. Autor Fekete, Alan

    Vydáno v Journal of the ACM
    Článek

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  6. 36

    Probabilistic checking of proofs a new characterization of NP. Autor Arora, Sanjeev

    Vydáno v Journal of the ACM
    Článek

    Probabilistic checking of proofs a new characterization of NP.
  7. 37

    Explicit OR-dispersers with polylogarithmic degree. Autor Saks, Michael

    Vydáno v Journal of the ACM
    Článek

    Explicit OR-dispersers with polylogarithmic degree.
  8. 38

    Theory of neuromata. Autor íma, Jiří

    Vydáno v Journal of the ACM
    Článek

    Theory of neuromata.
  9. 39

    A new general derandomization method. Autor Andreev, Alexander E.

    Vydáno v Journal of the ACM
    Článek

    A new general derandomization method.
  10. 40

    Corrigendum Reasoning about knowledge and probability?. Autor Fagin, Ronald

    Vydáno v Journal of the ACM
    Článek

    Corrigendum Reasoning about knowledge and probability?.

Vyhledávací nástroje: