Publications
Export 337 results:
Author [ Title] Type Year Filters: First Letter Of Title is T [Clear All Filters]
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.
1992. A two-level knowledge representation for machine translation: Lexical semantics and tense/aspect. Lexical Semantics and Knowledge RepresentationLexical Semantics and Knowledge Representation. 627:269-287.
2007. A two-level topological decomposition for non-manifold simplicial shapes. Proceedings of the 2007 ACM symposium on Solid and physical modeling. :355-360.
2005. Two-server password-only authenticated key exchange. Applied Cryptography and Network Security. :175-206.
2012. Two-server password-only authenticated key exchange. Journal of Computer and System Sciences. 78(2):651-669.
2005. A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.
1991. Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.