Đang hiển thị 1 - 11 kết quả của 11 cho tìm kiếm '"IEEE Symposium on Logic in Computer Science"', thời gian truy vấn: 0.66s Tinh chỉnh kết quả
  1. 1
    Complexity Lower Bounds from Algorithm Design

    Complexity Lower Bounds from Algorithm Design Bằng Williams, R Ryan

    Được phát hành 2022
    lấy văn bản
    Bài viết
  2. 2
    Computable PAC Learning of Continuous Features

    Computable PAC Learning of Continuous Features Bằng Ackerman, Nathanael, Asilis, Julian, Di, Jieqi, Freer, Cameron, Tristan, Jean-Baptiste

    Được phát hành 2022
    lấy văn bản
    Bài viết
  3. 3
    De-linearizing linearity : projective quantum axiomatics from strong compact closure

    De-linearizing linearity : projective quantum axiomatics from strong compact closure Bằng Coecke, B

    Được phát hành 2007
    “…Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS'04), IEEE Computer Science Press. …”
    Journal article
  4. 4
    Backprop as Functor: A compositional perspective on supervised learning

    Backprop as Functor: A compositional perspective on supervised learning Bằng Fong, Brendan C, Spivak, David I, Tuyeras, Remy V

    Được phát hành 2020
    lấy văn bản
    Bài viết
  5. 5
    Computable decision making on the reals and other spaces via partiality and nondeterminism

    Computable decision making on the reals and other spaces via partiality and nondeterminism Bằng Sherman, Benjamin, Sciarappa, Luke, Chlipala, Adam, Carbin, Michael James

    Được phát hành 2019
    lấy văn bản
    Bài viết
  6. 6
    Event domains, stable functions and proof-nets

    Event domains, stable functions and proof-nets Bằng Abramsky, S

    Được phát hành 2007
    “…<em>Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science</em>, 431–44, 1999].</p>…”
    Journal article
  7. 7
    Solvability of matrix-exponential equations

    Solvability of matrix-exponential equations Bằng Ouaknine, J, Pouly, A, Sousa Pinto, J, Worrell, J

    Được phát hành 2016
    Conference item
  8. 8
    On the succinctness of query rewriting over shallow ontologies

    On the succinctness of query rewriting over shallow ontologies Bằng Kikot, Stanislav, Kontchakov, Roman, Podolskii, Vladimir, Zakharyaschev, Michael

    Được phát hành 2014
    lấy văn bản
    Conference or Workshop Item
  9. 9
    Strongly compact closed semantics

    Strongly compact closed semantics Bằng Coecke, B

    Được phát hành 2006
    “…In: <em>Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science</em> (LiCS'04), IEEE Computer Science Press. …”
    Journal article
  10. 10
    Tree-like queries in OWL 2 QL: succinctness and complexity results

    Tree-like queries in OWL 2 QL: succinctness and complexity results Bằng Bienvenu, Meghyn, Kikot, Stanislav, Podolskii, Vladimir

    Được phát hành 2015
    lấy văn bản
    Bài viết
  11. 11
    An improved lower bound for the complementation of Rabin automata

    An improved lower bound for the complementation of Rabin automata Bằng Cai, Yang, Zhang, Ting, Luo, Haifeng

    Được phát hành 2010
    lấy văn bản
    Bài viết

Công cụ tìm kiếm: