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. S Ramanathan, E L Lloyd.
    Scheduling algorithms for multihop radio networks. In Proceedings of the Second ACM International Workshop on Wireless Sensor Networks and Applications (WSNA, 1993
    138
  2. E H Adelson.
    Layered representation for motion analysis. In Proc. CVPR ’93, 1993
    138
  3. D A REED, R A AYDT, R J NOE, P C ROTH, K A SHIELDS, B SCHWARTZ, L F TAVERA.
    Scalable performance analysis: The Pablo performance analysis environment. in Proc. of the Scalable Parallel Libraries Conference, IEEE Computer Society, 1993
    137
  4. L D Cohen, I Cohen.
    Finite element methods for active contour models and balloons for 2-D and 3-D images. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1993
    137
  5. D Cheriton, D Skeen.
    Understanding the Limitations of Causal and Totally Ordered Communications. Proc 13 th SOSP, Ashville, N.C, 1993
    137
  6. J P Gallagher.
    Tutorial on specialisation of logic programs. In Proc. 1993 ACM SIGPLAN Symp. on Partial evaluation and Semantics-based Program Manipulation, PEPM ’93, 1993
    136
  7. Steven J Gortler, Peter Schröder, Michael F Cohen, Pat Hanrahan.
    Wavelet radiosity. In Proceedings of ACM SIGGRAPH 93, 1993
    136
  8. Bonnie Jean Dorr.
    Machine Translation: A View from the Lexicon. 1993
    136
  9. M Warren, J Salmon.
    A Parallel Hashed Oct-Tree NBody Algorithm. In Supercomputing ’93, 1993
    136
  10. T Catarci, M Lenzerini.
    Representing and using interschema knowledge in cooperative information systems. J. of Intelligent and Cooperative Information Systems, 1993
    135
  11. G Hamilton, P Kougiouris.
    The Spring nucleus: a microkernel for objects. In Proceedings of the Summer 1993 USENIX, 1993
    135
  12. Andrew Birrell, Greg Nelson, Susan Owicki, Edward Wobber.
    Network objects. In Proc. 14th ACM Symp. on Operating System Principles (SOSP, 1993
    134
  13. C A Thekkath, T D Nguyen, E Moy, E D Lazowska.
    Implementing network protocols at user level. IEEE/ACM Transactions on Networking, 1993
    134
  14. J M Hellerstein, M Stonebraker.
    Predicate migration: Optimizing queries with expensive predicates. in SIGMOD, 1993
    134
  15. L Ingber.
    Simulated annealing: practice versus theory. Mathl. Comput. Modelling, 1993
    133
  16. X Yao.
    A review of evolutionary artificial neural networks. International Journal of Intelligent Systems, 1993
    133
  17. A Jepson, M Black.
    Mixture Models for Optical Flow Computation. Proc. IEEE Conf. Computer Vision and Pattern Recognition (CVPR 93, 1993
    132
  18. Michael D Noakes, Deborah A Wallach, William J Dally.
    The J-Machine Multicomputer: An Architectural Evaluation. In Proceedings of the 20th International Symposium on Computer Architecture, 1993
    132
  19. R W Freund, M H Gutknecht, N Nachtigal.
    An implementation of the look-ahead Lanczos algorithm for non-Hermitian matrices. SIAM J. Sci. Comp, 1993
    131
  20. G Wiederhold.
    Intelligent integration of information. In Proc. of the ACM SIGMOD Conf. on Management of Data, 1993
    131
  21. A Kaufman, D Cohen, R Yagel.
    Volume graphics. IEEE Computer, 1993
    131
  22. S Arora, L Babai, J Stern, Z Sweedyk.
    The hardness of approximate optima in lattices, codes, and systems of linear equations. In Proc. 34th FOCS, 1993
    131
  23. M Irani, S Peleg.
    Motion analysis for image enhancement: Resolution, occlusion, and transparency. J. of Visual Communication and Image Representation, 1993
    130
  24. A O L Atkin, F Morain.
    Elliptic curves and primality proving. Mathematics of Computation, 1993
    130
  25. F Henglein.
    Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems, 1993
    129
  26. J M Atlee, J Gannon.
    State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering, 1993
    128
  27. T Y Woo, Lam.
    S.S.: A semantic model for authentication protocols. In: RSP: IEEE Computer Society Symposium on Research in Security and Privacy, 1993
    127
  28. John Dowding, J Mark Gawron, Douglas Appelt, John Bear, Lynn Cherny, Robert Moore, Douglas Moran.
    GEMINI: A natural language system for spokenlanguage understanding. Ohio State University, 1993
    127
  29. M J Black, Anandan.
    P.: A framework for the robust estimation of optical flow. In: International Conference on Computer Vision, 1993
    127
  30. A Laine, J Fan.
    Texture classification by wavelet packet signatures. IEEE Trans. Pattern Anal. Machine Intell, 1993
    127
  31. R Huff.
    Lifetime-Sensitive Modulo Scheduling. In PLDI 93, 1993
    126
  32. M R Cutkosky, R S Engelmore, R E Fikes, T R Gruber, M R Genesereth, W S Mark, J M Tenenbaum, J C Weber.
    PACT: An experiment in integrating concurrent engineering systems, in. IEEE Computer, 1993
    126
  33. A Stolcke, Omohundro.
    S.: Hidden Markov Model Induction by Bayesian Model Merging. Advances in Neural Information Processing Systems 5, 1993
    125
  34. C de Boor, K Hollig, S D Riemenschneider.
    Box Splines. 1993
    124
  35. T Dean, L P Kaelbling, J Kirman, A Nicholson.
    Planning with deadlines in stochastic domain. in Proceedings of AAAI-93, 1993
    124
  36. S Abramsky, C-H Luke Ong.
    Full abstraction in the lazy lambda calculus. Inform. and Comput, 1993
    124
  37. I P Gent, T Walsh.
    Towards an understanding of hill-climbing procedures for SAT. In Proceedings of the 11th National Conference on Artificial Intelligence, 1993
    123
  38. P C Attie, M P Singh, A P Sheth, M Rusinkiewicz.
    Specifying and enforcing intertask dependencies. Proceedings of the 19th International Conference on Very Large Data Bases (VLDB, 1993
    123
  39. C Connolly, R Grupen.
    On the applications of harmonic functions to robotics. Journal of Robotics Systems, 1993
    123
  40. N Jouppi.
    Cache Write Policies and Performance. In Proceedings of the Twentieth International Symposium on Computer Architecture, 1993
    122
  41. K D Cooper, M W Hall, R T Hood, K Kennedy, K S McKinley, J M MellorCrummey, L Torczon, S K Warren.
    The ParaScope parallel programming environment. Proceedings of the IEEE, 1993
    122
  42. N Klarlund, M Schwartzbach.
    Graph types. In Princ. of Prog. Lang, 1993
    121
  43. M Abbott, L Peterson.
    Increasing Network Throughput by Integrating Protocol Layers. IEEE/ACM Transactions on Networking, 1993
    121
  44. P Stenström, M Brorsson, L Sandberg.
    Adaptive Cache Coherence Protocol Optimized for Migratory Sharing. In Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993
    121
  45. L Tassiulas, A Ephremides.
    Dynamic server allocation to parallel queues with randomly varying connectivity. IEEE Transactions on Information Theory, 1993
    120
  46. H M Vin, P V Rangan.
    Designing a multiuser HDTV storage server. IEEE JSAC, 1993
    120
  47. Douglas Appelt, Jerry Hobbs, John Bear, David Israel, Mabry Tyson.
    FASTUS: A finite-state processor for information extraction from realworld text. In Proceedings of IJCAI-93, 1993
    119
  48. E Brill.
    Automatic Grammar Induction and Parsing Free Text: A Transformation-Based Approach. Proc. of the 31st Annual Meeting of the ACL, 1993
    119
  49. R Weischedel, R Schwartz, J Palmucci, M Meteer, L Ramshaw.
    Coping with Ambiguity and Unknown Words through Probabilistic Models. Computational Linguistics, 1993
    119
  50. P Tu, D Padua.
    Automatic array privatization. In Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing, 1993
    118
  51. S Mishra, L L Peterson, R D Schlichting.
    Consul: A communication substrate for fault-tolerant distributed programs. Distributed Systems Engineering Journal, 1993
    118
  52. P V Rangan, H M Vin.
    Efficient Storage Techniques for Digital Continuous Media. IEEE Transactions on Knowledge and Data Engineering, 1993
    117
  53. K R Apt, D Pedreschi.
    Reasoning about termination of pure Prolog programs. Information and Computation, 1993
    117
  54. Hassan Aït-Kaci, Andreas Podelski.
    Towards a meaning of LIFE. Journal of Logic Programming, 1993
    117
  55. Steven Bellovin, Michael Merrit.
    Augmented encrypted key exchange: a password-based protocol secure against dictionary atttacks and password file compromise. In First ACM Conference on Computer and Communications Security CCS-1, 1993
    117
  56. M Brent.
    From grammar to lexicon: Unsupervised learning of lexical syntax. Computational Linguistics, 1993
    117
  57. P Zave, M Jackson.
    Conjunction as composition. ACM Transactions on Software Engineering and Methodology, 1993
    117
  58. C Chambers.
    Predicate classes. In Proceedings of the 7th European Conference on Object-Oriented Programming, 1993
    116
  59. S D Benford, L E Fahlén.
    A Spatial Model of Interaction in Large Virtual Environments. Proc. Third European Conference on CSCW (ECSCW’93, 1993
    116
  60. Frank Mueller.
    A library implementation of POSIX threads under UNIX. In Winter USENIX, 1993
    115
  61. M T Goodrich, J-J Tsay, D E Vengroff, J S Vitter.
    External-memory computational geometry. In Proceedings of the 1993 IEEE 34th Annual Foundations of Computer Science, 1993
    115
  62. R Davis, H Shrobe, P Szolovits.
    What is a knowledge representation. AI Magazine, 1993
    115
  63. O Babaoglu, K Marzullo.
    Consistent global states of distributed systems. Distributed Systems, 1993
    115
  64. S Forrest, M Mitchell.
    Relative Building-Block Fitness and the Building-Block Hypothesis. Foundaiioris of Genetic Algorithms, 1993
    114
  65. R Gupta M J Harrold, M L Soffa.
    A methodology for controlling the size of the test suite. ACM Transaction on Software Engineering and Methodology, 1993
    114
  66. T Becker, V Weispfenning.
    Gröbner Bases. 1993
    113
  67. M Franklin.
    The Multiscalar Architecture. 1993
    113
  68. K Ilgun.
    USTAT: A Real-time Intrusion Detection System for UNIX. In Proceedings of the IEEE Symposium on Research in Security and Privacy, 1993
    113
  69. G E Hinton, D van Camp.
    Keeping the neural networks simple by minimizing the description length of the weights. in Proceedings of the sixth annual conference on Computational learning theory, ser. COLT ’93, 1993
    112
  70. E Taillard.
    Benchmarks for basic scheduling problems. European Journal of Operational Research, 1993
    112
  71. K Kennedy, K S McKinley.
    Maximizing loop parallelism and improving data locality via loop fusion and distribution. In 1993 Workshop on Languages and Compilers for Parallel Computing, number 768, 1993
    112
  72. A L N Reddy, J Wyllie.
    Disk scheduling in a multimedia I/O system. In: MULTIMEDIA ’93: Proceedings of the first ACM international confere nce on Multimedia. ACM, 1993
    112
  73. K A De Jong, W M Spears, D F Gordon.
    Using genetic algorithms for concept learning. Machine Learning, 1993
    112
  74. J Laski, B Korel.
    A Data Flow Oriented Program Testing Strategy. IEEE Trans. Software Eng, 1993
    112
  75. S Chiba, T Masuda.
    ªDesigning an Extensible Distributed Language with a Meta-Level Architecture,º. Proc. European Conf. Object-Oriented Programming '93, 1993
    112
  76. A L Cox, R J Fowler.
    Adaptive Cache Coherency for Detecting Migratory Shared Data. In Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993
    112
  77. A J Garvey, V R Lesser.
    Design-to-time real-time scheduling. IEEE Transactions on Systems, Man and Cybernetics, 1993
    112
  78. Martin Kay, M Röscheisen.
    Text-translation alignment. Computational Linguistics, 1993
    111
  79. Damien Doligez, Xavier Leroy.
    A concurrent, generational garbage collector for a multithreaded implementation of ml. In Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL, 1993
    111
  80. Gordon VS, D Whitley.
    Serial and parallel genetic algorithms as function optimizers. Proceedings of the fifth international conference on genetic algorithms. Los, 1993
    111
  81. P C Kanellakis, S Ramaswamy, D E Vengroff, Vitter.
    J.S.: Indexing for data models with constraints and classes. In: Proc. ACM SIGACT-SIGMOD-SIGART PODS, 1993
    111
  82. M Abadi, L Cardelli, P-L Curien.
    Formal parametric polymorphism. In Proc. of POPL ’93, 1993
    110
  83. S K Debray, N-W Lin.
    Cost analysis of logic programs. ACM Transactions on Programming Languages and Systems, 1993
    110
  84. H Chui, A Rangarajan.
    A New Algorithm for Non-Rigid Point Matching. University of Massachusetts, 1993
    109
  85. N Gotz, U Herzog, M Rettelbach.
    Multiprocessor and distributed system design: the integration of functional speci cation and performance analysis using stochastic process algebras. Performance Evaluation of Computer and Communication Systems. Joint Tutorial Papers of Performance '93 and Sigmetrics '93, volume 729 of Lecture Notes in Computer Science, 1993
    109
  86. M Doar, I M Leslie.
    How bad is naive multicast routing. in INFOCOM (1, 1993
    109
  87. Graham Hamilton, Michael L Powell, James G Mictchell.
    Subcontract: A flexible base for distributed programming. In 14th ACM Symposium on Operating Systems Principles, 1993
    108
  88. J R Quinlan.
    Combining instance-based and modelbased learning. in Procs. of the Tenth International Conference on Machine Learning, 1993
    108