Publications

Export 3364 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Papers
Shachnai H, Srinivasan A.  2001.  Finding large independent sets of hypergraphs in parallel. Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures. :163-168.
Shachnai H, Srinivasan A.  2001.  Finding large independent sets of hypergraphs in parallel. Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures. :163-168.
Schieber B, Vishkin U.  1988.  On finding lowest common ancestors: simplification and parallelization. VLSI Algorithms and Architectures. :111-123.
Bonsignore EM, Dunne C, Rotman D, Smith M, Capone T, Hansen DL, Shneiderman B.  2009.  First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL. International Conference on Computational Science and Engineering, 2009. CSE '09. 4:332-339.
Bonsignore EM, Dunne C, Rotman D, Smith M, Capone T, Hansen DL, Shneiderman B.  2009.  First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL. International Conference on Computational Science and Engineering, 2009. CSE '09. 4:332-339.
Bender A, Sherwood R, Spring N.  2008.  Fixing ally's growing pains with velocity modeling. Proceedings of the 8th ACM SIGCOMM conference on Internet measurement. :337-342.
Bender A, Sherwood R, Spring N.  2008.  Fixing ally's growing pains with velocity modeling. Proceedings of the 8th ACM SIGCOMM conference on Internet measurement. :337-342.
Wu J S-C, Sussman A.  2004.  Flexible Control of Data Transfers between Parallel Programs. Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing. :226-234.
Snover M, Madnani N, Dorr BJ, Schwartz R.  2009.  Fluency, adequacy, or HTER?: exploring different human judgments with a tunable MT metric Proceedings of the Fourth Workshop on Statistical Machine Translation. :259-268.
Snover M, Madnani N, Dorr BJ, Schwartz R.  2009.  Fluency, adequacy, or HTER?: exploring different human judgments with a tunable MT metric Proceedings of the Fourth Workshop on Statistical Machine Translation. :259-268.
Paluska, Saff, Yeh, Chen.  2003.  Footloose: a case for physical eventual consistency and selective conflict resolution. Mobile Computing Systems and Applications, 2003. Proceedings. Fifth IEEE Workshop on. :170-179.
Weissman A, Gupta SK, Fiorentini X, Sudarsan R, Sriram R.  2009.  Formal Representation of Product Design Specifications for Validating Product Design. :1411-1422.
Weissman A, Gupta SK, Fiorentini X, Sudarsan R, Sriram R.  2009.  Formal Representation of Product Design Specifications for Validating Product Design. :1411-1422.
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.
Smith MJ, desJardins M.  2005.  A framework for decomposing reputation in MAS into competence and integrity. Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. :1253-254.
Mendonca MG, Maldonado JC, de Oliveira MCF, Carver J, Fabbri CPF, Shull F, Travassos GH, Hohn EN, Basili VR.  2008.  A Framework for Software Engineering Experimental Replications. Engineering of Complex Computer Systems, 2008. ICECCS 2008. 13th IEEE International Conference on. :203-212.
Srivastava S, Gulwani S, Foster JS.  2010.  From program verification to program synthesis. ACM SIGPLAN Notices. 45:313-326.
Rotman D, Vieweg S, Yardi S, Chi E, Preece J, Shneiderman B, Pirolli P, Glaisyer T.  2011.  From slacktivism to activism: participatory culture in the age of social media. Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :819-822.
Parker A, Nau DS, V.S. Subrahmanian.  2005.  Game-tree search with combinatorially large belief states. 19:254-254.
Han Z, Lin C-K, Goldsman N, Mayergoyz ID, Yu S, Stettler M.  1999.  Gate leakage current simulation by Boltzmann transport equation and its dependence on the gate oxide thickness. Simulation of Semiconductor Processes and Devices, 1999. SISPAD '99. 1999 International Conference on. :247-250.
V.S. Subrahmanian, Amgoud L.  2007.  A general framework for reasoning about inconsistency. Proceedings of the International Joint Conference on Artificial Intelligence. :599-604.
Asgari S, Hochstein L, Basili VR, Zelkowitz MV, Hollingsworth J, Carver J, Shull F.  2005.  Generating testable hypotheses from tacit knowledge for high productivity computing. Proceedings of the second international workshop on Software engineering for high performance computing system applications. :17-21.
Kang H, Sehgal V, Getoor L.  2007.  GeoDDupe: A Novel Interface for Interactive Entity Resolution in Geospatial Data. Information Visualization, 2007. IV '07. 11th International Conference. :489-496.
Lieberman MD, Samet H, Sankaranayananan J.  2010.  Geotagging: using proximity, sibling, and prominence clues to understand comma groups. Proceedings of the 6th Workshop on Geographic Information Retrieval. :6:1–6:8-6:1–6:8.
Lieberman MD, Samet H, Sankaranayananan J.  2010.  Geotagging: using proximity, sibling, and prominence clues to understand comma groups. Proceedings of the 6th Workshop on Geographic Information Retrieval. :6:1–6:8-6:1–6:8.

Pages