Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of May 20, 2012. 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
  1. Barton P Miller, Morgan Clark, Jeffrey K Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski.
    IPS-2: The second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems, 1990
    102
  2. R Bareiss, B Porter, R Holte.
    Concept Learning and Heuristic Classification in Weak-Theory Domains. Artificial Intelligence, 1990
    101
  3. D P Dobkin, D G Kirkpatrick.
    Determining the separation of preprocessed polyhedra — a unified approach. Proc. 17th Intl. Colloq. Auto. Lang. Program, 1990
    101
  4. M Drummond, J Bresina.
    Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction. Under Uncertainty. Ph.D. Dissertation, Brown University, 1990
    101
  5. J Groenendijk, M Stokhof.
    Dynamic Montague grammar. In L. Ka´lman & L. Po´los (Eds.), Papers from the Second Symposium on Logic and Language (pp. 3–48). Budapest: Adakémiai Kiado, 1990
    101
  6. M P Wellman.
    Fundamental concepts of qualitative probabilistic networks. Artif. Intell, 1990
    101
  7. J Rose, R J Francis, D Lewis, P Chow.
    Architecture of Field-Programmable Gate Arrays: The Effect of Logic Block Functionality on Area Efficiency. IEEE Journal of Solid-State Circuits, 1990
    100
  8. J A Self.
    Bypassing the intractable problem of student modeling. In C. Frasson, 1990
    100
  9. M St John, J L McClelland.
    Learning and applying contextual constraints in sentence comprehension. Artificial Intelligence, 1990
    99
  10. A M Fountain, W Hall, I Heath, H C Davis.
    MICROCOSM: An Open Model for Hypermedia With Dynamic. Linking, Hypertext: Concepts, System and Applications. The Proceedings of The European Conference on Hypertext, INRIA, 1990
    99
  11. Elizabeth Spelke.
    Principles of object perception. Cognitive Science, 1990
    99
  12. Pat Hanrahan, Jim Lawson.
    A language for shading and lighting calculations. Computer Graphics (SIGGRAPH ’90 Proceedings, 1990
    99
  13. S Feiner, C Beshers.
    Worlds within worlds: Metaphors for exploring n-dimensional virtual worlds. In Proceedings of UIST '90 (ACM Symp. on User Interface Software and Technology, 1990
    99
  14. John McLean.
    Security models and information flow. In Proceedings 1990 IEEE Symposium on Security and Privacy, 1990
    97
  15. E Peli.
    Contrast in complex images. Journal of the Optical Society of America, 1990
    96
  16. B Chazelle, J Friedman.
    A deterministic view of random sampling and its use in geometry. Combinatorica, 1990
    96
  17. K Hammond.
    Explaining and repairing plans that fail. Artificial Intelligence, 1990
    95
  18. Andrew Witkin, William Welch.
    Fast animation and control of nonrigid structures. Computer Graphics (Proceedings of SIGGRAPH 90, 1990
    94
  19. R S Sutton, A G Barto.
    Time-derivative models of Pavlovian reinforcement. In M. Gabriel & J. Moore (Eds.), Learning, 1990
    94
  20. J R Haritsa, M J Carey, M T.
    ivny. ’ Dynamic real-time optimistic concurrency control. In Proceedings of the 11 th Real-Time Systems Symposium, 1990
    94
  21. Rance Cleaveland, Matthew Hennessy.
    Priorities in process algebras. Information and Computation, 1990
    94
  22. R A Brooks.
    The behavior language user’s guide. AI Memo 1227, MIT Artificial Intelligence Lab, 1990
    93
  23. E Anderson, Z Bai, J Dongarra, A Greenbaum, A McKenney, J Du Croz, S Hammerling, J Demmel, C Bischof, D Sorensen.
    Lapack: a portable linear algebra library for highperformance computers. In Supercomputing ’90: Proceedings of the 1990 conference on Supercomputing, 1990
    93
  24. R S Fish, R E Kraut, B L Chalfonte.
    The VideoWindow system in informal communications. Proceedings of CSCW '90, 1990
    92
  25. H Comon, P Lescanne.
    Equational problems and disunification. 1990
    92
  26. R K Ahuja, K Mehlhorn, J B Orlin, R E.
    Tarjan, Faster algorithms for the shortest path problem. J. Assoc. Comput. Mach, 1990
    91
  27. N Heintze, J Jaffar.
    A finite presentation theorem for approximating logic programs. In: POPL, 1990
    91
  28. Józef Białas.
    Group and field definitions. Formalized Mathematics, 1990
    90
  29. Robert Schreiber, Jack Dongarra.
    Automatic Blocking of Nested Loops. 1990
    90
  30. J Demmel, W Kahan.
    Accurate singular values of bidiagonal matrices. SIAM J. Sci. Stat. Comput, 1990
    90
  31. J J Elgot-Drapkin, D Perlis.
    Reasoning situation in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 1990
    90
  32. A Giacalone, C chang Jou, S A Smolka.
    Algebraic reasoning for probabilistic concurrent systems. In Proc. of the IFIP TC2 Working Conference on Programming Concepts and Methods, 1990
    89
  33. K Sims.
    Particle animation and rendering using data parallel computation. In Proceedings of ACM SIGGRAPH, 1990
    88
  34. E Gornish, E Granston, A Veidenbaum.
    CompilerDirected Data Prefetching in Multiprocessors with Memory Hierarchies. In International Conference on Supercomputing, 1990
    87
  35. D Schneider, D DeWitt.
    Tradeo s in processing complex join queries via hashing in multiprocessor database machines. In Proc. of the Conf. on Very Large Data Bases (VLDB, 1990
    87
  36. S F Roth, J Mattis.
    Data Characterization for Intelligent Graphics Presentation. Proc. SIGCHIPO, 1990
    86
  37. B K P Horn.
    Height and gradient from shading. IJCV, 1990
    86
  38. S Borkar, R Cohn, G Cox, T Gross, H T Kung, M Lam, M Levine, B Moore, W Moore, C Peterson, J Susman, J Sutton, J Urbanski, J Webb.
    Supporting systolic and memory communication in iwarp. In Proc. 17th Intl. Symp. on Computer Architecture, 1990
    86
  39. P Thagard, K J Holyoak, G Nelson, D Gochfeld.
    Analog retrieval by constraint satisfaction. Arti�cial Intelligence, 1990
    86
  40. Ronan Boulic, Nadia Magnenat-Thalmann, Daniel Thalmann.
    A global human walking model with real-time kinematic personification. The Visual Computer. 1990
    85
  41. F Morain, J Olivos.
    Speeding up the computations on an elliptic curve using additionsubtraction chains. RAIRO Inform. Théor. Appl, 1990
    85
  42. Hiroshi Maruyama.
    Structural disambiguation with constraint propagation. In Proceedings of the 28th Meeting of the Association for Computational Linguistics (ACL),pages 31–38, Pittsburgh,PA, 1990
    85
  43. Michael J Knister, Atul Prakash.
    DistEdit: a distributed toolkit for supporting multiple group editors. In Proceedings of the 1990 ACM Conference on Computersupported cooperative work, 1990
    85
  44. H Plantinga, Dyer.
    C.R.: Visibility, occlusion, and the aspect graph. International Journal of Computer Vision, 1990
    84
  45. Dan Farmer, Eugene H Spafford.
    The cops Security Checker System. In Proceedings of the 14th Systems Administration Conference, USENIX Association. USENIX, 1990
    84
  46. S K Baruah, A K Mok, L E Rosier.
    Preemptively scheduling hard-real-time sporadic tasks on one processor. In Proceedings of the 11 th IEEE Real-Time Systems Symposium, 1990
    84
  47. E Levy, A Silberschatz.
    Distributed file systems: Concepts and examples. 1990
    83
  48. A M Pitts.
    Evaluation logic. In Proc. of the IVth Higher Order Workshop, 1990
    83
  49. B Clarke, A Barron.
    Information-theoretic asymptotics of Bayes methods. IEEE Transactions on Information Theory, 1990
    83
  50. T J Broida, S Chandrashekhar, R Chellappa.
    Recursive 3-D motion estimation from a monocular image sequence. IEEE Transactions on Aerospace and Electronic Systems 26,July, 1990
    83
  51. W Cook.
    Object-oriented programming versus abstract data types. In Proc. of the REX Workshop/School on the Foundations of ObjectOriented Languages, LNCS 173, 1990
    83
  52. S Horwitz.
    ªIdentifying the Semantic and Textual Differences Between Two Versions of a Program,ª. Proc. SIGPLAN '90 Conf. Programming Language Design and Implementation, 1990
    83
  53. A Treisman, S Sato.
    Conjunction search revisited. Journal of Experimental Perception and Performance, 1990
    83
  54. S M Shieber, G van Noord, F C N Pereira, R C Moore.
    Semantic-head-driven generation. Computational Linguistics, 1990
    82
  55. S F Allen, R L Constable, D J Howe, W E Aitken.
    The semantics of reflected proof. in: Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, 1990
    82
  56. S Neale.
    Descriptions. 1990
    82
  57. Agata Darmochwa̷l.
    Compact spaces. Formalized Mathematics, 1990
    82
  58. A WITKIN, M GLEICHER, W WELCH.
    Interactive dynamics. In COMPUTER GRAPHICS, 1990
    81
  59. R Jain.
    Congestion Control in Computer Networks: Issues and Trends. IEEE Network Magazine, 1990
    81
  60. Rance Cleaveland.
    Tableau-based model checking in the propositional mu-calculus. Acta Informatica, 1990
    81
  61. T Poggio, F Girosi.
    Networks and the best approximation property. Biological Cybernetics, 1990
    81
  62. H Barringer, M Fisher, D Gabbay, G Gough, R Owens.
    Metatem: A framework for programming in temporal logic. In Procs of REX Workshop 1989, volume 430 of LNCS, 1990
    80
  63. T Lindeberg.
    Scale-Space for Discrete Signals. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1990
    80
  64. M Smith, M Lam, M Horowitz.
    Boosting Beyond Static Scheduling in a Superscalar Processor. In International Symposium on Computer Architecture, 1990
    80
  65. P POULIN, A FOURNIER.
    A model for anisotropic reflection. In Computer Graphics (Proceedings of SIGGRAPH 90, 1990
    80
  66. G M Shaw, S B Zdonik.
    A query Algebra for Object-Oriented Databases. 1990
    79
  67. D Beaver, S Micali, P Rogaway.
    The round complexity of secure protocols. In Proc. of 22nd STOC, 1990
    79
  68. C I Connolly, J B Burns, R Weiss.
    Path Planning Using Laplace’s Equation. In ICRA, 1990
    78
  69. Jean-Claude Fernandez.
    An implementation of an efficient algorithm for bisimulation equivalence. Sci. Comput. Program, 1990
    78
  70. J Bruck.
    Harmonic analysis of polynomial threshold functions. SIAM J. Discr. Math, 1990
    78
  71. D Payton, J Rosenblatt, D Keirsey.
    Plan Guided Reaction. IEEE Transactions on Systems, Man and Cybernetics, 1990
    78
  72. Craig A Knoblock.
    Learning Abstraction Hierarchies for Problem Solving. In Proceedings of AAAI-90, 1990
    78
  73. D Chimenti, R Gamboa, R Krishnamurthy, S Naqvi, S Tsur, C Zaniolo.
    The LDL system prototype. IEEE Transactions on Knowledge and Data Engineering, 1990
    78
  74. Robert Harper, Frank Pfenning.
    On equivalence and canonical forms in the LF type theory. University of Edinburgh, 1990
    77
  75. C Godfrey, J, G Doddington.
    The ATIS Spoken Language Systems, Pilot Corpus. In Proceedings of 3rd DARPA Workshop on Speech and Natural Language, Hidden, 1990
    77
  76. B Hollunder, W Nutt, M Schmidt-Schauß.
    Subsumption algorithms for concept description languages. In Proc.ofECAI-90, 1990
    77
  77. J P Crutchfield, K Young.
    Computation at the onset of chaos. 1990
    77
  78. G E Blelloch.
    Prefix sums and their applications. 1990
    77
  79. G E Blelloch, G W Sabot.
    Compiling collection-oriented languages onto massively parallel computers. Journal of Parallel and Distributed Computing, 1990
    77
  80. Stanley J Liebowitz, Stephen E Margolis.
    e fable of the keys. , 1990
    76
  81. D S H Rosenthal.
    Evolving the Vnode Interface. Proc. Summer USENIX Conference, 1990
    76
  82. D S Ebert, R E Parent.
    Rendering and animation of gaseous phenomena by combining fast volume and scanline a-buffer techniques. In SIGGRAPH ’90: Proceedings of the 17th annual conference on Computer graphics and interactive techniques (pp. 357–366, 1990
    76
  83. M Angelaccio, T Catarci, G Santucci.
    QBD*: A graphical query language with recursion. IEEE Transactions on Software Engineering, 1990
    76
  84. Z Gigus, J Malik.
    Computing the aspect graph for the line drawings of polyhedral objects. IEEE Transactions on Pattern Matching and Machine Intelligence, 1990
    76
  85. Janet E Cahn.
    The generation of affect in synthesized speech. Journal of the American Voice I/O Society, 1990
    76