×

Found 778 Documents (Results 1–100)

Verification of recurrent neural networks with star reachability. (English) Zbl 07807947

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
Full Text: DOI

Multitask deep learning model with efficient encoding layer and enhanced parallel convolution block. (English) Zbl 07597649

Giri, Debasis (ed.) et al., Proceedings of the seventh international conference on mathematics and computing, ICMC 2021, Shibpur, India, March 2–5, 2021. Singapore: Springer. Adv. Intell. Syst. Comput. 1412, 347-360 (2022).
MSC:  68-XX 90-XX
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software