Showing 1,031 - 1,040 results of 1,208 for search '"Abstraction."', query time: 0.02s Refine Results
  1. 1031

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

    Published in Journal of the ACM
    Article

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

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

    Published in Journal of the ACM
    Article

    Explicit OR-dispersers with polylogarithmic degree.
  3. 1033

    Theory of neuromata. by íma, Jiří

    Published in Journal of the ACM
    Article

    Theory of neuromata.
  4. 1034

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

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  5. 1035

    Contention in shared memory algorithms. by Dwork, Cynthia

    Published in Journal of the ACM
    Article

    Contention in shared memory algorithms.
  6. 1036

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

    Published in Journal of the ACM
    Article

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

    Time-work tradeoffs for parallel algorithms. by Spencer, Thomas H.

    Published in Journal of the ACM
    Article

    Time-work tradeoffs for parallel algorithms.
  8. 1038

    Lower bounds on the bounded coefficient complexity of bilinear maps. by Bürgisser, Peter

    Published in Journal of the ACM
    Article

    Lower bounds on the bounded coefficient complexity of bilinear maps.
  9. 1039

    Compendium of Abstracts of the 5th Philippine Computing Science Congress. by Saldana, Rafael P., Ph D.

    Article

    Compendium of Abstracts of the 5th Philippine Computing Science Congress.
  10. 1040

    A modified cognitive information complexity measure of software. by Kushwaha, Dharmender Singh

    Article

    A modified cognitive information complexity measure of software.

Search Tools: