Showing 31 - 40 results of 146 for search '"Theory of computation."', tempo de consulta: 0.02s Limitar resultados
  1. 31

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

    Publicado en Journal of the ACM
    Artigo

    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. por Dykstra, Josiah

    Artigo

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

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

    Publicado en Journal of the ACM
    Artigo

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

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

    Publicado en Journal of the ACM
    Artigo

    Relational expressive power of constraint query languages.
  5. 35

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

    Publicado en Journal of the ACM
    Artigo

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

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

    Publicado en Journal of the ACM
    Artigo

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

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

    Publicado en Journal of the ACM
    Artigo

    Explicit OR-dispersers with polylogarithmic degree.
  8. 38

    Theory of neuromata. por íma, Jiří

    Publicado en Journal of the ACM
    Artigo

    Theory of neuromata.
  9. 39

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

    Publicado en Journal of the ACM
    Artigo

    A new general derandomization method.
  10. 40

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

    Publicado en Journal of the ACM
    Artigo

    Corrigendum Reasoning about knowledge and probability?.

Ferramentas de procura: