Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is reasoning  [Clear All Filters]
2007
Lin Z, Davis LS, Doermann D, DeMenthon D.  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
Shet VD, Harwood D, Davis LS.  2005.  VidMAP: video monitoring of activity with Prolog. Advanced Video and Signal Based Surveillance, 2005. AVSS 2005. IEEE Conference on. :224-229.
1996
Natarajan V, Cleaveland R.  1996.  An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.