Publications

Export 337 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is T  [Clear All Filters]
Conference Papers
Furr M, An J-hoon(D), Foster JS, Hicks MW.  2009.  Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. Proceedings for the 1st workshop on Script to Program Evolution. :14-16.
Li H, Kia O, Doermann D.  1999.  Text Enhancement in Digital Video. Proceedings of SPIE - Conference on Document Recognition and Retrieval VI. :2-9.
Li H, Doermann D.  1999.  Text enhancement in digital video using multiple frame integration. Proceedings of the seventh ACM international conference on Multimedia (Part 1). :19-22.
Li H, Doermann D, Kia O.  1998.  Text Extraction and Recognition in Digital Video. Proceedings of Third IAPRWorkshop on Document Analysis Systems. :119-128.
Zheng Y, Li H, Doermann D.  2003.  Text Identification in Noisy Document Images Using Markov Random Field. ICDAR. :599-603.
Li H, Doermann D.  2002.  Text Quality Estimation in Digital Video. SPIE Conf. on Document Recognition and Information Retrieval. :232-243.
Rivlin E, Doermann D, Rosenfeld A.  1996.  A Theory of Document Functionality. Proceedings in FLAIRS. :429-433.
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Foster JS, Fähndrich M, Aiken A.  1999.  A theory of type qualifiers. ACM SIGPLAN Notices. 34:192-203.
Swamy N, Hicks MW, Bierman GM.  2009.  A theory of typed coercions and its applications. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. :329-340.
Lathan C, Vice J M, Tracey M, Plaisant C, Druin A, Edward K, Montemayor J.  2001.  Therapeutic play with a storytelling robot. CHI '01 extended abstracts on Human factors in computing systems. :27-28.
Piatetsky-Shapiro G, Grossman R, Djeraba C, Feldman R, Getoor L, Zaki M.  2006.  Is there a grand challenge or X-prize for data mining? Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining. :954-956.
Zelkowitz MV.  1975.  Third generation compiler design. Proceedings of the 1975 annual conference. :253-258.
Seydou F, Duraiswami R, Seppanen T.  2003.  Three dimensional acoustic scattering from an M multilayered domain via an integral equation approach. Antennas and Propagation Society International Symposium, 2003. IEEE. 1:669-672vol.1-669-672vol.1.
Kundu K, Sessions C, desJardins M, Rheingans P.  2002.  Three-dimensional visualization of hierarchical task network plans. In Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for.
Mundur P, Sood A, Simon R.  1998.  Threshold-based admission control for multi-class video-on-demand systems. Performance, Computing and Communications, 1998. IPCCC '98., IEEE International. :154-160.
Karlson AK, Bederson BB.  2007.  Thumbspace: Generalized one-handed input for touchscreen-based mobile devices. Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction. :324-338.
Alon N, Azar Y, Vishkin U.  1986.  Tight complexity bounds for parallel comparison sorting. 27th Annual Symposium on Foundations of Computer Science. :502-510.
Arya S, Mount D, Xia J.  2010.  Tight lower bounds for halfspace range searching. Proceedings of the 2010 annual symposium on Computational geometry. :29-37.
Aryangat S, Andrade H, Sussman A.  2004.  Time and space optimization for processing groups of multi-dimensional scientific queries. Proceedings of the 18th annual international conference on Supercomputing. :95-105.
Zhuolin Jiang, Li S-F, Gao D-F.  2006.  A Time Saving Method for Human Detection in Wide Angle Camera Images. Machine Learning and Cybernetics, 2006 International Conference on. :4029-4034.
Coolahan Jr JE, Roussopoulos N.  1985.  A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
Anderson ML, Josyula DP, Okamoto YA, Perlis D.  2002.  Time-situated agency: Active logic and intention formation. in: Workshop on Cognitive Agents, 25th German Conference on Artificial Intelligence.
Bongki CC, Chang C, Moon B, Acharya A, Shock C, Sussman A, Saltz J.  1997.  Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
Hannenhalli S, Pevzner P.  1996.  To cut… or not to cut (applications of comparative physical maps in molecular evolution). Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms. :304-313.

Pages