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. M C MacDonald, N J Pearlmutter, M S Seidenberg.
    Lexical nature of syntactic ambiguity resolution. Psychological Review, 1994
    247
  2. E Riloff.
    Automatically Generating Extraction Patterns from Untagged Text. Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1994
    244
  3. J R Burch, D L Dill.
    Automatic verification of pipelined microprocessor control. in CAV ’94: Proceedings of the 6th International Conference on Computer Aided Verification, 1994
    243
  4. S S T K Ho, J J Hull.
    Decision Combination in Multiple Classifier Systems. IEEE TPAMI, 1994
    242
  5. Anthony R Cassandra, Leslie Pack Kaelbling, Michael L Littman.
    Acting optimally in partially observable stochastic domains. Proceedings of the National Conference on Artificial Intelligence, 1994
    241
  6. M Blumrich, K Li, R Alpert, C Dubnicki, E Felten, J Sandberg.
    Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer. In Proceedings of the Twenty-First International Symposium on Computer Architecture, 1994
    241
  7. D S Weld.
    An introduction to least commitment planning. AI magazine, 1994
    240
  8. C J Glass, L M Ni.
    The turn model for adaptive routing. Journal of the ACM (JACM, 1994
    239
  9. S Floyd, V Jacobson.
    The synchronization of periodic routing messages. IEEE/ACM Transactions on Networking(TON, 1994
    239
  10. David D Lewis, Marc Ringuette.
    A comparison of two learning algorithms for text categorization. Proceedings of SDAIR, 3rd Annual Symposium on document Analysis and Information Retrieval, 1994
    239
  11. J Horn, N Nafpliotis, Goldberg DE.
    A niched Pareto genetic algorithm for multi-objective optimization. In: Proceedings of the 1st International Conference on Evolutionary Computation, 82–87, 1994
    237
  12. T F Cootes, A Hill, C J Taylor, J Haslam.
    ÒThe Use of Active Shape Models for Locating Structures. in Medical ImagesÓ, Image and Vision Computing, v.12 #6, 1994
    236
  13. T Bylander.
    The computational complexity of propositional STRIPS planning. Artificial Intelligence, 1994
    236
  14. M Marcus, G Kim, M A Marcinkiewicz, R MacIntyre, A Bies, M Ferguson, K Katz, B Schasberger.
    The Penn Treebank: Annotating predicate– argument structure. In Proceedings of the Human Language Technology Workshop, 1994
    233
  15. D Hitz, J Lau, M Malcolm.
    File system design for an NFS file server appliance. In USENIX Winter Technical Conference, 1994
    231
  16. J S AND SHRIVER VITTER, E A M.
    Algorithms for parallel memory i: Two-level memories. Algorithmica, 1994
    228
  17. H HOPPE, T DEROSE, T DUCHAMP, M HALSTEAD, H JIN, J MCDONALD, J SCHWEITZER, W STUETZLE.
    Piecewise smooth surface reconstruction. In International Conference on Computer Graphics and Interactive Techniques (Proc. SIGGRAPH, 1994
    228
  18. J Gwertzman, M Seltzer.
    The case for geographical push-caching. 1994
    226
  19. M H Chi, N De Leeuw, M Chiu, C Lavancher.
    Eliciting self-explanations improves understanding. Cognitive Science, 1994
    225
  20. Y K Leung, M D Apperley.
    A review and taxonomy of distortion-oriented presentation techniques. ACM Transactions on Computer-Human Interaction, 1994
    223
  21. V Christophides, S Abiteboul, S Cluet, M Scholl.
    From Structured Documents to Novel Query Facilities. In Proc. of the ACM SIGMOD Conf. on Management of Data (SIGMOD'94, 1994
    223
  22. S K Murthy, S Kasif, S Salzberg.
    A System for Induction of Oblique Decision Trees. Journal of Artificial Intelligence Research, 1994
    222
  23. E Brill.
    Some advances in transformation-based part of speech tagging. Proceedings of the Twelfth National Conference on Artificial Intelligence (pp. 722-727). Menlo Park, 1994
    221
  24. V Lifschitz, Turner.
    H.: Splitting a Logic Program. In: ICLP’94, 1994
    220
  25. G Rummery, M Niranjan.
    On-line Q-learning using connectionist systems. 1994
    219
  26. Charles H Bennett, Ethan Bernstein, Gilles Brassard, Umesh V Vazirani.
    Strengths and weaknesses of quantum computing. Preprint. © Brian Hayes http://www.amsci.org/amsci/issues/comsci95/co mpsci95-07.html, 1994
    218
  27. S Forrest, A S Perelson, L Allen, R Cherukuri.
    Self-nonself discrimination in a computer. PDF). Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy. Los Alamitos, CA, 1994
    216
  28. F LIN, R REITER.
    State constraints revisited. Journal of Logic and Computation, 1994
    215
  29. D Kotz.
    Disk-directed I/O for MIMD Multiprocessors. In proceedings of the 1994 Symposium on Operating Systems Design and Implementation, 1994
    215
  30. D Eppstein.
    Finding the k shortest paths. in ‘Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on’, IEEE, 1994
    214
  31. K R Apt, R Bol.
    Logic programming and negation: a survey. Journal of Logic Programming, 1994
    214
  32. Ronald Cramer, Ivan Damg˚ard, Berry Schoenmakers.
    Proofs of partial knowledge and simplified design of witness hiding protocols. of Lecture Notes in Computer Science, 1994
    213
  33. R Alur, T Henzinger.
    A really temporal logic. Journal of the ACM, 1994
    211
  34. Y Bengio, P Simard, P Frasconi.
    Learning long-term dependencies with gradient descent is difficult. IEEE Transactions on Neural Networks, 1994
    211
  35. D Madigan, A E Raftery.
    Model selection and accounting for model uncertainty in graphical models using Occam’s Window. Journal of the American Statistical Association, 1994
    211
  36. Alain Deutsch.
    Interprocedural may-alias analysis for pointers: beyond k-limiting. In PLDI ’94: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, 1994
    210
  37. W Buntine.
    Operations for Learning with Graphical Models. Journal of Artificial Intelligence Research, 1994
    209
  38. X Leroy.
    Manifest types, modules, and separate compilation. In POPL ’94: Proceedings of the 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1994
    208
  39. Gregory J Ward.
    The radiance lighting simulation and rendering system. In Proceedings of SIGGRAPH 94, Computer Graphics Proceedings, Annual Conference Series, 1994
    205
  40. M Y Vardi, P Wolper.
    Reasonig about infinite computations. Inf. & comput, 1994
    205
  41. K Erol, D Nau, J Hendler.
    HTN planning: Complexity and expressivity. 1994
    204
  42. C Apte, F Damerau, S Weiss.
    Automated Learning of Decision Rules for Text Categorization. MINING TEXT DATA, 1994
    203
  43. F N Najm.
    A Survey of Power Estimation Techniques in VLSI Circuits. IEEE Trans. on VLSI Systems, 1994
    202
  44. J Cassell, C Pelachaud, NJ Badler, M Steedman, B Achom, T Becket, B Douville, S Prevost, M Stone.
    Animated Conversation: Rule-Based Generation of Facial Expression, Gesture and Spoken Intonation for Multiple Conversational Agents, Computer Graphics. Creating Personalities for Synthetic Actors, 92- 112, 1994
    202
  45. B Merialdo.
    Tagging English text with a probabilistic model. Computational Linguistics, 1994
    202
  46. N G Leveson, M P E Heimdahl, H Hildreth, J D Reese.
    Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering, 1994
    201
  47. C Baral, M Gelfond.
    Logic programming and knowledge representation. Journal of Logic Programming, 1994
    199
  48. J Moy.
    Multicast Extensions to OSPF. IETF RFC, 1994
    198
  49. M Bellare, P Rogaway.
    Optimal Asymmetric Encryption. In Advances in Cryptology – EUROCRYPT’94, Springer LNCS 950, 1994
    197
  50. O C Z Gotel, Finkelstein.
    A.C.W.: An analysis of the requirements traceability problem. In: Proceedings of the 1st International Conference on Requirements Engineering (ICRE’94, 1994
    197
  51. A Fiat, M Naor.
    Broadcast encryption. in Proceedings of the 13th annual international cryptology conference on Advances in cryptology. Springer-Verlag, 1994
    197
  52. K Sagonas, S T, D Warren.
    XSB as an efficient deductive database engine. 1994
    196
  53. C Bowman, P Danzig, D Hardy, U Manber, M Schwartz.
    The Havest information discovery and access system. in Proc. of the Second World Wide Web Conference (WWW2, 1994
    196
  54. A WITKIN, HECKBERT.
    P.: Using Particles to Sample and Control Implicit Surfaces. In SIGGRAPH ’94: Computer Graphics and Interactive Techniques 28, 1994
    196
  55. S Abramsky, R Jagadeesan.
    Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 1994
    195
  56. David B Johnson.
    Routing in ad hoc networks of mobile hosts. In Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications, 1994
    195
  57. W B Cavnar, J M Trenkle.
    N-gram-based text categorization. in Proceedings of SDAIR-94, the third Annual Symposium on Document Analysis and Information Retrieval, 1994
    195
  58. B Shneiderman.
    Dynamic Queries for Visual Information Seeking. IEEE Software, 1994
    194
  59. M Sloman.
    Policy Driven Management for Distributed Systems. Journal of Network and Systems Management, 1994
    193
  60. Julia L Lawall, Olivier Danvy.
    Continuation-based partial evaluation. In Proceedings of the 1994 ACM conference on Lisp and functional programming, 1994
    193
  61. C A Bouman, M Shapiro.
    A multiscale random field model for Bayesian image segmentation. IEEE Trans. Image Process, 1994
    193
  62. Denise Draper, Steve Hanks, Daniel Weld.
    Probabilistic planning with information gathering and contingent execution. In Proceedings of the Second International Conference on Arti cial Intelligence Planning Systems. AAAI Press, Menlo Park, Calif, 1994
    191
  63. F Samaria, A Harter.
    Parameterisation of a stochastic model for human face identification. in Workshop on Applications of Computer Vision, 1994
    191
  64. T M Mitchell, R Caruana, D Freitag, J McDermott, D Zabowski.
    Experience with a learning personal assistant. Pages 80 – 91, 1994
    191
  65. D Lewis, J Catlett.
    Heterogeneous uncertainty sampling for supervised learning. In ICML, 1994
    191
  66. T M Austin, S E Breach, G S Sohi.
    Efficient detection of all pointer and array access errors. SIGPLAN Not, 1994
    190
  67. R Battiti, G Tecchiolli.
    The Reactive Tabu Search. ORSA Journal on Computing, V, 1994
    190
  68. M Irani, B Rousso, S Peleg.
    Computing occluding and transparent motions. IJCV, 1994
    189
  69. G Coulson A Campbell, D Hutchison.
    A Quality of Service Architecture ”, in. Lancaster University, 1994
    189
  70. William Hersh, Chris Buckley, T J Leone, David Hickam.
    Ohsumed: an interactive retrieval evaluation and new large test collection for research. In SIGIR ’94: Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, 1994
    189
  71. R P Wilson, R S French, C S Wilson, S P Amarasinghe, J M Anderson, S W K Tjiang, Shih-Wei Liao, Chau-Wen Tseng, M W Hall, M S Lam, J L Hennessy.
    SUIF: an infrastructure for research on parallelizing and optimizing compilers. SIGPLAN Notices, 1994
    187
  72. S MOLNAR, M COX, D ELLSWORTH, FUCHS.
    H.: A sorting classification of parallel rendering. IEEE Computer Graphics and Applications, 1994
    187
  73. Y Lashkari, M Metral, P Maes.
    Collaborative Interface Agents. Proc. 12th Conf. AAAI, 1994
    185
  74. A J Demers, K Petersen, M J Spreitzer, D B Terry, M M Theimer, B B Welch.
    The bayou architecture: Support for data sharing among mobile users. In Proceedings of the IEEE Workshop on Mobile Computing Systems and Applications, 1994
    185
  75. B Whetten, S Kaplan, T Montgomery.
    A high performance totally ordered multicast protocol. In Selected Papers From the international Workshop on theory and Practice in Distributed Systems (September 05 - 09, 1994
    184
  76. G H Kim, E H Spafford.
    The design and implementation of Tripwire: a file system integrity checker. In CCS ’94: Proceedings of the 2nd ACM Conference on Computer and communications security, 1994
    183
  77. M Klemettinen, H Mannila, P Ronkainen, H Toivonen, A Verkamo.
    Finding interesting rules from large sets of discovered association rules. In Third International Conference on Information and Knowledge Management, CIKM–94, 1994
    183
  78. H Hansson, B Jonsson.
    A logic for reasoning about time and reliability. Formal Aspects of Computing, 1994
    183
  79. A Aiken, E L Wimmers, T K Lakshman.
    Soft typing with conditional types. In Proceedings of POPL, 1994
    183
  80. P J Angeline, G M Saunders, J P Pollack.
    An evolutionary algorithm that constructs recurrent neural networks. IEEE Transactions on Neural Networks, 1994
    183
  81. Andy Harter, Andy Hopper.
    A distributed location system for the active office. In IEEE Network, 1994
    182
  82. N Nilsson.
    Teleo-reactive programs for agent control. Journal of Artificial Intelligence Research, 1994
    182
  83. R Szeliski.
    Recovering 3D Shape and Motion from Image Streams Using Nonlinear Least Squares. Journal of Visual Communication and Image Representation, 1994
    181
  84. T Jaakkola, M I Jordan, S P Singh.
    On the convergence of stochastic iterative dynamic programming algorithms. Neural Computation, 1994
    181
  85. D Sabin, E Freuder.
    Contradicting conventional wisdom in constraint satisfaction. In Proceedings of European Conference on Artificial Inteelligence, ECAI-94, 1994
    181
  86. L Moser, Y Amir, P Melliar-Smith, D Agarwal.
    Extended virtual synchrony. In Proceedings of the 14th IEEE International Conference on Distributed Computing Systems, 1994
    181
  87. U Manber, S Wu.
    Glimpse: a tool to search through entire file systems. In WTEC’94: Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, 1994
    180