Publications
Export 337 results:
Author Title [ Type] Year Filters: First Letter Of Title is T [Clear All Filters]
2006. Trusted declassification:: high-level policy for a security-typed language. Proceedings of the 2006 workshop on Programming languages and analysis for security. :65-74.
2004. Trust-preserving set operations. INFOCOM 2004. Twenty-third AnnualJoint Conference of the IEEE Computer and Communications Societies. 4:2231-2241vol.4-2231-2241vol.4.
1996. Tuning the performance of I/O-intensive parallel applications. Proceedings of the fourth workshop on I/O in parallel and distributed systems: part of the federated computing research conference. :15-27.
2006. The turbulence structure of shockwave and boundary layer interaction in a compression corner. 44th AIAA Aerospace Meeting and Exhibit. 2006
2005. Turning information visualization innovations into commercial products: lessons to guide the next success. IEEE Symposium on Information Visualization, 2005. INFOVIS 2005. :241-244.
2009. TwitterStand: news in tweets. Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. :42-51.
2011. A Two Degree of Freedom Nanopositioner With Electrothermal Actuator for Decoupled Motion. :447-457.
1993. Two dimensional pattern matching in a digitized image. Combinatorial Pattern Matching. :134-151.
1992. Two miniature pan-tilt devices. Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on. :658-663.
2002. Two techniques for reconciling algorithm parallelism with memory constraints. Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures. :95-98.
1990. Two-directional record layout for multiple inheritance. Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation. :85-91.
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.
2007. A two-level topological decomposition for non-manifold simplicial shapes. Proceedings of the 2007 ACM symposium on Solid and physical modeling. :355-360.
1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
1996. Table-Form Structure Analysis Based on Box-Driven Reasoning. IEICE TRANSACTIONS on Information and Systems. E79-D(5):542-547.
2012. TACI: Taxonomy-Aware Catalog Integration. IEEE Transactions on Knowledge and Data Engineering (TKDE).
2009. Target Tracking Based on Nonparametric Clustering and Multi-Scale Images. JSCUT (Natural Science Edition). 37(1):34-41.
2007. Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
2009. Task decomposition on abstract states, for planning under nondeterminism. Artificial Intelligence. 173(5–6):669-695.
2011. A task taxonomy of network evolution analysis. University of Maryland, Human-Computer Interaction Lab Tech Report HCIL-2011-09.
2007. Task-based evaluation of text summarization using Relevance Prediction. Information Processing & Management. 43(6):1482-1499.