Showing 9,391 - 9,400 results of 9,873 for search '"Theory"', query time: 0.05s Refine Results
  1. 9391

    Modelling causality via action dependencies in branching time semantics. by Goltz, Ursula

    Article

    Modelling causality via action dependencies in branching time semantics.
  2. 9392

    Splicing systems with targets are computationally universal. by Paun, Gheorghe

    Article

    Splicing systems with targets are computationally universal.
  3. 9393

    Indexing compressed text. by Ferragina, Paolo

    Published in Journal of the ACM
    Article

    Indexing compressed text.
  4. 9394

    Source routing and scheduling in packet networks. by Andrews, Matthew

    Published in Journal of the ACM
    Article

    Source routing and scheduling in packet networks.
  5. 9395

    Approximation algorithms for asymmetric TSP by decomposing directed regular multigraphs. by Kaplan, Haim

    Published in Journal of the ACM
    Article

    Approximation algorithms for asymmetric TSP by decomposing directed regular multigraphs.
  6. 9396

    Concurrent zero-knowledge. by Dwork, Cynthia

    Published in Journal of the ACM
    Article

    Concurrent zero-knowledge.
  7. 9397

    New lattice-based cryptographic constructions. by Regev, Oded

    Published in Journal of the ACM
    Article

    New lattice-based cryptographic constructions.
  8. 9398

    Fast monte-carlo algorithms for finding low-rank approximations. by Frieze, Alan

    Published in Journal of the ACM
    Article

    Fast monte-carlo algorithms for finding low-rank approximations.
  9. 9399

    Almost tight upper bounds for vertical decompositions in four dimensions. by Koltun, Vladlen

    Published in Journal of the ACM
    Article

    Almost tight upper bounds for vertical decompositions in four dimensions.
  10. 9400

    Resolution lower bounds for the weak pigeonhole principle. by Raz, R.

    Published in Journal of the ACM
    Article

    Resolution lower bounds for the weak pigeonhole principle.

Search Tools: