Showing 31 - 40 results of 146 for search '"Theory of Computation."', Forespørselstid: 0.01s Refine Results
  1. 31

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

    Udgivet i Journal of the ACM
    Article

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

    Article

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

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

    Udgivet i Journal of the ACM
    Article

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

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

    Udgivet i Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  5. 35

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

    Udgivet i Journal of the ACM
    Article

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

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

    Udgivet i Journal of the ACM
    Article

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

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

    Udgivet i Journal of the ACM
    Article

    Explicit OR-dispersers with polylogarithmic degree.
  8. 38

    Theory of neuromata. af íma, Jiří

    Udgivet i Journal of the ACM
    Article

    Theory of neuromata.
  9. 39

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

    Udgivet i Journal of the ACM
    Article

    A new general derandomization method.
  10. 40

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

    Udgivet i Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.

Søgeredskaber: