Publications

Export 292 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Title is F  [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 
S
Srivastava S, Gulwani S, Foster JS.  2010.  From program verification to program synthesis. ACM SIGPLAN Notices. 45:313-326.
Srinivasan BV, Duraiswami R, Gumerov NA.  2010.  Fast matrix-vector product based fgmres for kernel machines. Copper Mountain Conference on Iterative Methods. 2
Song S, JaJa JF.  2008.  Fast browsing of archived Web contents. 8th International Web Archiving Workshop, Aarhus, Denmark..
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.
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.
Singh LN, Hannenhalli S.  2008.  Functional Diversification of Paralogous Transcription Factors via Divergence in DNA Binding Site Motif and in Expression. PLoS ONEPLoS ONE. 3(6):e2345-e2345.
Shuttleworth RR, Elman H, Long KR, Templeton JA.  2011.  Fast solvers for models of ICEO microfluidic flows. International Journal for Numerical Methods in Fluids. 65(4):383-404.
Shneiderman B.  1982.  Fighting for the User.. Bulletin of the American Society for Information ScienceBulletin of the American Society for Information Science. 9(2):27-29.
Shneiderman B.  1993.  First steps toward positive contributions. Communications of the ACM. 36(1):15-16.
Shneiderman B.  2004.  Facilitating understanding of information visualizations: emerging principles and examples. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings.
Shneiderman B.  1982.  The future of interactive systems and the emergence of direct manipulation. Behaviour & Information Technology. 1(3):237-256.
Shneiderman B.  1997.  A framework for search interfaces. IEEE Software. 14(2):18-20.
Shneiderman B.  1990.  Future directions for human‐computer interaction. International Journal of Human-Computer Interaction. 2(1):73-90.
Shneiderman B, Bederson BB, Drucker SM.  2006.  Find that photo!: interface strategies to annotate, browse, and share. Communications of the ACM - Supporting exploratory search. 49(4):69-71.
Shneiderman B, Plaisant C.  1994.  The future of graphic user interfaces: Personal role managers. People and Computers. :444-444.
Shiloach Y, Vishkin U.  1981.  Finding the maximum, merging, and sorting in a parallel computation model. Journal of Algorithms. 2(1):88-102.
Shi Q, JaJa JF.  2003.  Fast algorithms for a class of temporal range queries. Algorithms and Data Structures. :91-102.
Shi Q, JaJa JF.  2003.  Fast Fractional Cascading and Its Applications. UMIACS-TR-2003-71
Shi Q, JaJa JF.  2003.  Fast Algorithms for 3-D Dominance Reporting and Counting. UMIACS-TR-2003-06
Shen RD, Li SF, Zhuolin Jiang.  2009.  Fast and Accurate Method of Uniform-colored Video Text Extraction. Jisuanji Gongcheng/ Computer Engineering. 35(9)
Sharma A, Martin JR, Anand N, Cukier M, Sanders WH.  2004.  Ferret: a host vulnerability checking tool. :389-394.
Shaman J., Solomon S., Colwell RR, Field C.B.  2013.  Fostering advances in interdisciplinary climate science. Proceedings of the National Academy of Sciences. (Supplement_114869243Supplement_1):3653-3656.
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.
Schwartz WR, Guo H, Choi J, Davis LS.  2012.  Face Identification Using Large Feature Sets. Image Processing, IEEE Transactions on. 21(4):2245-2255.
Schulman A, Levin D, Spring N.  2008.  On the fidelity of 802.11 packet traces. Proceedings of the 9th international conference on Passive and active network measurement. :132-141.

Pages