×

Found 19 Documents (Results 1–19)

T4V: exploring neural network architectures that improve the scalability of neural network verification. (English) Zbl 1528.68230

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 585-603 (2022).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI

Multi-granularity intelligent information processing. (English) Zbl 1444.68248

Yao, Yiyu (ed.) et al., Rough sets, fuzzy sets, data mining, and granular computing. 15th international conference, RSFDGrC 2015, Tianjin, China, November 20–23, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9437, 36-48 (2015).
MSC:  68T37 68T07
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software