Publications
2007. An Interactive Approach to Pose-Assisted and Appearance-based Segmentation of Humans. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
2005. VidMAP: video monitoring of activity with Prolog. Advanced Video and Signal Based Surveillance, 2005. AVSS 2005. IEEE Conference on. :224-229.
1996. An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.