Browse by Person
 | Up a level |
Number of items: 2.
Formal Aspects of Computing
Zhao, H. and Zeng, X. and Chen, Taolue and Liu, Z. and Woodcock, J. (2021) Learning safe neural network controllers with barrier certificates. Formal Aspects of Computing 33 (3), pp. 437-455. ISSN 0934-5043.
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Hu, W. and Xie, N. and Li, L. and Zeng, X. and Maybank, Stephen J. (2011) A survey on visual content-based video indexing and retrieval. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 41 (6), pp. 797-819. ISSN 1094-6977.