Publications
Export 1858 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is C [Clear All Filters]
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1997. Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
1994. Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
2011. Toolchain for Programming, Simulating and Studying the XMT Many-Core Architecture. Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW), 2011 IEEE International Symposium on. :1282-1291.
2006. Topic-focused multi-document summarization using an approximate oracle score. Proceedings of the COLING/ACL on Main conference poster sessions. :152-159.
1975. TORUS-a natural language understanding system for data management. Proceedings of the Fourth International Conference on Artificial Intelligence. :414-421.
2002. Towards a criterion for evaluating the quality of 3D reconstructions. Acoustics, Speech, and Signal Processing (ICASSP), 2002 IEEE International Conference on. 4:IV-3321-IV-3324-IV-3321-IV-3324.
2003. Towards a view invariant gait recognition algorithm. Proceedings. IEEE Conference on Advanced Video and Signal Based Surveillance, 2003.. :143-150.
2003. Towards a view invariant gait recognition algorithm. Proceedings. IEEE Conference on Advanced Video and Signal Based Surveillance, 2003.. :143-150.
2009. Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces. Software Testing, Verification and Validation Workshops, 2009. ICSTW '09. International Conference on. :263-266.
2012. Towards event sequence representation, reasoning and visualization for EHR data. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :801-806.
2012. Towards event sequence representation, reasoning and visualization for EHR data. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :801-806.
2003. Towards formal but flexible scenarios. 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools.
2011. Towards view-invariant expression analysis using analytic shape manifolds. 2011 IEEE International Conference on Automatic Face & Gesture Recognition and Workshops (FG 2011). :306-313.
2005. Tracking objects in video using motion and appearance models. Image Processing, 2005. ICIP 2005. IEEE International Conference on. 2:II-394-7-II-394-7.
2010. Tracking via object reflectance using a hyperspectral video camera. 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). :44-51.
2011. Trainable 3D recognition using stereo matching. Computer Vision Workshops (ICCV Workshops), 2011 IEEE International Conference on. :625-631.
2002. Two-frame multi-scale optical flow estimation using wavelet decomposition. Acoustics, Speech, and Signal Processing (ICASSP), 2002 IEEE International Conference on. 4:IV-3588-IV-3591-IV-3588-IV-3591.
2009. UbiGreen: investigating a mobile tool for tracking and supporting green transportation habits. Proceedings of the 27th international conference on Human factors in computing systems. :1043-1052.
2005. UMD Experiments with FRGC Data. Computer Vision and Pattern Recognition - Workshops, 2005. CVPR Workshops. IEEE Computer Society Conference on. :172-172.
2007. Usage-based dhcp lease time optimization. Proceedings of the 7th ACM SIGCOMM conference on Internet measurement. :71-76.
1981. Use of cluster analysis to evaluate software engineering methodologies. Proceedings of the 5th international conference on Software engineering. :117-123.
2003. On the use of flow migration for handling short-term overloads. Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE. 6:3108-3112vol.6-3108-3112vol.6.