×

Found 24,459 Documents (Results 1–100)

A computability perspective on (verified) machine learning. (English) Zbl 07871787

Madeira, Alexandre (ed.) et al., Recent trends in algebraic development techniques. 26th IFIP WG 1.3 international workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13710, 63-80 (2023).
MSC:  68Nxx 68Qxx

Passive learning of deterministic Büchi automata by combinations of DFAs. (English) Zbl 07870324

Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 114, 20 p. (2022).
MSC:  68Q32 68Q45
Full Text: DOI

Constructing deterministic \(\omega\)-automata from examples by an extension of the RPNI algorithm. (English) Zbl 07724193

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 20, 18 p. (2021).
MSC:  68Q32 68Q45

An adversarial attack based on multi-objective optimization in the black-box scenario: MOEA-APGA II. (English) Zbl 1543.94769

Zhou, Jianying (ed.) et al., Information and communications security. 21st international conference, ICICS 2019, Beijing, China, December 15–17, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11999, 603-612 (2020).
MSC:  94A60
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software