Browse by Person
 | Up a level |
Number of items: 2.
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.
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.