Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of January 17, 2013. 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
  1. M Turk, A Pentland.
    Eigenfaces for recognition. Journal of cognitive neuroscience, 1991
    2204
  2. R A Brooks.
    Intelligence without Representation. Artificial Intelligence, 1991
    1190
  3. M J Swain, D H Ballard.
    Color indexing. International Journal of Computer Vision, 1991
    1122
  4. L Davis.
    Handbook of Genetic Algorithms. 1991
    969
  5. D Aha, D Kibler, M Albert.
    Instancebased learning algorithms. In Machine Learning, 1991
    888
  6. Leslie Lamport.
    The temporal logic of actions. 1991
    765
  7. R Cytron, J Ferrante, B K Rosen, M N Wegman, F K Zadeck.
    Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst, 1991
    748
  8. A Van Gelder, K A Ross, Schlipf.
    J.S.: The well-founded semantics for general logic programs. Journal of the ACM, 1991
    739
  9. A S Rao, M P Georgeff.
    Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91, 1991
    732
  10. G K Wallace.
    The JPEG still picture compression standard. Communications of the ACM, 1991
    726
  11. Rodney A Brooks.
    Intelligence Without Reason. In Proceedings of the twelfth International Joint Conference on Artificial Intelligence (IJCAI-91, 1991
    710
  12. W Freeman, E Adelson.
    The design and use of steerable filters. IEEE Trans. Patt. Anal. Mach. Intell, 1991
    687
  13. Michael Gelfond, Vladimir Lifschitz.
    Classical negation in logic programs and disjunctive databases. New Generation Computing, 1991
    685
  14. M P Herlihy.
    Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems, 1991
    654
  15. C A Ellis, S J Gibbs, Rein.
    G.: Groupware: some issues and experiences. Communications of ACM, 1991
    647
  16. Eugenio Moggi.
    Notions of computation and monads. Information and Computation, 1991
    645
  17. N C Hutchinson, L L Peterson.
    The XKernel: An Architecture for Implementing Network Protocols. IEEE Trans. Softw. Eng, 1991
    579
  18. D J LeGall.
    MPEG: A video compression standard for multimedia applications. Communications of the ACM, 1991
    568
  19. K Birman, A Schiper, P Stephenson.
    Lightweight causal and atomic group multicast. ACM Transactions on Computer Systems, 1991
    541
  20. H H Clark, S E Brennan.
    Grounding in communication. In, 1991
    529
  21. R Durrett.
    Probability: Theory and examples. 1991
    514
  22. K P Birman.
    The Process Group Approach to Reliable Distributed Computing. 1991
    500
  23. P Cheeseman, B Kanefsky, W Taylor.
    Where the really hard problems are. in Proceedings IJCAI'91, 1991
    496
  24. M Lam, E Rothberg, M Wolf.
    The Cache Performance and Optimizations of Blocked Algorithms. In Proceedings of the 4th International Conference onArchitectural Support for Programming Languages and Operating Systems, 1991
    486
  25. F Aurenhammer.
    Voronoi diagrams - a survey of a fundamental geometric data structure. ACM Computing Surveys, 1991
    460
  26. J M Mellor-Crummey, M L Scott.
    Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Transactions on Computer Systems, 1991
    431
  27. G G Robertson, J D Mackinlay, S K Card.
    Cone trees: Animated 3D visualizations of hierarchical information. In Proceedings of the ACM CHI’91 Conference on Human Factors in Computing Systems, 1991
    423
  28. N Halbwachs, P Caspi, P Raymond, D Pilaud.
    The synchronous dataflow programming language lustre. Proceedings of the IEEE, 1991
    422
  29. D L Mills.
    Internet Time Synchronization: The Network Time Protocol. IEEE Transaction on Communication, 1991
    417
  30. D Dolev, C Dwork, M Naor.
    Non-Malleable Cryptography. In Proc. of the 23rd STOC, 1991
    409
  31. M ABADI, L LAMPORT.
    The existence of refinement mappings. Theor. Comput. Sci, 1991
    408
  32. Butler Lampson, Martn Abadi, Michael Burrows, Edward Wobber.
    Authentication in distributed systems: Theory and practice. In Proc. 13th ACM Symp. on Operating System Principles (SOSP, 1991
    400
  33. E Biham, A Shamir.
    Differential cryptanalysis of DES-like Cryptosystems. Journal of Cryptology, 1991
    397
  34. E Adelson, J Bergen.
    The plenoptic function and the elements of early vision. in Computational Models of Visual Processing, 1991
    383
  35. P R Krugman.
    Increasing Returns and Economic Geography. Journal of Political Economy, 1991
    377
  36. L D Cohen.
    On active contour models and balloons. CVGIP: Image Underst, 1991
    377
  37. B Kuipers, Y-T Byun.
    A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations. Journal of Robotics and Autonomous Systems, 1991
    376
  38. Kim Guldstrand Larsen, Arne Skou.
    Bisimulation through probabilistic testing. Information and Computation, 1991
    365
  39. P Hanrahan, D Salzman, L Aupperle.
    A rapid hierarchical radiosity algorithm. In Proceedings of SIGGRAPH, 1991
    358
  40. D McAllester, D Rosenblitt.
    Systematic Nonlinear Planning. In Proceedings of the Ninth National Conference on Artificial Intelligence, 1991
    357
  41. M Abadi, L Cardelli, P L Curien, J J L'evy.
    Explicit substitutions. Journal of Functional Programming, 1991
    356
  42. H Clark, E Schaefer.
    Contributing to discourse. Cognitive Scienc, 1991
    351
  43. A Benveniste, G Berry.
    The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 1991
    346
  44. S Keshav.
    A control theoretic approach to flow control. in: Proceedings ACM, SIGCOMM'91, 1991
    344
  45. K Honda, M Tokoro.
    An Object calculus for Asynchronous Communication. Proc. of ECOOP ’91, LNCS, 512, 1991
    339
  46. D J MacKay.
    A practical Bayesian framework for backprop networks. Neural Computation, 1991
    337
  47. David E Goldberg, Kalyanmoy Deb.
    A comparative analysis of selection schemes used in genetic algorithms. 1991
    335
  48. Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov.
    Uniform proofs as a foundation for logic programming. Logic, 1991
    332
  49. T M J Fruchterman, E M Reingold.
    Graph Drawing by Force-Directed Placement. Software — Practice & Experience, 1991
    330
  50. J Groenendijk, M Stokhof.
    Dynamic predicate logic. Linguistics and Philosophy, 1991
    325
  51. D J Felleman, D C Van Essen.
    Distributed hierarchical processing in the primate cerebral cortex. Cerebral Cortex, 1991
    324
  52. O Goldreich, S Micali, A Wigderson.
    Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Gol01] O. Goldreich. Foundations of Cryptography: Volume 1 – Basic Tools. Cambridge UniversityPress,2001, 1991
    315
  53. C Tomasi, T Kanade.
    Detection and tracking of point features. 1991
    314
  54. L Zhang, S Shenker, D D Clark.
    Observations and Dynamics of a Congestion Control Algorithm: The Effects of Two-Way Traffic. ACM Computer Communications Review (CCR, 1991
    310
  55. F Cristian.
    Understanding Fault-Tolerant Distributed Systems. at 11:05 from IEEE Xplore. Restrictions apply. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 1991
    296
  56. J Frawley, G Piatetsky-Shapiro, C J Matheus.
    Knowledge Discovery in Databases: An Overview. in Knowledge Discovery in Databases, 1991
    293
  57. K Currie, A Tate.
    O-Plan: the open planning architecture. 1991
    293
  58. M N Wegman, F K Zadeck.
    Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 1991
    292
  59. R Freund, N Nachtigal.
    QMR: a quasi-minimal residual method for non-Hermitian linear systems. Numer. Math, 1991
    291
  60. P CLARK, R BOSWELL.
    Rule induction with CN2: Some recent improvements. School of Computing, National University of Singapore, 1991
    290
  61. S Abney.
    Parsing by chunks. In T. Berwick, Abney (Ed.), Principle--Based Parsing, 1991
    288
  62. G Fox, S Hiranandani, K Kennedy, C Koelbel, U Kremer, C-W Tseng, M Wu.
    Fortran-D language specification. 1991
    278
  63. J Lin.
    Divergence measures based on the Shannon entropy. IEEE Transactions on Information Theory, 1991
    277
  64. D Goldberg.
    What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 1991
    275
  65. J Borenstein, Y Korem.
    The vector field histogram — fast obstacle avoidance for mobile robts. IEEE Trans. on Robotics and Automation, 1991
    273
  66. E Meijer, M Fokkinga, R Paterson.
    Functional programming with bananas, lenses, envelopes and barbed wire. Proc. Conference on Functional Programming and Computer Architecture: Lecture Notes in Computer Science 523. SpringerVerlag, 1991
    271
  67. Dale Miller.
    A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. Journal of Logic Programming, 1991
    267
  68. S J Teller, C H Séquin.
    Visibility preprocessing for interactive walkthroughs. In ACM SIGGRAPH 91, 1991
    266
  69. O Shivers.
    Control-flow analysis of higher-order languages. 1991
    264
  70. K B Gallagher, J R Lyle.
    Using Program Slicing in Software Maintenance. Transactions on Software Engineering, 1991
    245
  71. S Floyd, V Jacobson.
    Connection with multiple congested gateways in packet-switched networks, Part 1: One-way traffic. ACM Comput. Commun. Rev, 1991
    245
  72. D G Lowe.
    Fitting parameterized three-dimensional models to images. IEEE Trans. on Pattern Analysis and Machine Intelligence, 1991
    244
  73. J Elman.
    Distributed representations, simple recurrent networks, and grammatical structure. Machine Learning 7. 1991
    243
  74. F Baader, P Hanschke.
    A scheme for integrating concrete domains into concept languages. Proc. 12th International Joint Conference onArti cial Intelligence, 1991
    242
  75. S Abiteboul, A Bonner.
    Objects and views. Proc. The International Conference on Management of Data. ACM SIGMOD, 1991
    241
  76. Prakash Panangaden, Vijay Saraswat, Martin Rinard.
    Semantic Foundations of Concurrent Constraint Programming. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
    236
  77. D J MacKay.
    Information-based objective functions for active data selection. Neural Computation, 1991
    235
  78. K Schild.
    A Correspondence Theory for Terminological Logics: Preliminary Report. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91, 1991
    235
  79. S Yang.
    Logic Synthesis and Optimization Benchmark User Guide Version 3.0. 1991
    232
  80. R E Bryant.
    On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication. IEEE Transactions on Computers, 1991
    227
  81. M Stonebraker, G Kemnitz.
    The postgres next generation database management system. Commun. ACM, 1991
    224
  82. E A Brewer, C N Dellarocas, A Colbrook, W E Weihl.
    Proteus: A high-performance parallel-architecture simulator. 1991
    221
  83. L BABAI, L FORTNOW, L LEVIN, M SZEGEDY.
    Checking computations in polylogarithmic time. ACM S, 1991
    214
  84. R J Brachman, D L McGuiness, P F Patel-Schneider, L A Resnick, A Borgida.
    Living with CLASSIC: when and how to use a KL-ONE-like language. Principles of Semantic Networks, 1991
    214
  85. Samson Abramsky.
    Domain theory in logical form. Journal of Pure and Applied Logic, 1991
    213
  86. J Palsberg, M I Schwartzbach.
    Object-oriented type inference. in: Proceedings OOPSLA ’91, ACM SIGPLAN Notices, 1991
    209
  87. J W S Liu, K-J Lin, W-K Shih, A C-S Yu.
    Algorithms for scheduling imprecise computations, Computer. 1991
    209
  88. L Lovsz, A Schrijver.
    Cones of matrices and set-functions and 0-1 optimization. SIAM Journal on Optimization, 1991
    205
  89. R A DeMillo, A J Offutt.
    Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 1991
    203
  90. P P Chang, S A Mahlke, W Y Chen, N J Warter, W W Hwu.
    IMPACT: An Architectural Framework for Multiple-Instruction-Issue Processors. In Proc. 18th Int. Symp. on Computer Architecture, 1991
    203
  91. E Charniak.
    Bayesian networks without tears. AI Magazine, 1991
    202
  92. Howard Turtle, W Bruce Croft.
    Evaluation of an inference network-based retrieval model. ACM Transactions on Information Systems, 1991
    202
  93. J-M Andreoli, R Pareschi.
    Linear Objects: Logical processes with built-in inheritance. New Generation Computing, 1991
    201
  94. S Arnborg, J Lagergren, D Seese.
    Easy problems for tree decomposable graphs. Journal of Algorithms, 1991
    200
  95. S Ceri, J Widom.
    Deriving production rules for incremental view maintenance. In Proceedings of the Seventeenth International Conference on Very Large Data Bases, 1991
    199
  96. M Naor.
    Bit commitment using pseudorandomness. J. of Cryptology, 1991
    199
  97. D GIFFORD, SHELDON JOUVELOT, J, O’ TOOLE, J.
    Semantic files systems. In Proceedings of Thirteenth ACM Symposium on Operating Systems Principles, ACM, 1991
    199
  98. Paul Havlak, Ken Kennedy.
    An implementation of interprocedural bounded regular section analysis. IEEE Transactions on Parallel and Distributed Systems, 1991
    196
  99. K SIMS.
    Artificial evolution for computer graphics. In SIGGRAPH. ACM, 1991
    194
  100. Brian Falkenhainer, Kenneth D Forbus.
    Compositional modeling: Finding the right model for the job. Arti cial Intelligence, 1991
    194