Most Cited Computer Science Articles
This list is generated from documents in the CiteSeerx database as of March 19, 2015. 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
| 2014
| 2015
-
The Probabilistic Method. 19921714
-
A training algorithm for optimal margin classifiers. In Proceedings of the Fifth Annual Workshop on Computational Learning Theory, 19921415
-
The Active Badge Location System. ACM Transactions on Information Systems, 19921233
-
The Cross-Section of Expected Stock Returns. Journal of Finance, 19921228
-
A calculus of mobile processes. I and II. Information and Computation, 19921058
-
Advances in prospect theory: Cumulative representation of uncertainty. J. Risk Uncertainty, 19921046
-
Constraint Networks. In Encyclopedia of Artificial Intelligence, second edition, Wiley and Sons, 19921007
-
Active Messages: a mechanism for integrated communication and computation. In Proceedings of the 19th International Symposium on Computer Architecture, 1992992
-
Automatic acquisition of hyponyms from large text corpora. In: Proceedings of COLING’92, 1992977
-
Disconnected operation in the Coda file system. ACM Transactions on Computer Systems, 1992959
-
The design and implementation of a log-structured file system. ACM Transactions on Computer Systems, 1992957
-
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, 1992940
-
Operating Systems. 1992939
-
The JPEG still picture compression standard. IEEE Trans. on Consumer Electronics, 1992935
-
P.L.Lions, User’s guide to viscosity solutions of second order partial differential equations. Bull. Amer.Math. Soc, 1992795
-
Using collaborative filtering to weave an information tapestry. Communications of the ACM, 1992785
-
A Survey of Image Registration Techniques. ACM Computing Surveys, 1992766
-
Class-Based n-gram Models of Natural Language. Computational Linguistics, 1992737
-
The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 1992723
-
A Contribution to the Empirics of Economic Growth. Quarterly Journal of Economics, 1992715
-
A New Method for Solving Hard Satisfiability Problems. Proc. of AAAI-92, 1992705
-
Scatter/gather: A cluster-based approach to browsing large document collections. Proceedings of the Fifteenth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1992677
-
Awareness and coordination in shared workspaces. In Proc. ACM Conf. Computer-Supported Cooperative Work (CSCW '92, 1992661
-
Symbolic model checking: 1020 states and beyond. I&C, 1992644
-
A simple model of herd behavior. Quarterly Journal of Economics, 1992640
-
Applying Design by Contract. IEEE Computer, 1992636
-
The Linear Complementarity Problem. 1992624
-
A spatial logic based on regions and connection. In Proceedings 3rd International Conference on Knowledge Representation and Reasoning, 1992616
-
Stability Properties of Constrained Queueing Systems and Scheduling for Maximum Throughput in Multihop Radio Networks. IEEE Transactions on Automatic Control, 1992604
-
Inverse Acoustic and electromagnetic scattering theory. Applied Mathematical Sciences 93, 1992601
-
Hierarchical ModelBased Motion Estimation. In Proc. of the 2nd. European Conference on Computer Vision, 1992600
-
Decimation of triangle meshes. In SIGGRAPH ’92 Proc, 1992593
-
Term rewriting systems. Handbook of Logic in Computer Science, 1992582
-
Stacked generalization. Neural Networks, Vol.5, No.2, 1992580
-
Bayesian interpolation. Neural Computation, 1992578
-
PVS: A prototype verification system. 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, 1992570
-
An argument for basic emotions. Cognition & Emotion, 1992556
-
Lambda calculi with types. in Handbook of Logic in Computer Science, 1992551
-
Parallel database systems: the future of high performance database systems. Communications of the ACM, 1992550
-
Virtual Channel Flow Control. IEEE Transactions on Parallel and Distributed Systems, 1992550
-
Insiders and outsiders: the choice between informed and arm’s length debt. Journal of Finance, 1992550
-
Abductive Logic Programming. Journal of Logic and Computation, 1992549
-
Supporting real-time applications in an integrated services packet networks: architecture and mechanism. In Proc. of ACM Sigcomm'1992, 1992540
-
Entropy-based Algorithms for Best Basis Selection. IEEE Trans. On Inf. Theory, 1992535
-
A Simple Rule-Based Part of Speech Tagger. In Third Conference on Applied Natural Language Processing. Proceedings of the Conference, 1992522
-
Portholes: Supporting Awareness in Distributed Work Groups. Proc. CHI’92 Human Factors in Computer Systems (Monterey. Ca, 1992503
-
The SWISS-PROT protein sequence data bank. Nucleic Acids Res, 1992484
-
Design and evaluation of compiler algorithm for prefetching. In Proc. International Conference on Architectural Support for Programming Languages and Operating Systems, 1992477
-
Authentication in distributed systems: theory and practice. ACM Transactions on Computer Systems, 1992470
-
Low-power cmos digital design. IEEE Journal of Solid-State Circuit, 1992467
-
Shiftable multiscale transforms. IEEE Trans. Inform. Theory, 1992465
-
A System for Sequential Circuit Synthesis. Memorandum No. UCB/ERL M92/41, Dept. EECS, 1992457
-
Planning as Satisfiability. In Proceedings of the Tenth European Conference on Artificial Intelligence, 1992456
-
Scheduler activations: Effective kernel support for the user-level management of threads. ACM Transactions on Computer Systems, 1992450
-
Uniprocessor Garbage Collection Techniques. Proceedings of the International Workshop on Memory Management, St, 1992448
-
A capacity theory of comprehension: individual differences in working memory. Psychological Review, 1992443
-
UCPOP: A Sound, Complete, Partial Order Planner for ADL. In Proc. KR-92, 1992443
-
Partial constraint satisfaction. AI, 1992442
-
Lazy Release Consistency for Software Distributed Shared Memory. in Proceedings of the 19th Annual International Symposium on Computer Architecture, 1992437
-
Singularity Detection and Processing with Wavelets. IEEE Trans on Inform. Theory, 1992434
-
A Practical Bayesian Framework for Backpropagation Networks. Neural Computation, 1992429
-
Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems. Artificial Intelligence, 1992427
-
Refactoring Object-Oriented Frameworks. 1992426
-
Re-tiling Polygonal Surfaces. In SIGGRAPH 92, 1992412
-
Knowledge discovery in databases: an overview. AI Magazine, 1992399
-
Multivariate Density Estimation. 1992399
-
Algorithms for constraint satisfaction problems: A survey. AI Magazine, 1992398
-
Identification of programmed cell death in situ via specific labeling of nuclear DNA fragmentation. Journal of Cell Biology, 1992389
-
Practical issues in temporal difference learning. Machine Learning, 1992384
-
The Stanford DASH Multiprocessor. IEEE Computer, 1992383
-
An Empirical Comparison of Alternative Models of Short-Term Interest Rate. Journal of Finance, 1992381
-
The Design and Implementation of Hierarchical Software Systems Using Reusable. Components”, ACM Trans. on Software Engineering and Methodology, 1992376
-
Encrypted key exchange: Password-based protocols secure against dictionary attacks. In Proc. IEEE Symposium on Security and Privacy, 1992375
-
Camera selfcalibration: theory and experiments. In Proc. 2nd ECCV, 1992371
-
Universals in the content and structure of values: Theoretical advances and empirical tests in 20 countries. Advances in experimental social psychology, 1992370
-
A Practical Part-of-Speech Tagger. In Third Conference on Applied Natural Language Processing. Proceedings of the Conference, 1992370
-
The Logic of Typed Feature Structures. Tracts in Theoretical Computer Science, 1992364
-
An Analysis of Bayesian Classifiers. Proceedings of the Tenth National Conference on Artificial Intelligence: 223–228, 1992361
-
Role-based access control. in 15th National Computer Security Conference, 1992361
-
Effective compiler support for predicated execution using the hyperblock. in IEEE Micro, 1992357
-
An introduction to machine translation. In Ed, 1992356
-
The inquery retrieval system. In Proceedings of the Third International Conference on Database and Expert Systems Applications, 1992354
-
Simple statistical gradient-following algorithms for connectionist reinforcement learning. Machine Learning, 1992350
-
Transis: A communication sub-system for high availability. In 22nd IEEE Fault-Tolerant Computing Symposium (FTCS, 1992347
-
Evaluating the accuracy of sampling-based approaches to the calculation of posterior moments. In Bayesian Statistics, 1992347
-
Automatic programming of behavior-based robots using reinforcement learning. Artificial Intelligence, 1992345
-
A-Morphous Morphology. 1992345
-
Logic programming with focusing proofs in linear logic. J. of Logic and Computation, 1992344
-
Information-based objective functions for active data selection. Neural Computation, 1992343
-
Query by committee. In COLT ’92: Proceedings of the fifth annual workshop on Computational learning theory, 1992343
-
GAMS A User’s Guide. 1992339
-
A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, 1992336
-
Psychological foundations of culture. In, 1992334
-
Forward models: Supervised learning with a distal teacher. Cognitive Sciences, 1992331