Most Cited Computer Science Articles

This list is generated from documents in the CiteSeer^x 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 CiteSeer^x 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. Roy Want, Andy Hopper, Veronica Falc ao, Jonathan Gibbons.

   The active badge location system. ACM Transactions on Information Systems, 1992

   926
2. T von Eicken, D E Culler, Seth C Goldstein, K Schauser.

   Active Messages: a Mechanism for Integrated Communication and Computation. In In The 19th Annual International Symposium on Computer Architecture Conference Proceedings, 1992

   911
3. B E Boser, I M Guyon, V N Vapnik.

   A training algorithm for optimal margin classifiers. Proceedings of the 5th Annual ACM Workshop on Computational Learning Theory, 1992

   907
4. G Wiederhold.

   Mediators in the Architecture of Future Information Systems. IEEE Computer, 1992

   891
5. G F Cooper, Herskovits.

   E.H.: A Bayesian method for the induction of probabilistic networks from data. Machine Learning 9. 1992

   868
6. James J Kistler, M Satyanarayanan.

   Disconnected operation in the Coda file system. ACM Transactions on Computer Systems, 1992

   865
7. R Dechter.

   Constraint Networks. Encyclopedia of Artificial Intelligence, 1992

   832
8. M Rosenblum, J Ousterhout.

   The Design and Implementation of a Log-Structured File System. ACM Transactions on Computer Systems, 1992

   797
9. R E Bryant.

   Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 1992

   794
10. C Tomasi, T Kanade.

    Shape and motion from image streams under orthography: a factorization method. International Journal of Computer Vision, 1992

    766
11. M A Hearst.

    Automatic acquisition of hyponyms from large text corpora. In Proceedings of the 14th International Conference on Computational Linguistics, 1992

    662
12. G Berry, G Gonthier.

    The Esterel synchronous programming language: Design, semantics, implementation. Science Of Computer Programming, 1992

    621
