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

IPS2: The second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems, 1990102

Concept Learning and Heuristic Classification in WeakTheory Domains. Artificial Intelligence, 1990101

Determining the separation of preprocessed polyhedra — a unified approach. Proc. 17th Intl. Colloq. Auto. Lang. Program, 1990101

Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction. Under Uncertainty. Ph.D. Dissertation, Brown University, 1990101

Dynamic Montague grammar. In L. Ka´lman & L. Po´los (Eds.), Papers from the Second Symposium on Logic and Language (pp. 3–48). Budapest: Adakémiai Kiado, 1990101

Fundamental concepts of qualitative probabilistic networks. Artif. Intell, 1990101

Architecture of FieldProgrammable Gate Arrays: The Effect of Logic Block Functionality on Area Efficiency. IEEE Journal of SolidState Circuits, 1990100

Bypassing the intractable problem of student modeling. In C. Frasson, 1990100

GradientBased Learning Algorithm for Recurrent Connectionist Networks. La Jolla, CA, 199099

Learning and applying contextual constraints in sentence comprehension. Artificial Intelligence, 199099

MICROCOSM: An Open Model for Hypermedia With Dynamic. Linking, Hypertext: Concepts, System and Applications. The Proceedings of The European Conference on Hypertext, INRIA, 199099

Principles of object perception. Cognitive Science, 199099

A language for shading and lighting calculations. Computer Graphics (SIGGRAPH ’90 Proceedings, 199099

Worlds within worlds: Metaphors for exploring ndimensional virtual worlds. In Proceedings of UIST '90 (ACM Symp. on User Interface Software and Technology, 199099

Security models and information flow. In Proceedings 1990 IEEE Symposium on Security and Privacy, 199097

Contrast in complex images. Journal of the Optical Society of America, 199096

A deterministic view of random sampling and its use in geometry. Combinatorica, 199096

Explaining and repairing plans that fail. Artificial Intelligence, 199095

Fast animation and control of nonrigid structures. Computer Graphics (Proceedings of SIGGRAPH 90, 199094

Timederivative models of Pavlovian reinforcement. In M. Gabriel & J. Moore (Eds.), Learning, 199094

ivny. ’ Dynamic realtime optimistic concurrency control. In Proceedings of the 11 th RealTime Systems Symposium, 199094

Priorities in process algebras. Information and Computation, 199094

The behavior language user’s guide. AI Memo 1227, MIT Artificial Intelligence Lab, 199093

Lapack: a portable linear algebra library for highperformance computers. In Supercomputing ’90: Proceedings of the 1990 conference on Supercomputing, 199093

The VideoWindow system in informal communications. Proceedings of CSCW '90, 199092

Tarjan, Faster algorithms for the shortest path problem. J. Assoc. Comput. Mach, 199091

A finite presentation theorem for approximating logic programs. In: POPL, 199091

Group and field definitions. Formalized Mathematics, 199090

Automatic Blocking of Nested Loops. 199090

Accurate singular values of bidiagonal matrices. SIAM J. Sci. Stat. Comput, 199090

Reasoning situation in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intelligence, 199090

Algebraic reasoning for probabilistic concurrent systems. In Proc. of the IFIP TC2 Working Conference on Programming Concepts and Methods, 199089

Particle animation and rendering using data parallel computation. In Proceedings of ACM SIGGRAPH, 199088

CompilerDirected Data Prefetching in Multiprocessors with Memory Hierarchies. In International Conference on Supercomputing, 199087

Dynamic instabilities and stabilization methods in distributed real time scheduling of manufacturing systems. IEEE Trans. Autom. Control AC35, 199087

Tradeo s in processing complex join queries via hashing in multiprocessor database machines. In Proc. of the Conf. on Very Large Data Bases (VLDB, 199087

Data Characterization for Intelligent Graphics Presentation. Proc. SIGCHIPO, 199086

Height and gradient from shading. IJCV, 199086

Supporting systolic and memory communication in iwarp. In Proc. 17th Intl. Symp. on Computer Architecture, 199086

Analog retrieval by constraint satisfaction. Arti�cial Intelligence, 199086

Speeding up the computations on an elliptic curve using additionsubtraction chains. RAIRO Inform. Théor. Appl, 199085

Structural disambiguation with constraint propagation. In Proceedings of the 28th Meeting of the Association for Computational Linguistics (ACL),pages 31–38, Pittsburgh,PA, 199085

DistEdit: a distributed toolkit for supporting multiple group editors. In Proceedings of the 1990 ACM Conference on Computersupported cooperative work, 199085

C.R.: Visibility, occlusion, and the aspect graph. International Journal of Computer Vision, 199084

The cops Security Checker System. In Proceedings of the 14th Systems Administration Conference, USENIX Association. USENIX, 199084

Preemptively scheduling hardrealtime sporadic tasks on one processor. In Proceedings of the 11 th IEEE RealTime Systems Symposium, 199084

ILOG: Declarative Creation and Manipulation of Object Identifiers. in VLDB, 199084

Evaluation logic. In Proc. of the IVth Higher Order Workshop, 199083

Informationtheoretic asymptotics of Bayes methods. IEEE Transactions on Information Theory, 199083

Recursive 3D motion estimation from a monocular image sequence. IEEE Transactions on Aerospace and Electronic Systems 26,July, 199083

Objectoriented programming versus abstract data types. In Proc. of the REX Workshop/School on the Foundations of ObjectOriented Languages, LNCS 173, 199083

ªIdentifying the Semantic and Textual Differences Between Two Versions of a Program,ª. Proc. SIGPLAN '90 Conf. Programming Language Design and Implementation, 199083

Conjunction search revisited. Journal of Experimental Perception and Performance, 199083

Semanticheaddriven generation. Computational Linguistics, 199082

The semantics of reflected proof. in: Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science, 199082

Descriptions. 199082

Compact spaces. Formalized Mathematics, 199082

Interactive dynamics. In COMPUTER GRAPHICS, 199081

Congestion Control in Computer Networks: Issues and Trends. IEEE Network Magazine, 199081

Tableaubased model checking in the propositional mucalculus. Acta Informatica, 199081

Networks and the best approximation property. Biological Cybernetics, 199081

Metatem: A framework for programming in temporal logic. In Procs of REX Workshop 1989, volume 430 of LNCS, 199080

ScaleSpace for Discrete Signals. IEEE Transactions on Pattern Analysis and Machine Intelligence, 199080

Boosting Beyond Static Scheduling in a Superscalar Processor. In International Symposium on Computer Architecture, 199080

A model for anisotropic reflection. In Computer Graphics (Proceedings of SIGGRAPH 90, 199080

The round complexity of secure protocols. In Proc. of 22nd STOC, 199079

Path Planning Using Laplace’s Equation. In ICRA, 199078

An implementation of an efficient algorithm for bisimulation equivalence. Sci. Comput. Program, 199078

Harmonic analysis of polynomial threshold functions. SIAM J. Discr. Math, 199078

Plan Guided Reaction. IEEE Transactions on Systems, Man and Cybernetics, 199078

Learning Abstraction Hierarchies for Problem Solving. In Proceedings of AAAI90, 199078

The LDL system prototype. IEEE Transactions on Knowledge and Data Engineering, 199078

On equivalence and canonical forms in the LF type theory. University of Edinburgh, 199077

The ATIS Spoken Language Systems, Pilot Corpus. In Proceedings of 3rd DARPA Workshop on Speech and Natural Language, Hidden, 199077

Subsumption algorithms for concept description languages. In Proc.ofECAI90, 199077

Computation at the onset of chaos. 199077

Where should the person stop and the information search interface start. Inf. Process. Manage, 199077

Prefix sums and their applications. 199077

Compiling collectionoriented languages onto massively parallel computers. Journal of Parallel and Distributed Computing, 199077

e fable of the keys. , 199076

Evolving the Vnode Interface. Proc. Summer USENIX Conference, 199076

Rendering and animation of gaseous phenomena by combining fast volume and scanline abuffer techniques. In SIGGRAPH ’90: Proceedings of the 17th annual conference on Computer graphics and interactive techniques (pp. 357–366, 199076

QBD*: A graphical query language with recursion. IEEE Transactions on Software Engineering, 199076

Computing the aspect graph for the line drawings of polyhedral objects. IEEE Transactions on Pattern Matching and Machine Intelligence, 199076

The generation of affect in synthesized speech. Journal of the American Voice I/O Society, 199076