Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Marcello Bonsangue"'
Autor:
Shima Javanmardi, Ali Mohammad Latif, Mohammad Taghi Sadeghi, Mehrdad Jahanbanifard, Marcello Bonsangue, Fons J. Verbeek
Publikováno v:
Sensors, Vol 22, Iss 21, p 8376 (2022)
In image captioning models, the main challenge in describing an image is identifying all the objects by precisely considering the relationships between the objects and producing various captions. Over the past few years, many methods have been propos
Externí odkaz:
https://doaj.org/article/012a63752c664c05a17e04634ec68002
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)
The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgeb
Externí odkaz:
https://doaj.org/article/7747c35ce5c94244a1570ec33fc5f981
Publikováno v:
Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)
In this paper, we present a systematic way of deriving (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of systems. This generalizes both the results of Kleene (on regular lang
Externí odkaz:
https://doaj.org/article/25b90faa650b4d5d918bd9fe83380358
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, 128, 100794.1-100794.19
Journal of Logical and Algebraic Methods in Programming, 128:100794. ELSEVIER SCIENCE INC
Journal of Logical and Algebraic Methods in Programming, 128:100794. ELSEVIER SCIENCE INC
In this paper, we study a subclass of constraint automata with local variables. The fragment denotes an executable subset of constraint automata for which synchronization and data constraints are expressed in an imperative guarded command style, inst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1c7858717c929a32b3daa3697178e1a
https://hdl.handle.net/1887/3485524
https://hdl.handle.net/1887/3485524
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783031172434
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7425c7af8fb72648b003484013e4631
https://doi.org/10.1007/978-3-031-17244-1_4
https://doi.org/10.1007/978-3-031-17244-1_4
Publikováno v:
Theoretical Aspects of Software Engineering ISBN: 9783031103629
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98004b20faa4241de8fe4391540c93af
https://doi.org/10.1007/978-3-031-10363-6_20
https://doi.org/10.1007/978-3-031-10363-6_20
Publikováno v:
International Journal of Intelligent Systems, 37(3), 2584-2611. WILEY
Information cascade size prediction is one of the primary challenges for understanding the diffusion of information. Traditional feature-based methods heavily rely on the quality of handcrafted features, requiring extensive domain knowledge and hard
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff06de33f84b44862d89c603d30ca12c
https://hdl.handle.net/1887/3275522
https://hdl.handle.net/1887/3275522
Publikováno v:
Knowledge-Based Systems. 240:108085
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d250eabf776d875d59db2547212b142
https://doi.org/10.1016/j.knosys.2021.108085
https://doi.org/10.1016/j.knosys.2021.108085
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been
Autor:
Marc M. Lankhorst, Leon van der Torre, H. A. Proper, Farhad Arbab, Frank S. de Boer, Marcello Bonsangue
Publikováno v:
Lankhorst, M. (ed.), Enterprise Architecture at Work: Modelling, Communication and Analysis, pp. 41-58
The Enterprise Engineering Series ISBN: 9783662539323
The Enterprise Engineering Series ISBN: 9783662539323
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3306212e7a58f55c82ae51690d02da62
https://hdl.handle.net/2066/173191
https://hdl.handle.net/2066/173191