13. B Selman, H Levesque, D Mitchell.

    A new method for solving hard satisfiability problems. Pages 440-446 in: AAAI-92. Proceedings Tenth National Conference on Artificial Intelligence. (AAAI-92. Proceedings Tenth National Conference on Artificial Intelligence, 1992

    614
14. D E Perry, A L Wolf.

    Foundations for the study of software architecture. SIGSOFT Software Engineering Notes, 1992

    590
15. L G Brown.

    A survey of image registration techniques. ACM Comput. Surv, 1992

    581
16. D Goldberg, D Nichols, B M Oki, D Terry.

    Using collaborative filtering to weave an information tapestry. Commun. ACM, 1992

    555
17. J W Klop.

    Term Rewriting Systems. Handbook of Logic in Computer Science, I:1–112, 1992

    547
18. H Hoppe, T DeRose, T Duchamp, J McDonald, W Stuetzle.

    Surface reconstruction from unorganized points. Computer Graphics, 1992

    529
19. J R Bergen, P Anandan, K J Hanna, R Hingorani.

    Hierarchical model-based motion estimation. in ECCV ’92: Proc. Second Eur. Conf. Comput. Vis., Santa Margherita Ligure, Italy, 1992

    524
20. D L Donoho.

    De-noising by soft thresholding. IEEE transaction on Information Theory, 1992

    523
21. P F Brown, V J D Pietra, P V deSouza, J C Lai, R L Mercer.

    Class-based N-gram models of natural language. Computational Linguistics, 1992

    520
22. W J Jonathan Schroeder, A Zarge, W E Lorensen.

    Decimation of triangle meshes. Computer Graphics, 1992

    518
23. D R Cutting, D R Karger, J O Pedersen, J W Tukey.

    Scatter/gather: A cluster-based approach to browsing large document collections. In Proceedings of the SIGIR ’92, 1992

    514
24. D D Clark, S Shenker, L Zhang.

    Supporting real-time applications in an integrated services packet network: Architecture and mechanism. In Proceedings of the ACM SIGCOMM ’92, 1992

    500
25. S Owre, J Rushby, N Shankar.

    PVS: A Prototype Verification System. in Proceedings of the 11th Conference on Automated Deduction (CADE'92), Lecture Notes in Computer Science 607, 1992

    488
26. B Meyer.

    Applying "design by contract. Computer, 1992

    477
27. H P Barendregt.

    Lambda calculi with types. In Handbook of Logic in Computer Science, 1992

    467
28. D H Wolpert.

    Stacked generalization. Neural Networks, 1992

    460
29. D J DEWITT, J GRAY.

    Parallel database systems: The future of high performance database systems.CACM. 1992

    457
30. T C Mowry, M S Lam, A Gupta.

    Design and evaluation of a compiler algorithm for prefetching. Proceedings of ASPLOS V, 1992

    452
31. M Kifer, W Kim, Y Sagiv.

    Querying object-oriented databases. In SIGMOD, 1992

    450
32. David A Randell, Zhan Cui, Anthony G Cohn.

    A spatial logic based on regions and connection. In KR, 1992

    443
33. R W Cottle, J-S Pang, R E Stone.

    The Linear Complementarity Problem. 1992

    440
34. W J Dally.

    Virtual channel flow control. IEEE Transactions on Parallel and Distributed Systems, 1992

    432
35. P Dourish, S Bly.

    Portholes: Supporting awareness in a distributed work group. In Proceedings of the ACM CHI’92 Conference on Human Factors in Computing Systems, 1992

    429
36. E Brill.

    A Simple Rule-Based Part of Speech Tagger. In Proceedings of the 3rd Conf. on Applied Natural Language Processing, 1992

    423
37. T Anderson, B Bershad, E Lazowska, H Levy.

    Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems, 1992

    421
38. G Berry, Boudol.

    G.: The chemical abstract machine. Theor. Comput. Sci, 1992

    419
39. M Lades, J Vorbruggen, J Buhmann, J Lange, C von der Malsburg, R Wurtz, W Konen.

    Distortion invariant object recognition in the dynamik link architecture. IEEE Transactions on Computers, 1992

    416
40. Paul R Wilson.

    Uniprocessor garbage collection techniques. In Proceedings of the International Workshop on Memory Management, Saint-Malo, 1992

    415
41. D J C MacKay.

    Bayesian interpolation. Neural Computation, 1992

    412
42. P Keleher, A L Cox, W Zwaenepoel.

    Lazy release consistency for software distributed shared memory. In Proc. of the 19th Annual Int’l Symp. on Computer Architecture (ISCA’92, 1992

    410
43. R R Coifman, M V Wickerhauser.

    Entropy-based algorithms for best basis selection. IEEE Trans. on Info. Th, 1992

    408
44. W Pugh.

    The omega test: a fast and practical integer programming algorithm for depedence analysis. Communications of the ACM, 1992

    400
45. E C Freuder, R J Wallace.

    Partial constraint satisfaction. Artificial Intelligence, 1992

    389
46. J Scott Penberthy, Daniel S Weld.

    UCPOP: A sound, complete, partial order planner for ADL. In KR 92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, 1992

    381
47. D Mills.

    Network Time Protocol (Version 3) Specification, Implementation and Analysis. 1992

    378
48. Eero P Simoncelli, William T Freeman, Edward H Adelson, David J Heeger.

    Shiftable Multiscale Transforms. IEEE Transactions on Information Theory, 1992

    366
49. M R Genesereth, R E Fikes.

    Knowledge Interchange Format, Version 3.0, Reference Manual. 1992

    363
50. Greg Turk.

    Re-tiling polygonal surfaces. Computer Graphics (SIGGRAPH ’92 Proceedings, 1992

    360
51. D Lenoski, J Laudon, K Gharacharloo, W Weber, A Gupta, J Hennessy, M Horowitz, M Lam.

    The stanford dash multiprocessor. IEEE Computer, 1992

    355
52. E M Sentovich, K J Singh, L Lavagno, C M R Murgai, A Saldanha, H.

    SIS: A system for sequential circuit synthesis,” Electrical Engineering and. Computer Sciences, University of California, Berkeley, 1992

    350
53. D Batory, S OʹMalley.

    The design and implementation of hierarchical software systems with reusable components. Transactions on Software Engineering Methodology, 1992

    347
54. Hirofumi Katsuno, Alberto Mendelzon.

    On the difference between updating a knowledge base and revising it. Belief Revision, 1992

    341
55. Y Amir, D Dolev, S Kramer, D Malkhi.

    Transis: A communication subsystem for high availability. In Proc. of the Twenty-2nd Int. Symp. on Fault-Tolerant Computing, 1992

    335
56. O Faugeras, Q Luong, S Maybank.

    Camera self-calibration: Theory and experiments. in Computer Vision - ECCV, 1992

    332
57. G J Tesauro.

    Practical issues in temporal difference learning. Machine Learning, 1992

    331
58. V KUMAR.

    Algorithms for constraint-satisfaction problems : A survey. Ai Magazine. 1992

    326
59. William F Opdyke.

    Refactoring Object-Oriented Frameworks. 1992

    324
60. Scott A Mahlke, David C Lin, William Y Chen, Richard E Hank, Roger A Bringman.

    E ective compiler support for predicated execution using the hyperblock. In Proceedings of the 25th International SymposiumonMicroarchitecture, 1992

    318
61. S Y Connell Mahadevan, J.

    Automatic Programming of Behavior-Based Robots using Reinforcement Learning. Artificial Intelligence Vol, 1992

    316
62. William Landi, Barbara G Ryder.

    A safe approximate algorithm for interprocedural aliasing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI, 1992

    316
63. Doug Cutting, Julian Kupiec, Jan Pedersen, Penelope Sibun.

    A Practical Part-of-Speech Tagger. In Proceedings of ANLP--92, 1992

    311
64. James P Callas, W Bruce Croft, Stephen M Harding.

    The INQUERY retrieval system. In Proceedings of the Third International Conference on Database and Expert Systems Applications, 1992

    308
65. H E Bal, M F Kaashoek, A S Tanenbaum.

    Orca: A Language For Parallel Programming of Distributed Systems. IEEE Transactions on Software Engineering, 1992

    307
66. Seema Hiranandani, Ken Kennedy, Chau-Wen Tseng.

    Compiling Fortran D for MIMD Distributed-Memory machines. Communications of the ACM, 1992

    304
67. B Shneiderman.

    Tree visualization with tree-maps: 2-d space-filling approach. ACM Transactions on Graphics, 1992

    300
68. N Belkin, Croft.

    W.B.: Information filtering and information retrieval: two sides of the same coin. Communications of the ACM, 1992

    299
69. B Carpenter.

    The Logic of Typed Feature Structures. 1992

    297
70. Raghuram Rajan.

    Insiders and Outsiders: The Choice Between Informed and Arm’s-Length Debt. Journal of Finance, 1992

    291
71. S M Bellovin, M Merrit.

    Encrypted Key Exchange: Password-based Protocols Secure against Dictionary Attacks. In Proc. of the Symposium on Security and Privacy, 1992

    290
72. Stephane Mallat, Wen Liang Hwang.

    Singularity detection and processing with wavelets. IEEE Transactions on Information Theory, 1992

    290
73. D W Scott.

    Multivariate Density Estimation. 1992

    289
74. J-M Andreoli.

    Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 1992

    286
75. P Langley, W Iba, K Thompson.

    An analysis of Bayesian classifiers. In Proceedings of the National Conference on Artificial Intelligence, 1992

    281
76. C Mohan, Donald J Haderle, Bruce G Lindsay, Hamid Pirahesh, Peter M Schwarz.

    ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM TODS, 1992

    276
77. W J Hutchins, H L Somers.

    An Introduction to Machine Translation. 1992

    271
78. R Hasting, B Joyce.

    Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter Usenix Conference, 1992

    267
79. D AND KUHN FERRAIOLO, R.

    Role-based access controls. In Proceedings of the 15th NIST-NCSC National Computer Security Conference. Gaithersburg, MD, 1992

    263
80. T-Y Yeh, Y N Patt.

    Alternative implementations of two-level adaptive branch prediction. In Proceedings of the 19th Annual International Symposium on Computer Architecture (ISCA, 1992

    263
81. C LUND, L FORTNOW, H KARLOFF, N NISAN.

    Algebraic methods for interactive proof systems. Journal of the, 1992

    262
82. P Cousot, R Cousot.

    Abstract interpretation and application to logic programs. Journal of Logic Programming, 1992

    261
83. J Mylopoulos, L Chung, B Nixon.

    Representing and using nonfunctional requirements: A processoriented approach. IEEE Transactions on Software Engineering, 1992

    260
84. R Williams.

    Simple statistical gradient-following algorithms for connectionist reinforcement learning. Machine Learning 8(3/4):229--256, 1992

    259
85. J Wilhelms, A V Gelder.

    Octrees for Faster Iso-Surface Generation. In ACM Transactions on Graphics, 1992

    258
86. L-J Lin.

    Self-improving reactive agents based on reinforcement learning, planning and teaching. Machine Learning, 1992

    256
87. D Yarowsky.

    Word-Sense Disambiguation Using Statistical Models. of Roget’s Categories Trained on Large Corpora. Proceedings, COLING-92, 1992

    254
88. R I Hartley.

    Estimation of relative camera positions for uncalibrated cameras. Computer Vision – ECCV’92, LNCS Series, 1992

    252
89. M Jordan, D Rumelhart.

    Forward models: Supervised learning with a distal teacher. Cognitive Science 16(3):307--354. 1992

    246
90. L Ni, C Glass.

    The turn model for adaptive routing. In Proceedings of the International Symposium on Computer Architecture, 1992

    242
91. C Ahlberg, C Williamson, B Shneiderman.

    Dynamic queries for information exploration: An implementation and evaluation. in Proceedings of the ACM Conference on Human Factors in Computer Systems, 1992

    242
92. R Medina-Mora, T Winograd, R Flores, F Flores.

    The Action Workflow Approach to Workflow Management Technology. Proceedings of the 4th Conference on Computer Supported Cooperative Work. ACM, 1992

    240
93. H S Seung, M Opper, H Sompolinsky.

    Query by committee. In Proceedings of the Annual ACM Workshop on Computational Learning Theory (COLT, 1992

    239
94. M Felleisen, R Heib.

    The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 1992

    236
95. R Rivest.

    The RC4 Encryption Algorithm. RSA Data Security Inc, 1992

    232
96. W Diffie, P C van Oorschot, M J Wiener.

    Authentication and Authenticated Key Exchanges. Designs, Codes and Cryptography, 1992

    231
97. C A Waldspurger, T Hogg, B A Huberman, J O Kephart, S Stornetta.

    Spawn: A distributed computational economy. IEEE Transactions on Software Engineering, 1992

    228
98. T Larrabee.

    Test Pattern Generation Using Boolean Satisfiability. IEEE Trans. on CAD, 1992

    226
99. F C N Pereira, Y Schabes.

    Inside-outside reestimation from partially bracketed corpora. In Proc. of ACL, 1992

    225
100. D E Goldberg, D Kalyanmoy, J H Clark.

     Genetic Algorithms, Noise and the Sizing of Populations. Complex Systems, 1992

     223

Next 100 →