Publications

Export 3364 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is S  [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 
C
Cleaveland R, Parrow J, Steffen B.  1993.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
Reggia JA, Schulz R, Wilkinson GS, Uriagereka J.  2001.  Conditions enabling the emergence of inter-agent signalling in an artificial world. Artificial Life. 7(1):3-32.
Consolvo S, Harrison B, Smith I, Chen MY, Everitt K, Froehlich J, Landay JA.  2007.  Conducting In Situ Evaluations for and With Ubiquitous Computing Technologies. International Journal of Human-Computer Interaction. 22(1-2):103-118.
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.
Stantchev G, Juba D, Dorland W, Varshney A.  2008.  Confluent Volumetric Visualization of Gyrokinetic Turbulence. Plasma Science, IEEE Transactions on. 36(4):1112-1113.
Xie B, Druin A, Fails J, Massey S, Golub E, Franckel S, Schneider K.  2010.  Connecting generations: developing co-design methods for older adults and children. Behaviour & Information Technology. 99999(1):1-11.
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.
Albanese M, Chellappa R, Moscato V, Picariello A, V.S. Subrahmanian, Turaga P, Udrea O.  2008.  A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video. Multimedia, IEEE Transactions on. 10(6):982-996.
Kuniavsky M, Vaughan M, Bederson BB, Shneiderman B, Rau PLP, from Menus T, Lane DM, Napier HA, Peres SC, Sándor A.  2005.  Content Index to Volume 18. INTERNATIONAL JOURNAL OF HUMAN–COMPUTER INTERACTION. 18(3):367-368.
Kuniavsky M, Vaughan M, Bederson BB, Shneiderman B, Rau PLP, from Menus T, Lane DM, Napier HA, Peres SC, Sándor A.  2005.  Content Index to Volume 18. INTERNATIONAL JOURNAL OF HUMAN–COMPUTER INTERACTION. 18(3):367-368.
Perry B, Chang S-K, Dinsmore J, Doermann D, Rosenfeld A, Stevens S.  1999.  Content-Based Access to Multimedia Information: From Technology Trends to Sate of the Art.
Deshmukh AS, Banerjee A G, Gupta SK, Sriram RD.  2008.  Content-based assembly search: A step towards assembly reuse. Computer-Aided Design. 40(2):244-261.
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.
Goldberg L A, Mackenzie PD, Paterson M, Srinivasan A.  2000.  Contention resolution with constant expected delay. J. ACM. 47(6):1048-1096.
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.
Shneiderman B.  1982.  Control flow and data structure documentation: two experiments. Commun. ACM. 25(1):55-63.

Pages