Most Cited Computer Science Citations

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. Tom Bylander
    The computational complexity of propositional STRIPS planning. Arti cial Intelligence, 1994
    244
  2. BANERJEE87 J Banerjee, W Kim, H J Kim, H F Korth
    Semantics and Implementation of Schema Evolution in Object-Oriented Databases In Proceedings of ACM/SIGMOD Annual Conference on Management of Data, May 87 BR87, 1994
    244
  3. J Burch, D Dill
    Automatic Verification of Pipelined Microprocessor Control. 1994
    243
  4. A Cassandra, L Kaebling, M Littman
    Acting optimally in partially observable stochastic domains. in: Proc. of the American Association of Artificial Intelligence (AAAI-94, 1994
    241
  5. M Blumrich, K Li, R Alpert, C Dubnicki, E Felten
    Virtual memory mapped network interface for the SHRIMP multicomputer. In 21st Annual International Symposium on Computer Architecture, 1994
    241
  6. Y Nesterov, A Nemirovskii
    Interior Point Polynomial Algorithms in Convex Programming, Studies in Applied Mathematics 13, SIAM, 1994
    240
  7. D Weld
    An introduction to least-commitment planning. AI Magazine, 1994
    240
  8. O Grumberg, D E Long
    Model checking and modular verification. ACM TOPLAS, 1994
    240
  9. P M Hill, Lloyd
    J.W.: The Gödel Programming Language 1994
    239
  10. P Pudil, J Novovicova, J Kittler
    Floating Search Methods in Feature Selection. Pattern Recognition Letters, 1994
    239
  11. D D Lewis, M Ringuette
    A comparison of two learning algorithms for text categorization. In Proceedings of SDAIR-94, 3rd Annual Symposium on Document Analysis and Information Retrieval, Las Vegas, 1994
    239
  12. S Floyd, V
    Jacobson: “The Synchronization of Periodic Routing Messages. IEEE/ACM Transactions on Networking, 1994
    239
  13. M P Marcus, G Kim, M A Marcinkiewicz, R MacIntyre, A Bies, M Ferguson, K Katz, Schasberger
    B.: The Penn Treebank: Annotating predicate argument structure. In: HLT, 1994
    238
  14. S R Chidamber, C F Kemerer
    A Metrics Suite for Object-Oriented Design IEEE Transactions on Software Engineering, 1994
    238
  15. T Cootes, A Hill, C Taylor, J Haslam
    Use of active shape models for locating structures in medical images. Image Vision Comput, 1994
    237
  16. Moshe Y Vardi, Pierre Wolper
    An automata-theoretic approach to branching-time model checking. Computer Aided Verification, 6th International Conference, CAV '94, 1994
    237
  17. V R Basili, G Caldiera, H D Rombach
    Experience Factory In J. J. Marciniak (Ed.), Encyclopedia of Software Engineering, 1994
    237
  18. J Horn, N Nafpliotis, D E Goldberg
    A niched Pareto genetic algorithm for multiobjective optimization. In Proceedings of the First IEEE Conference on Evolutionary Computation, IEEE World Congress on Computational Intelligence, 1994
    237
  19. M SUSSMAN, P SMEREKA, S OSHER
    A level set approach for computing solutions to incompressible two-phase flow, in "J. Comput. Phys.", n o 114 1994
    237
  20. C K Carter, R Kohn
    On Gibbs sampling for state space models Biometrika, 1994
    236
  21. M L Shapiro Katz, C
    Systems Competition and Network Effects Journal of Economic Perspectives, Spring, 1994
    235
  22. William S Cleveland
    The Elements of Graphing Data 1994
    235
  23. Benjamin Kuipers
    Qualitative Reasoning -- Modeling and Simulation with Incomplete Knowledge 1994
    234
  24. D Hitz, J Lau, M Malcolm
    File System Design for an NFS File Server Appliance. In Proceedings of the USENIX Winter 1994 Technical Conference, 1994
    234
  25. H Hoppe, T DeRose, T Duchamp, M Halstead, H Jin, J A McDonald, J Schweitzer, W Stuetzle
    Piecewise smooth surface reconstruction. In SIGGRAPH, 1994
    233
  26. S Wilton, N Jouppi
    An enhanced access and cycle time model for on-chip caches. Western Research Lab, 1994
    230
  27. G M Ziegler
    Lectures on Polytopes of Graduate Texts in Mathematics, 1994
    229
  28. Jim White
    Telescript technology: The foundation for the electronic marketplace White paper, General Magic, Inc., Mountain View, 1994
    229
  29. Y K Leung, M D Apperley
    A review and taxonomy of distortion-oriented presentation techniques. ACM Transactions on Computer-Human Interaction, 1994
    228
  30. Y Saad
    SPARSKIT: a Basic Tool Kit for Sparse Matrix Computations. 1994
    228
  31. J S Vitter, E A M Shriver
    Algorithms for parallel memory, I: Two level memories. Algorithmica, 1994
    227
  32. G Booch
    Object Oriented Analysis and Design with Applications, 2nd ed 1994
    226
  33. Michelene T H Chi, Nicholas de Leeuw, Mei-Hung Chiu, Christian Lavancher
    Eliciting selfexplanation improves understanding. Cognitive Science, 1994
    225
  34. V Christophides, S Abiteboul, S Cluet, M Scholl
    From Structured Documents to Novel Query Facilities. In SIGMOD'94, 1994
    223
  35. S Murthy, S Kasif
    Salzberg S.: A system for induction of oblique decision tree. Journal of Artificial Intelligence Research, 1994
    222
  36. G A, M Niranjan
    On-line Q-learning using connectionist systems. 1994
    222
  37. Vladimir Lifschitz, Hudson Turner
    Splitting a logic program. In ICLP, 1994
    222
  38. H Sagan
    Space-Filling Curves 1994
    222
  39. G Samorodnitzky, M S Taqqu
    Stable Non-Gaussian Random Processes: Stochastic Models with Infinite Variance 1994
    221
  40. Smets, R Kennes
    The transferable belief model AI, 1994
    221
  41. S Forrest, A S Perelson, L Allen, R Cherukuri
    Self-Nonself Discrimination in a Computer. In Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy, Los Alamitos, CA: IEEE Computer, 1994
    220
  42. Eric Brill
    Some advances in transformation-based part of speech tagging. In Proceeedings of AAAI-94, 1994
    220
  43. D Kotz
    Disk-directed I/O for MIMD Multiprocessors. Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation, 1994
    217
  44. Ronald Cramer, Ivan Damg˚ard, Berry Schoenmakers
    Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols. In CRYPTO’94: 14th International Cryptology Conference, volume 839 of LNCS, 1994
    216
  45. Fangzhen Lin, Raymond Reiter
    State constraints revisited. Journal of Logic and Computation, 1994
    216
  46. J C Fodor, M Roubens
    Fuzzy preference modelling and multicriteria decision support 1994
    215
  47. M Rubinstein
    Implied binomial trees Journal of Finance, 1994
    215
  48. Guido Imbens, Joshua Angrist
    Identification and Estimation of Local Average Treatment Effects.” Econometrica 62(2): 467–475 1994
    214
  49. D M 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
    213
  50. K R Apt, R N Bol
    Logic Programming and Negation: A Survey. Journal of Logic Programming, 1994
    213
  51. J R Burch, E M Clarke, D E Long, K L McMillan, D L Dill
    Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13, 1994
    212
  52. G J Ward
    The RADIANCE lighting simulation and rendering system. ACM Siggraph ’94 Conference Proceedings, 1994
    212
  53. R Alur, T A Henzinger
    A really temporal logic. Journal of the ACM, 1994
    211
  54. Y Bengio, P Simard, P Frasconi
    Learning long-term dependencies with gradient descent is difficult. IEEE Transactions on Neural Networks, 1994
    211
  55. R Hartley
    Euclidean reconstruction from uncalibrated views. Applications of Invariance in Computer Vision, 1994
    211
  56. W L Buntine
    Operations for learning with graphical models. Journal of Artificial Intelligence Research, 1994
    211
  57. Bjarne Stroustrup
    The Design and Evolution of C 1994
    211
  58. A Deutsch
    Interprocedural may-alias analysis for pointers: Beyond k-limiting. in ACM PLDI’94, 1994
    211
  59. J Shewchuk
    An Introduction to the Conjugate Gradient Method without the Agonizing. 1994
    211
  60. X Leroy
    Manifest types, modules, and separate compilation. In Proc. 21st POPL, 1994
    209
  61. J Sethuraman
    A constructive definition of Dirichlet priors In Statistics Sinica, 1994
    207
  62. Y Azar, A Z Broder, A R Karlin, E Upfal
    Balanced allocations. In 26th ACM Symposium on the Theory of Computing, 1994
    207
  63. Nesterov, A Nemirovsky
    Interior point polynomial methods in convex programming: Theory and applications 1994
    207
  64. M Y Vardi, P Wolper
    Reasoning about infinite computations. Information and Computation, 1994
    207
  65. L H Ozarow, S Shamai, A D Wyner
    Information theoretic considerations for cellular mobile radio IEEE Trans. Veh. Technol, 1994
    207
  66. K Erol, J Hendler, D S Nau
    HTN planning: Complexity and expressivity. in: Proc. of the 12th National Conference on Artificial Intelligence, 1994
    206
  67. B Merialdo
    Tagging English Text with a Probabilistic Model. Computational Linguistics, 1994
    204
  68. D Gajski, F Vahid, S Narayan, J Gong
    Specification and Design of Embedded Systems 1994
    204
  69. O C Z Gotel, C W Finkelstein
    An analysis of the requirements traceability problem. Proc. of the 1st Int. Conf. on Requirements Engineering, 1994
    203
  70. Alexander S Kechris
    Classical Descriptive Set Theory 1994
    203
  71. B Mukherjee, L Heberlein, K Levitt
    Network Intrusion Detection IEEE Network May/Jun, 1994
    203
  72. C Apt'e, F Damerau
    Automated Learning of Decision Rules for Text Categorization. ACM Transactions on Information Systems, 1994
    203
  73. M Macedonia, M Zyda, D Pratt, P Barham, S Zeswitz
    Npsnet: A network software architecture for large scale virtual environments. Presence, 1994
    202
  74. G Partridge
    Gigabit Networking 1994
    202
  75. J CASSELL, C PELACHAUD, N BADLER, M STEEDMAN, B ACHORN, T BECKET, B DOUBILLE, S PREVOST, M STONE
    Animated conversation: Rule-based generation of facial expression, gesture and spoken intonation for multiple conversational agents. In Proc. of ACM SIGGRAPH, 1994
    202
  76. M Abadi, L Lamport
    An old-fashioned recipe for real time. Programming Languages and Systems (TOPLAS), 16(5):1543 – 1571, 1994
    202
  77. N G Leveson, M P E Heimdahl, H Hildreth, J D Reese
    Requirements Specification for Process-Control Systems. In IEEE Transactions on Software Engineering, 1994
    201
  78. D W K Andrews, W Ploberger
    Optimal Tests When a Nuisance Parameter is Present only under the Alternative Econometrica, 1994
    200
  79. A Alesina, D Rodrik
    Distributive Politics and Economic Growth”, Quarterly Journal of Economics, 1994
    200
  80. D J Moore, L C Paris
    Planning text for advisory dialogues: Capturing intentional and rhetorical information. Computational Linguistics, 1994
    200
  81. A Fiat, M Naor
    Broadcast Encryption. CRYPTO ’93, LNCS, 1994
    200
  82. K Sagonas, T Swift, D S Warren
    XSB as an Efficient Deductive Database Engine. In Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1994
    199
  83. G Evensen
    Sequential data assimilation with a nonlinear quasigeostrophic model using Monte Carlo methods to forecast error statistics. J. Geophys. Res, 1994
    199
  84. M Bellare, P Rogaway
    Optimal Asymmetric Encryption. Advances in Cryptology – Eurocrypt ’94, Lecture Notes in Computer Science, 1994
    199
  85. A WEIGEND, N GERSHENFELD
    Time Series Prediction: Forecasting the Future and Understanding the Past 1994
    199
  86. C Baral, M Gelfond
    Logic Programming and Knowledge Representation. Journal of Logic Programming, 1994
    199
  87. J A Rice
    Mathematical Statistics and Data Analysis 1994
    199
  88. W B Cavnar, J M Trenkle
    N-gram-based text categorization. In Proceedings of SDAIR-94, 3rd Annual Symposium on Document Analysis and Information Retrieval. Las Vegas, US, 1994
    198
  89. C A Bouman, M Shapiro
    A multiscale random field model for Bayesian image segmentation. IEEE Transactions on Image Processing, 1994
    197
  90. A S GLASSNER
    Principles of Digital Image Synthesis 1994
    197
  91. M Sloman
    Policy driven management for distributed systems. J. Network Syst. Manage, 1994
    197
  92. S Abramsky, R Jagadeesan
    Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 1994
    196
  93. D Barbara, T Imielinksi
    Sleepers and workaholics: Caching strategies for mobile environments. in Proceedings of the ACM SIGMOD Conference on Management of Data, 1994
    196
  94. T A DAVIS
    University of Florida sparse matrix collection. 1994
    196
  95. T I Fossen
    Guidance and Control of Ocean Vehicles 1994
    196
  96. C M Bowman, P B Danzig, D R Hardy, U Manber, M F Schwartz
    The Harvest information discovery and access system. In Proceedings of the Second International World Wide Web Conference, 1994
    196
  97. Y Kuniyoshi, M Inaba, H Inoue
    Learning by Watching: Extracting Reusable Task Knowledge from Visual Observation of Human Performance. IEEE Trans. on Robotics and Automation, 1994
    195
  98. A Witkin, P Heckbert
    Using Particles to Sample and Control Implicit Surfaces. Proceedings of SIGGRAPH '9, 1994
    195
  99. B Shneiderman
    Dynamic queries for visual information seeking. IEEE Software, 1994
    195
  100. W W Adams, P Loustaunau
    An Introduction to Gröbner Bases Graduate Studies in Mathematics. American Mathematical Society, 1994
    194