Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
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 
E
Landau GM, Vishkin U.  1986.  Efficient Parallel and Serial String Matching. Computer Science Department Technical Report. 221
Khuller S, Schieber B.  1989.  Efficient parallel algorithms for testing connectivity and finding disjoint s-t paths in graphs. Foundations of Computer Science, 1989., 30th Annual Symposium on. :288-293.
JaJa JF, Ryu KW.  1994.  An efficient parallel algorithm for the single function coarsest partition problem. Theoretical computer science. 129(2):293-307.
Krishnamurthy S, JaJa JF.  1990.  An efficient parallel algorithm for channel routing. Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on. :400-403.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Tikir MM, Hollingsworth J.  2005.  Efficient online computation of statement coverage. Journal of Systems and Software. 78(2):146-165.
Ryu KD, Hollingsworth J, Keleher PJ.  2001.  Efficient network and I/O throttling for fine-grain cycle stealing. Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '01. :3-3.
Tanin E, Nayar D, Samet H.  2005.  An efficient nearest neighbor algorithm for P2P settings. Proceedings of the 2005 national conference on Digital government research. :21-28.
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Bhat GS, Cleaveland R, Groce A.  2001.  Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
Aggarwal A, Bar-Noy A, Khuller S, Kravets D, Schieber B.  1992.  Efficient minimum cost matching using quadrangle inequality. Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on. :583-592.
Yang C, Duraiswami R, Davis LS.  2005.  Efficient mean-shift tracking via a new similarity measure. Computer Vision and Pattern Recognition, 2005. CVPR 2005. IEEE Computer Society Conference on. 1:176-183vol.1-176-183vol.1.
Beynon MD, Sussman A, Kurc T, Catalyurek U, Saltz J.  2002.  Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
Morselli R, Bhattacharjee B, Marsh MA, Srinivasan A.  2007.  Efficient lookup on unstructured topologies. IEEE Journal on Selected Areas in Communications. 25(1):62-72.
Morselli R, Bhattacharjee B, Srinivasan A, Marsh MA.  2005.  Efficient lookup on unstructured topologies. Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing. :77-86.
Bhat G, Cleaveland R.  1996.  Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
Friedman N, Getoor L.  1999.  Efficient learning using constrained sufficient statistics. Proceedings of the 7th International Workshop on Artificial Intelligence and Statistics (AISTATS-99).
Habash N, Dorr BJ, Traum D.  2001.  Efficient Language Independent Generation from Lexical Conceptual Structure.
Memarsadeghi N, Raykar VC, Duraiswami R, Mount D.  2008.  Efficient Kriging via Fast Matrix-Vector Products. Aerospace Conference, 2008 IEEE. :1-7.
Memarsadeghi N, Raykar VC, Duraiswami R, Mount D.  2008.  Efficient Kriging via Fast Matrix-Vector Products. Aerospace Conference, 2008 IEEE. :1-7.
Srinivasan BV, Duraiswami R, Murtugudde R.  2010.  Efficient kriging for real-time spatio-temporal interpolation. Proceedings of the 20 th Conference on Probability and Statistics in the Atmospheric Sciences. :228-235.
Kanungo T, Mount D, Netanyahu NS, Piatko CD, Silverman R, Wu AY.  2002.  An efficient k-means clustering algorithm: analysis and implementation. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 24(7):881-892.
Yang C, Duraiswami R, Davis LS.  2005.  Efficient kernel machines using the improved fast Gauss transform. Advances in neural information processing systems. 17:1561-1568.
Elgammal A, Duraiswami R, Davis LS.  2003.  Efficient kernel density estimation using the fast gauss transform with applications to color modeling and tracking. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 25(11):1499-1504.
Elgammal A, Duraiswami R, Davis LS.  2003.  Efficient kernel density estimation using the fast gauss transform with applications to color modeling and tracking. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 25(11):1499-1504.

Pages