Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of March 19, 2015. This list is automatically generated and may contain errors. The list is generated in batch mode and citation counts may differ from those currently in the CiteSeerx database, since the database is continuously updated.

All Years | 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015
  1. Rakesh Agrawal, Ramakrishnan Srikant.
    Fast algorithms for mining association rules. In Proceedings of the 20th International Conference on Very Large Databases (VLDB, 1994
    2889
  2. Christos H Papadimitriou.
    Computational Complexity. 1994
    2426
  3. A Connes.
    Noncommutative Geometry. 1994
    2196
  4. R Alur, D L Dill.
    A Theory of Timed Automata. Theoretical Computer Science, 1994
    2161
  5. W E Leland, M S Taqqu, W Willinger, D V Wilson.
    On the self-similar nature of Ethernet traffic (extended version. IEEE/ACM Transaction on Networking, 1994
    1948
  6. Martin J Osborne, Ariel Rubinstein.
    A Course in Game Theory. 1994
    1902
  7. Jianbo Shi, Carlo Tomasi.
    Good Features to Track. IEEE Conference on Computer Vision and Pattern Recognition, 1994
    1590
  8. J K Ousterhout.
    Tcl and the Tk Toolkit. 1994
    1270
  9. E M Clarke.
    Automatic verification of finite–state concurrent systems. Lecture Notes in Computer Science, 1994
    1245
  10. P Resnick, N Iacovou, M Suchak, P Bergstrom, J Riedl.
    GroupLens: an open architecture for collaborative filtering of Netnews. Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work(CSCW’94, 1994
    1245
  11. J L Barron, D J Fleet, S S Beauchemin.
    Performance of optical flow techniques. International Journal of Computer Vision, 1994
    1119
  12. D Heckerman, D Geiger, Chickering DM.
    Learning Bayesian networks: the combination of knowledge and statistical data. In Proceedings of the 10th Conference Uncertainty in Artificial Intelligence, 1994
    953
  13. J Koza.
    Genetic Programming H. 1994
    949
  14. P Shor.
    Algorithms for quantum computation: discrete logarithms and factoring. Proceedings, 35th Annual Symposium on Fundamentals of Computer Science (FOCS, 1994
    859
  15. Leslie Lamport.
    The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 1994
    853
  16. Joxan Jaffar, Michael J Maher.
    Constraint logic programming: A survey. Journal of Logic Programming, 1994
    791
  17. B N Schilit, N Adams, R Want.
    Context-aware computing applications. In Proc. Workshop on Mobile Computing Systems and Applications. IEEE, 1994
    778
  18. M I Jordan, R A Jacobs.
    Hierarchical mixtures of experts and the em algorithm. Neural computation, 1994
    762
  19. A Srivastava, A Eustace.
    Atom: a system for building customized program analysis tools. In PLDI ’94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, 1994
    749
  20. Helmut Schmid.
    Probabilistic Part-of-Speech Tagging using Decision Trees. In Proceedings of the 1st International Conference on New Methods in Language Processing, 1994
    731
  21. V Bharghavan, A Demers, S Shenker, L Zhang.
    MACAW: A media access protocol for wireless LANs. in: Proceedings of SIGCOMM ’94, 1994
    719
  22. R M Murray, Z Li, S S Sastry.
    A Mathematical Introduction to Robotic Manipulation. 1994
    709
  23. A Pentland, B Moghaddam, T Starner.
    View-Based and modular eigenspaces for face recognition. In: Proc. of the IEEE Conf. on Computer Vision and Pattern Recognition, 1994
    673
  24. E M Clarke, O Grumberg, D E Long.
    Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 1994
    671
  25. T L Bailey, C Elkan.
    Fitting a mixture model by expectation maximization to discover motifs in biopolymers. Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, AAAI Press, Menlo, 1994
    640
  26. G H John, R Kohavi, K Pfleger.
    Irrelevant Feature and the Subset Selection Problem. Rutgers University, 1994
    635
  27. T W Malone, K Crowston.
    The Interdisciplinary Study of Coordination. ACM Computing Surveys, 1994
    633
  28. Kah-Kay Sung, Tomaso Poggio.
    Example-based learning for viewbased human face detection. A.I. Memo 1521, CBCL Paper 112, MIT, 1994
    614
  29. M Burrows, D Wheeler.
    A block-sorting lossless data compression algorithm. 1994
    595
  30. J E Marsden, T S Riatu.
    Introduction to Mechanics and Symmetry. 1994
    578
  31. M W Berry, S T Dumais, G W O’Brien.
    Using Linear Algebra for Intelligent Information Retrieval. SIAM: Review, 1994
    573
  32. A K Wright, M Felleisen.
    A syntactic approach to type soundness. Information and Computation, 1994
    572
  33. Sally Floyd.
    TCP and Explicit Congestion Notification. ACM Computer Communication Review, 1994
    572
  34. A Krogh, M Brown, I S Mian, K Sjolander, D Haussler.
    Hidden Markov models in computational biology. Applications to protein modeling. 1994
    561
  35. J L Gauvain, C H Lee.
    Maximum a Posteriori Estimation for Multivariate Gaussian Mixture Observations of Markov Chains. IEEE Trans. on Speech and Audio Processing, 1994
    544
  36. I L Hofacker, W Fontana, P F Stadler, S Bonhoeer, M Tacker, P Schuster.
    Fast folding and comparison of RNA secondary structures. Monatsh. Chemie, 1994
    536
  37. L S Brakmo, S W O’Malley, L L Peterson.
    TCP Vegas: new techniques for congestion detection and avoidance. in Proc. of ACM SIGCOMM, 1994
    534
  38. M L Littman.
    Markov Games as a Framework for Multi-Agent Reinforcement Learning. Proceedings of 11th International Conference on Machine Learning, 1994
    532
  39. Z Zhang.
    Iterative Point Matching for Registration of FreeForm Curves and Surfaces. International Journal of Computer Vision, 1994
    517
  40. T Henzinger, X Nicollin, J Sifakis, S Yovine.
    Symbolic Model-checking for Real-time Systems. Information and Computation, 1994
    509
  41. S Chawathe, H Garcia-Molina, J Hammer, K Ireland, Y Papakonstantinou, J Ullman, J Widom.
    The Tsimmis project: Integration of heterogeneous information sources. In Proceedingsof 100th AnniversaryMeeting of the Information Processing Society of Japan, 1994
    508
  42. Eng JK, McCormack AL, Yates JR.
    An approach to correlate tandem mass spectral data of peptides with amino acid sequences in a protein database. Journal of the American Society of Mass Spectrometry, 1994
    508
  43. T Lindeberg.
    Scale-space theory in computer vision. 1994
    506
  44. D Lewis, W Gale.
    A sequential algorithm for training text classifiers. Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, 1994
    506
  45. M Weiser, B Welch, A Demers, S Shenker.
    Scheduling for Reduced CPU Energy. In Proceedings of The USENIX Symposium on Operating Systems Design and Implementation, 1994
    503
  46. Pete Keleher, Alan L Cox, Sandhya Dwarkadas, Willy Zwaenepoel.
    TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems. In Proceedings of the Winter 94 Usenix Conference, 1994
    499
  47. M Bellare, P Rogaway.
    Entity authentication and key distribution. In Advances in Cryprtology - Crypto’93 Proceedings, 1994
    496
  48. S E Robertson, S Walker, S Jones, M HancockBeaulieu, Mike Gatford.
    Okapi at TREC-3. NIST Special Publication 500-226, Overview of the Third Text Retrieval Conference (TREC-3, 1994
    495
  49. M Garret, W Willinger.
    Analysis, modeling and generation of self similar VBR video traffic. Computer Communications Review, 1994
    493
  50. S Muggleton, L De.
    Raedt. Inductive logic programming : Theory and methods. Journal of Logic Programming, 1994
    484
  51. S Abramsky, A Jung.
    Domain theory. Handbook of Logic in Computer Science, 1994
    481
  52. C Ruemmler, J Wilkes.
    An Introduction to Disk Drive Modeling. IEEE Computer, 1994
    477
  53. J Bates.
    The Role of Emotion in Believable Agents. Communications of the ACM, 1994
    477
  54. Philippe Lacroute, Marc Levoy.
    Fast Volume Rendering Using a Shear-Warp Factorization of the Viewing Transformation. Computer Graphics, 28(Annual Conference Series):451–458, 1994
    476
  55. J Y A Wang, E H Adelson.
    Representing moving images with layers. IEEE TIP, 1994
    475
  56. H Edelsbrunner, E P Mucke.
    Three-dimensional Alpha Shapes. ACM Transactions on Graphics, 1994
    469
  57. George Borjas.
    The Economics of Immigration. Journal of Economic Literature, 1994
    465
  58. W Equitz C Faloutsos, M Flickner, W Niblack, D Petkovic, R Barber, ”Efficient.
    and effective querying by image content. Journal of Intelligent Information Systems, 1994
    465
  59. F Halasz, M Schwartz.
    The Dexter hypertext reference model. Communications of the ACM, 1994
    460
  60. N Linial, E London, Y Rabinovich.
    The geometry of graphs and some of its algorithmic applications. Proc. 35th Ann. Symposium on Foundations of Computer Science, 1994
    454
  61. B Liskov, J Wing.
    A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 1994
    453
  62. C Faloutsos, M Rangenathan, Y Manolopoulos.
    Fast Subsequence Matching in Time-Series Database. in Proc. ACM SIGMOD Conf, 1994
    446
  63. C A Waldspurger, W E Weihl.
    Lottery scheduling: flexible proportional-share resource management. In Proc. of the USENIX conference on Operating Systems Design and Implementation, 1994
    442
  64. E Jacquier, N G Polson, P E Rossi.
    Bayesian Analysis of Stochastic Volatility Models. Journal of Business and Economic Statistics, 1994
    441
  65. Michael R Genesereth, Steven P Ketchpel.
    Software Agents. Communications of the ACM, 1994
    439
  66. D Cohn, L Atlas, R Ladner.
    Improving generalization with active learning. 1994
    435
  67. Lawrence C Paulson.
    Isabelle: A Generic Theorem Prover. 1994
    433
  68. R D Blumofe, C E Leiserson.
    Scheduling multithreaded computations by work stealing. Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on, 1994
    429
  69. Donald Andrews, Werner Ploberger.
    Optimal Tests When a Nuisance Parameter is Present Only Under the Alternative. Econometrica, 1994
    427
  70. L Bahl, R Jelinek.
    A maximum likelihood approach to continuous speech recognition. 1983. IEEE trans. on PAMI, 1994
    421
  71. M C McDonald, N J Pearlmutter, M S Seidenberg.
    The lexical nature of syntactic ambiguity resolution. Psychological Review, 1994
    416
  72. M T H Chi, N De Leeuw, M-H Chiu, C Lavancher.
    Eliciting selfexplanations improves understanding. Cognitive Science, 1994
    414
  73. M Emami, R Ghiya, L J Hendren.
    Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the SIGPLAN ’94 Conference on Programming Lanugage Design and Implementation, 1994
    401
  74. George H Forman, John Zahorjan.
    The challenges of mobile computing. Computer, 1994
    399
  75. M L Katz, C Shapiro.
    Systems Competition and Network Effects. Journal of Economic Perspectives, 1994
    393
  76. R Kennes Smets.
    The transferable belief model. Artificial Intelligence, 1994
    392
  77. S Golestani.
    A self-clocked fair queueing scheme for broadband applications. Proceedings of INFOCOM ’94, 1994
    392
  78. M Bershadsky, S Cecotti, H Ooguri, C Vafa.
    Kodaira-Spencer theory of gravity and exact results for quantum string amplitudes. Commun. Math. Phys, 1994
    387
  79. Maxim Kontsevich, Yuri Manin.
    Gromov-Witten classes, quantum cohomology and enumerative. 1994
    382
  80. P Pudil.
    Floating search methods in feature selection. Pattern Recognit. Lett, 1994
    379
  81. Bart Selman, Henry Kautz.
    Noise Strategies for Improving Local Search. In Proceedings of AAAI-94. Michael White, Tanya Korelsky, Claire Cardie, 1994
    378
  82. D R Simon.
    On the power of quantum computation. Proceedings of 35th Annual Symposium on Foundations of Computer Science (Santa Fe, NM, 1994), IEEE Comput. Soc, 1994
    366
  83. B Cmelik, D Keppel.
    Shade: A fast instruction-set simulator for execution profiling. ACM SIGMETRICS Performance Evaluation Review, 1994
    358
  84. Thomas Massie, John Kenneth Salisbury.
    The PHANToM haptic interface : a device for probing virtual objects. Proc. ASME Winter Annual Meeting, Symp. on Haptic Interfaces for Virtual Environment and Teleoperator Systems, 1994
    356
  85. M Hanus.
    The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 1994
    349
  86. R M Kaplan, M Kay.
    Regular models of phonological rule systems. in Computational Linguistics 20(3, 1994
    347