Showing 22,521 - 22,530 results of 25,981 for search '"Computing."', 查詢時間: 0.06s Refine Results
  1. 22521

    Hungry robots. 由 Belpaeme, Tony

    Article

    Hungry robots.
  2. 22522

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

    發表在 Journal of the ACM
    Article

    Complexity estimates depending on condition and round-off error.
  3. 22523

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

    發表在 Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  4. 22524

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

    發表在 Journal of the ACM
    Article

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  5. 22525

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

    發表在 Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.
  6. 22526

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

    發表在 Journal of the ACM
    Article

    Explicit OR-dispersers with polylogarithmic degree.
  7. 22527

    Theory of neuromata. 由 íma, Jiří

    發表在 Journal of the ACM
    Article

    Theory of neuromata.
  8. 22528

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

    發表在 Journal of the ACM
    Article

    A new general derandomization method.
  9. 22529

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

    發表在 Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  10. 22530

    Contention in shared memory algorithms. 由 Dwork, Cynthia

    發表在 Journal of the ACM
    Article

    Contention in shared memory algorithms.

檢索工具: