A mostrar 9,411 - 9,420 resultados de 9,880 para a pesquisa '"Theory."', tempo de pesquisa: 0.05seg Refinar resultados
  1. 9411

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

    Publicado no Journal of the ACM
    Artigo

    Containment and equivalence for a fragment of XPath.
  2. 9412

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

    Publicado no Journal of the ACM
    Artigo

    Monadic datalog and the expressive power of languages for Web information extraction.
  3. 9413

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

    Publicado no Journal of the ACM
    Artigo

    Monotonic reductions, representative equivalence and compilation of intractable problems.
  4. 9414

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

    Publicado no Journal of the ACM
    Artigo

    A Laplace transform algorithm for the volume of a convex polytope.
  5. 9415

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

    Publicado no Journal of the ACM
    Artigo

    Managing periodically updated data in relational databases a stochastic modeling approach.
  6. 9416

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

    Publicado no Journal of the ACM
    Artigo

    Deciding first-order properties of locally tree-decomposable structures.
  7. 9417

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

    Publicado no Journal of the ACM
    Artigo

    Register-machine based processes.
  8. 9418

    A model of multimedia information retrieval. Por Meghini, Carlo

    Publicado no Journal of the ACM
    Artigo

    A model of multimedia information retrieval.
  9. 9419

    Static analysis in datalog extensions. Por Halevy, Alon Y.

    Publicado no Journal of the ACM
    Artigo

    Static analysis in datalog extensions.
  10. 9420

    Improved implementations of binary universal operations. Por Attiya, Hagit

    Publicado no Journal of the ACM
    Artigo

    Improved implementations of binary universal operations.

Ferramentas de pesquisa: