Most Cited Computer Science Articles
This list is generated from documents in the CiteSeer^{x} 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 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

Eigenfaces for recognition. Journal of Cognitive Neuroscience, 19912187

Intelligence without representation. Artif. Intell, 19911179

Color indexing. International Journal of Computer Vision, 19911107

Ed.”Handbook of Genetic Algorithms. International Journal of Computer Science and Security, Volume (1): Issue, 1991969

Instancebased learning algorithms. 1991882

Temporal constraint networks. Artificial Intelligence, 1991831

Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 1991741

The wellfounded semantics for general logic programs. JACM, 1991734

The JPEG Still Picture Compression Standard. IEEE Transactions on Consumer Electronics, 1991718

Intelligence without reason. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, 1991708

Classical negation in logic programs and disjunctive databases. New Generation Computing, 1991679

The design and use of steerable filters. IEEE TPAMI, 1991674

A data locality optimizing algorithm. In Proc. SIGPLAN conf. on programming language design and implementation (pp. 30–43, 1991673

Notions of computation and monads. Information and Computation, 1991644

Groupware: some issues and experiences. Communications of the ACM, 1991640

Waitfree synchronization. ACM Transaction on Programming Languages and Systems (TOPLAS, 1991638

The xkernel: An architecture for implementing network protocols. IEEE Transactions on Software Engineering, 1991576

MPEG: A video compression standard for multimedia applications. Comm. ACM, 1991565

causal and atomic group multicast. ACM Transactions on Computer Systems, 1991541

Grounding in communication. In, 1991525

Implementation and performance of Munin. ACM SIGOPS Operating Systems Review, 1991519

The NAS Parallel Benchmarks. The International Journal of Supercomputer Applications, 1991518

Where the really hard problems are. In Proceedings of IJCAI91, 1991496

The cache performance and optimizations of blocked algorithms. In In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 1991485

Voronoi diagrams  a survey of a fundamental geometric data structure. ACM Computing Surveys (CSUR, 1991456

Algorithms for Scalable Synchronization on SharedMemory Multiprocessors. ACM TOCS, 1991426

Internet time synchronization: The network time protocol. IEEE Trans. Commun, 1991417

Cone trees: animated 3d visualizations of hierarchical information. In Proceedings of CHI, 1991416

The synchronous dataflow programming language lustre. In Proceedings of the IEEE, 1991410

The existence of refinement mappings. Theoretical Computer Science, 1991405

Authentication in distributed systems: Theory and practice. In Proc. 13th ACM Symp. on Operating System Principles (SOSP, 1991400

Measurements of a Distributed File System. Proceedings of the 13th Symposium on Operating System Principles, 1991399

The plenoptic function and the elements of early vision. Computational Models of Visual Processing, 1991376

On active contour models and balloons. CVGIP: Image Understanding, 1991374

Increasing Returns and Economic Geography. Journal of Political Economy, 1991373

A robot exploration and mapping strategy based on a semantic hierarchy of spatial representations. Robotics and Autonomous Systems, 1991372

Bisimulation through probabilistic testing. Information and Computation, 1991364

Systematic nonlinear planning. In Proc. AAAI91, 1991355

évy. Explicit substitutions. Journal of Functional Programming, 1991354

A rapid hierarchical radiosity algorithm. In SIGGRAPH 91, 1991347

Bilattices and the semantics of logic programming. Journal of Logic Programming, 1991344

A controltheoretic approach to flow control. in Proceedings of ACM SIGCOMM, 1991342

Limits of instructionlevel parallelism. In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 1991336

An Object Calculus for Asynchronous Communication. In Proceedings of the European Conference on Objectoriented Programming (ECOOP’91), number 512 in LNCS, 1991336

On the difference between updating a knowledge base and revising it. In KR, 1991334

K.W.: A program for aligning sentences in bilingual corpora. In: 29th Annual Meeting on Association for Computational Linguistics, 1991334

A comparative analysis of selection schemes used in genetic algorithms. In Foundations of Genetic Algorithms, 1991332

Dynamic predicate logic. Linguistics and Philosophy 14:39–100, 1991330

Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 1991330

The synchronous approach to reactive realtime systems. Proceedings of the IEEE, 1991326

FYI On the X Window System. 1991318

Distributed hierarchical processing in the primate cerebral cortex. Cereb. Cortex, 1991315

Graph Drawing by Forcedirected Placement. Software  Practice and Experience, 1991313

Proofs that yield nothing but their validity or all languages in NP have zeroknowledge proof systems. Journal of the ACM, 1991313

Detection and tracking of point features. 1991309

Observations on the Dynamics of a Congestion Control Algorithm: the Effects of TwoWay Traffic. SIGCOMM Comput. Commun. Rev, 1991307

OPlan: the Open Planning Architecture. Artijicial Intelligence Journal, 1991293

Constant propagation with conditional branches. ACM Trans. Program. Lang. Syst, 1991292

QMR: a quasiminimal residual method for nonHermitian linear systems. Numer. Math, 1991289

Rule induction with CN2: Some recent improvements. In Machine Learning  Proceeding of the Fifth Europen Conference (EWSL91, 1991288

Parsing by chunks. Principlebased parsing: Computation and Psycholinguistics, 1991287

Logic programming in a fragment of intuitionistic linear logic. In Sixth Ann. Symp. on Logic in Comp. Science. IEEE, 1991278

Divergence measures based on the shannon entropy. IEEE Trans. Inform. Theory, 1991275

Functional programming with bananas, lenses, envelopes and barbed wire. Proceedings 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA’91, 1991272

A logic programming language with lambdaabstraction, function variables, and simple unification. J. of Logic and Computation, 1991269

The vector field histogramfast obstacle avoidance for mobile robots,” Robotics and Automation. IEEE Transactions on, 1991267

What every computer scientist should know about floatingpoint arithmetic. ACM Computing Surveys, 1991264

Visibility preprocessing for interactive walkthroughs. In ACM SIGGRAPH 91, 1991263

Tolerating latency through softwarecontrolled data prefetching. JPDC, 1991261

A probabilistic model of plan recognition. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91, 1991260

Transparent Process Migration: Design Alternatives and the Sprite Implementation. Software  Practice And Experience, 1991249

Connections with multiple congested gateways in packetswitched networks, part I: Oneway traffic. Computer communications review. IEEE/ACM Transactions on Networking, 1991244

Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 1991242

A Scheme for Integrating Concrete Domains into Concept Languages. In Proc. IJCAI ’91, 1991242

Objects and views. Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, volume 20:2 of SIGMOD Record, 1991240

Model checking and modular verification. Proceedings of CONCUR '91: gnd International Conference on Concurrency Theory, volume 527 of Lecture Notes in Computer Science, 1991239

Fitting parameterized threedimensional models to images. IEEE PAMI, 1991239

A correspondence theory for terminological logics: Preliminary report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91, 1991234

Semantics foundations of concurrent constraint programming. In Proceedings of POPL, 1991229

On the complexity of VLSI implementations and graph representations of boolean functions with application to integer multiplication. Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 913, 2005, 1991227

The postgres next generation database management system. Commun. ACM, 1991224

The Complexity of Concept Languages. Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991219

Living with Classic: when and How to Use a KLONElike Language. In Principles of Semantic Networks, 1991213

Domain theory in logical form. Journal of Pure and Applied Logic, 1991211

Checking computations in polylogarithmic time. In Proceedings of the 23rd ACM Symposium on Theory of Computing (STOC). ACM, 1991210

Lazy task creation: A technique for increasing the granularity of parallel programs. IEEE Trans. Parallel Distrib. Syst, 1991210

Objectoriented type inference. In Proceedings of the ACM SIGPLAN ’91 Conference on ObjectOriented Programming Systems, Languages, and Applications. SIGPLAN, ACM, 1991208

Fast approximation algorithms for fractional packing and covering problems. In IEEE FOCS, 1991208

Cones of matrices and setfunctions, and 01 optimization. SIAM Journal on Optimization, 1991203

A Principled Taxonomy of Software Visualization. Journal of Visual Languages and Computing, 1991203

IMPACT: an architectural framework for multipleinstructionissue processors. In ISCA ’91: Proceedings of the 18th annual international symposium on Computer architecture, 1991203

Easy problems for treedecomposable graphs. J. Algorithms, 1991202

Constraintbased automatic test data generation. IEEE Trans. Softw. Eng, 1991201

R.: Linear objects: Logical processes with builtin inheritance. New Generation Computing 9, 1991201

Evaluation of an inference networkbased retrieval model. ACM Trans. Inf. Syst, 1991201