Publications

Export 3364 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Papers
Srinivasan A, Zuckerman D.  1994.  Computing with very weak random sources. , 35th Annual Symposium on Foundations of Computer Science, 1994 Proceedings. :264-275.
Cleaveland R, Lewis P, Smolka S, Sokolsky O.  1996.  The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
Cleaveland R, Lewis P, Smolka S, Sokolsky O.  1996.  The Concurrency Factory: A development environment for concurrent systems. Computer Aided Verification. :398-401.
Cleaveland R, Parrow J, Steffen B.  1990.  The concurrency workbench. Automatic Verification Methods for Finite State Systems. :24-37.
Swaminathan A, Mao Y, Su G-M, Gou H, Varna AL, He S, M. Wu, Oard D.  2007.  Confidentiality-preserving rank-ordered search. Proceedings of the 2007 ACM workshop on Storage security and survivability. :7-12.
Swaminathan A, Mao Y, Su G-M, Gou H, Varna AL, He S, M. Wu, Oard D.  2007.  Confidentiality-preserving rank-ordered search. Proceedings of the 2007 ACM workshop on Storage security and survivability. :7-12.
Seri M, Courtney T, Cukier M, Gupta V, Krishnmamurthy S, Lyons J, Ramasamy H, Ren J, Sanders WH.  2002.  A configurable CORBA gateway for providing adaptable system properties.
Seri M, Courtney T, Cukier M, Gupta V, Krishnmamurthy S, Lyons J, Ramasamy H, Ren J, Sanders WH.  2002.  A configurable CORBA gateway for providing adaptable system properties.
Dachman-Soled D, Sreedhar V.C..  2007.  Configuration Reasoning and Ontology For Web. IEEE International Conference on Services Computing, 2007. SCC 2007. :387-394.
Srinivasan A, Teo C-P.  1997.  A constant-factor approximation algorithm for packet routing, and balancing local vs. global criteria. Proceedings of the twenty-ninth annual ACM symposium on Theory of computing. :636-643.
Lee M, De Floriani L, Samet H.  2004.  Constant-time navigation in four-dimensional nested simplicial meshes. Shape Modeling Applications, 2004. Proceedings. :221-230.
Kauniskangas H, Sauvola J, Pietikainen M, Doermann D.  1997.  Content-based Image Retrieval Using Composite Features. Proceedings of the 1997 Scandinavian Conference on Image Analysis. :35-42.
Folkers A, Samet H.  2002.  Content-based image retrieval using Fourier descriptors on a logo database. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:521-524vol.3-521-524vol.3.
Iwerks GS, Samet H, Smith K.  2003.  Continuous k-nearest neighbor queries for continuously moving points with updates. Proceedings of the 29th international conference on Very large data bases-Volume 29. :512-523.
Iwerks GS, Samet H, Smith K.  2003.  Continuous k-nearest neighbor queries for continuously moving points with updates. Proceedings of the 29th international conference on Very large data bases-Volume 29. :512-523.
Abd-Almageed W, Smith CE.  2002.  Contour migration: solving object ambiguity with shape-space visual guidance. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2002. 1:330-335vol.1-330-335vol.1.
Bederson BB, Wallace RS, Schwartz EL.  1993.  Control and design of the spherical pointing motor. , 1993 IEEE International Conference on Robotics and Automation, 1993. Proceedings. :630-636vol.2-630-636vol.2.
Chow R, Golle P, Jakobsson M, Elaine Shi, Staddon J, Masuoka R, Molina J.  2009.  Controlling data in the cloud: outsourcing computation without outsourcing control. :85-90.
Chow R, Golle P, Jakobsson M, Elaine Shi, Staddon J, Masuoka R, Molina J.  2009.  Controlling data in the cloud: outsourcing computation without outsourcing control. :85-90.
Sherwood R, Braud R, Bhattacharjee B.  2004.  A cooperative bulk transfer protocol. IEEE Infocom.
Lee S, Sherwood R, Bhattacharjee B.  2003.  Cooperative peer groups in NICE. INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer and Communications. IEEE Societies. 2:1272-1282vol.2-1272-1282vol.2.
Reggia JA, Sutton III GG, Lynne C, D'Autrechy SC, Armentrout SL.  2000.  Cortical inhibition as explained by the competitive distribution hypothesis. Network models for control and processing. :31-62.
Bröcheler M, Pugliese A, V.S. Subrahmanian.  2010.  COSI: Cloud Oriented Subgraph Identification in Massive Social Networks. Advances in Social Networks Analysis and Mining (ASONAM), 2010 International Conference on. :248-255.
Sen P, Getoor L.  2006.  Cost-sensitive learning with conditional Markov networks. Proceedings of the 23rd international conference on Machine learning. :801-808.
Kurc TM, Sussman A, Saltz J.  1999.  Coupling multiple simulations via a high performance customizable database system. Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing.

Pages