Výsledky vyhledávání - "Deep inference"

Elektronická kniha

Representational Minimalism and Comparison with Other Natural Deductive Systems

Autor: Ludlow, Peter, author, Živanović, Sašo, author

Publikováno v: Language, Form, and Logic : In Pursuit of Natural Logic's Holy Grail, 2022.

Externí odkaz: https://doi.org/10.1093/oso/9780199591534.003.0008

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Dissertation/ Thesis

Accelerating Multi-target Visual Tracking on Smart Edge Devices

Autor: Nalaie, Keivan

prefacesection{Abstract} Multi-object tracking (MOT) is a key building block in video analytics and finds extensive use in surveillance, search and rescue, and autonomous driving applications. Object detection, a crucial stage in MOT, dominates in th

Externí odkaz: http://hdl.handle.net/11375/28771

Zobrazit plný text záznamu

BV and Pomset Logic Are Not the Same

Autor: Nguy��n, L�� Th��nh D��ng (Tito), Stra��burger, Lutz

Publikováno v: CSL 2022-30th EACSL Annual Conference on Computer Science Logic
CSL 2022-30th EACSL Annual Conference on Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩
30th EACSL Annual Conference on Computer Science Logic, CSL 2022
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.CSL.2022.32⟩

BV and pomset logic are two logics that both conservatively extend unit-free multiplicative linear logic by a third binary connective, which (i) is non-commutative, (ii) is self-dual, and (iii) lies between the "par" and the "tensor". It was conjectu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69b8b69b7325b4780fc01da78013afcb
https://inria.hal.science/hal-03909463

Zobrazit plný text záznamu

A Graphical Proof Theory of Logical Time

Autor: Acclavio, Matteo, Horne, Ross, Mauw, Sjouke, Straßburger, Lutz

Publikováno v: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.22⟩

Logical time is a partial order over events in distributed systems, constraining which events precede others. Special interest has been given to series-parallel orders since they correspond to formulas constructed via the two operations for "series"

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6843df260e83a69cffc697ec4fbdf69

Zobrazit plný text záznamu

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Autor: Nguyễn, Lê Thành Dũng, Straßburger, Lutz

Pomset logic and BV are both logics that extend multiplicative linear logic (with Mix) with a third connective that is self-dual and non-commutative. Whereas pomset logic originates from the study of coherence spaces and proof nets, BV originates fro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c4871a7b05066142402927478c1f869
http://arxiv.org/abs/2209.07825

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání