Publications

Export 337 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Miller M, Perlis D.  1991.  Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.
Hicks MW.  1998.  Types and intermediate representations. Technical Reports (CIS). :796-796.
Cleaveland R, Panangaden P.  1988.  Type theory and concurrency. International Journal of Parallel Programming. 17(2):153-206.
Greenfieldboyce D, Foster JS.  2007.  Type qualifier inference for Java. ACM SIGPLAN Notices. 42:321-336.
Skalka C, Smith S, Van Horn D.  2005.  A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.
Katz J, MacKenzie P, Taban G, Gligor V.  2005.  Two-server password-only authenticated key exchange. Applied Cryptography and Network Security. :175-206.
Katz J, MacKenzie P, Taban G, Gligor V.  2012.  Two-server password-only authenticated key exchange. Journal of Computer and System Sciences. 78(2):651-669.
Hui A, De Floriani L.  2007.  A two-level topological decomposition for non-manifold simplicial shapes. Proceedings of the 2007 ACM symposium on Solid and physical modeling. :355-360.
Dorr BJ.  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.
Liu H, Rosenfeld A, Chellappa R.  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.
Pugh W, Weddell G.  1990.  Two-directional record layout for multiple inheritance. Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation. :85-91.
Vishkin U.  2002.  Two techniques for reconciling algorithm parallelism with memory constraints. Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures. :95-98.
Stewart G.W.  1998.  Two Simple Residual Bounds for the Eigenvalues of Hermitian Matrices. UMIACS-TR-89-123
Bederson BB, Wallace RS, Schwartz EL.  1992.  Two miniature pan-tilt devices. Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on. :658-663.
Seydou F, Gumerov NA, Duraiswami R.  2003.  Two methods for solving a 3D acoustic inverse scattering problem. The Journal of the Acoustical Society of America. 113(4):2191-2191.
Gannon JD, Zelkowitz MV.  1987.  Two implementation models of abstract data types. Computer Languages. 12(1):21-25.
Shneiderman B, Ho MH.  1975.  Two Exploratory Experiments in Program Comprehension.
Brosey M, Shneiderman B.  1978.  Two experimental comparisons of relational and hierarchical database models. International Journal of Man-Machine Studies. 10(6):625-637.
Landau G, Vishkin U.  1993.  Two dimensional pattern matching in a digitized image. Combinatorial Pattern Matching. :134-151.
Kim Y-S, Dagalakis NG, Gupta SK.  2011.  A Two Degree of Freedom Nanopositioner With Electrothermal Actuator for Decoupled Motion. :447-457.
Zhang X-N, Mount SM.  2009.  Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
Stewart G.W.  1998.  Two Algorithms for the The Efficient Computation of Truncated Pivoted QR Approximations to a Sparse Matrix. UMIACS-TR-98-12
Sankaranarayanan J, Samet H, Teitler BE, Lieberman MD, Sperling J.  2009.  TwitterStand: news in tweets. Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. :42-51.
Wong PC, Chen C, Görg C, Shneiderman B, Stasko J, Thomas J.  2011.  Tutorial-Graph Analytics — Lessons Learned and Challenges Ahead. IEEE Computer Graphics and Applications. 31(5):18-18.
Getoor L.  2005.  Tutorial on statistical relational learning. Inductive Logic Programming. :415-415.

Pages