Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Viviana Bono"'
Publikováno v:
Information, Vol 13, Iss 9, p 419 (2022)
Since the Transformer architecture was introduced in 2017, there has been many attempts to bring the self-attention paradigm in the field of computer vision. In this paper, we propose LHC: Local multi-Head Channel self-attention, a novel self-attenti
Externí odkaz:
https://doaj.org/article/25867e4563574adebf8a08ae8d65c3c4
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and inte
Externí odkaz:
https://doaj.org/article/3c6c4a67270f4f78b79399eae29d1e50
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 177, Iss Proc. ITRS 2014, Pp 65-78 (2015)
Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in dynamic languages in an automatic fashion. We introduce Lucretia, a cor
Externí odkaz:
https://doaj.org/article/ba9fd08c0adf46758f74d959757d399f
Autor:
Viviana Bono, Luca Padovani
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 52-67 (2011)
We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorp
Externí odkaz:
https://doaj.org/article/1cc1a5cb886f4cb18fe27c29467d633b
Autor:
Viviana Bono, Luca Padovani
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)
We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leak
Externí odkaz:
https://doaj.org/article/29baef882fb04d6c8194259a82172907
Publikováno v:
Information; Volume 13; Issue 9; Pages: 419
Since the Transformer architecture was introduced in 2017, there has been many attempts to bring the self-attention paradigm in the field of computer vision. In this paper, we propose LHC: Local multi-Head Channel self-attention, a novel self-attenti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::901360cc1dfa71d88066a6812fe1378b
https://doi.org/10.3390/info13090419
https://doi.org/10.3390/info13090419
Publikováno v:
LICS
Intersection types have come a long way since their introduction in the Seventies. They have been exploited for characterising behaviours of λ-terms and π-calculus processes, building λ-models, verifying properties of higher-order programs, synthe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0eaa592bb025ac826319ee8bbf5eea06
https://doi.org/10.1145/3373718.3394733
https://doi.org/10.1145/3373718.3394733
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 90:31-49
This paper presents a formal framework of self-adaptation for multiparty sessions. The adaptation function contains the dynamic evolution policy, by prescribing how the session needs to reconfigure itself, based on critical changes in global data. A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ba0e3117582c5f423bea3ec083f4478
https://doi.org/10.1016/j.jlamp.2017.02.007
https://doi.org/10.1016/j.jlamp.2017.02.007
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 177, Iss Proc. ITRS 2014, Pp 65-78 (2015)
ITRS
ITRS
Scripting code may present maintenance problems in the long run. There is, then, the call for methodologies that make it possible to control the properties of programs written in dynamic languages in an automatic fashion. We introduce Lucretia, a cor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d94f5d7210a63dbde4d48e9fc16fad0
https://doaj.org/article/ba9fd08c0adf46758f74d959757d399f
https://doaj.org/article/ba9fd08c0adf46758f74d959757d399f