Zobrazeno 1 - 6
of 6
pro vyhledávání: '"SENCAN, AHMET"'
Autor:
Amac, Mustafa Sercan, Sencan, Ahmet, Baran, Orhun Bugra, Ikizler-Cinbis, Nazli, Cinbis, Ramazan Gokberk
Just like other few-shot learning problems, few-shot segmentation aims to minimize the need for manual annotation, which is particularly costly in segmentation tasks. Even though the few-shot setting reduces this cost for novel test classes, there is
Externí odkaz:
http://arxiv.org/abs/2110.12207
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:8375
Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specification. However, the exact timi
Externí odkaz:
http://arxiv.org/abs/2108.08018
Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specification. However, the exact timi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93b48989180ab463274a863d99b82e79
https://lmcs.episciences.org/8375
https://lmcs.episciences.org/8375
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Timed automata (TA) have shown to be a suitable formalism for modeling real-time systems. Moreover, modern model-checking tools allow a designer to check whether a TA complies with the system specification. However, the exact timing constraints of th
Autor:
Amac, Mustafa Sercan, Sencan, Ahmet, Baran, Orhun Bugra, Ikizler-Cinbis, Nazli, Cinbis, Ramazan Gokberk
Publikováno v:
2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV).
Just like other few-shot learning problems, few-shot segmentation aims to minimize the need for manual annotation, which is particularly costly in segmentation tasks. Even though the few-shot setting reduces this cost for novel test classes, there is
Publikováno v:
Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-32, 32p