Ulster Institutional Repository

Browse by Ulster Authors and Editors

Biomedical Sciences Research Institute

Computer Science Research Institute

Environmental Sciences Research Institute

Nanotechnology & Advanced Materials Research Institute

Group by: Date | Item Type | No Grouping

Jump to: Conference contribution

Number of items: 1.

Conference contribution

Magherini, Tommaso, Parente, Guido, Nugent, CD, Donnelly, Mark, Vicario, Enrico, Cruciani, Federico and Paggetti, Christiano (2010) Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. In: International Conference on Information Technology and Applications in Biomedicine. IEEE. 4 pp. [Conference contribution]

This list was generated on Fri May 24 05:17:36 2013 BST.