BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 1.

    ACM Transactions on Software Engineering and Methodology

    Zhang, Yedi and Zhao, Zhe and Chen, Guangke and Song, Fu and Chen, Taolue (2023) Precise quantitative analysis of binarized neural networks: a BDD-based approach. ACM Transactions on Software Engineering and Methodology 32 (3), 62:1-62:51. ISSN 1049-331X.

    This list was generated on Fri Mar 29 06:26:59 2024 GMT.