Showing 9,401 - 9,410 results of 9,873 for search '"Theory"', query time: 0.05s Refine Results
  1. 9401

    Lenses in arrangements of pseudo-circles and their applications. by Agarwal, Pankaj K.

    Published in Journal of the ACM
    Article

    Lenses in arrangements of pseudo-circles and their applications.
  2. 9402

    The security of all RSA and discrete log bits. by Håstad, Johan

    Published in Journal of the ACM
    Article

    The security of all RSA and discrete log bits.
  3. 9403

    Existential second-order logic over graphs Charting the tractability frontier. by Gottlob, Georg

    Published in Journal of the ACM
    Article

    Existential second-order logic over graphs Charting the tractability frontier.
  4. 9404

    Containment and equivalence for a fragment of XPath. by Miklau, Gerome

    Published in Journal of the ACM
    Article

    Containment and equivalence for a fragment of XPath.
  5. 9405

    Monadic datalog and the expressive power of languages for Web information extraction. by Gottlob, Georg

    Published in Journal of the ACM
    Article

    Monadic datalog and the expressive power of languages for Web information extraction.
  6. 9406

    Monotonic reductions, representative equivalence and compilation of intractable problems. by Liberatore, P.

    Published in Journal of the ACM
    Article

    Monotonic reductions, representative equivalence and compilation of intractable problems.
  7. 9407

    A Laplace transform algorithm for the volume of a convex polytope. by Lasserre, Jean B.

    Published in Journal of the ACM
    Article

    A Laplace transform algorithm for the volume of a convex polytope.
  8. 9408

    Managing periodically updated data in relational databases a stochastic modeling approach. by Gal, Avigdor

    Published in Journal of the ACM
    Article

    Managing periodically updated data in relational databases a stochastic modeling approach.
  9. 9409

    Deciding first-order properties of locally tree-decomposable structures. by Frick, Markus

    Published in Journal of the ACM
    Article

    Deciding first-order properties of locally tree-decomposable structures.
  10. 9410

    Register-machine based processes. by Bergstra, Jan A.

    Published in Journal of the ACM
    Article

    Register-machine based processes.

Search Tools: