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

Fast algorithms for mining association rules. In Proceedings of the 20th International Conference on Very Large Databases (VLDB, 19942889

Computational Complexity. 19942426

Noncommutative Geometry. 19942196

A Theory of Timed Automata. Theoretical Computer Science, 19942161

On the selfsimilar nature of Ethernet traffic (extended version. IEEE/ACM Transaction on Networking, 19941948

A Course in Game Theory. 19941902

Good Features to Track. IEEE Conference on Computer Vision and Pattern Recognition, 19941590

Tcl and the Tk Toolkit. 19941270

Automatic verification of finite–state concurrent systems. Lecture Notes in Computer Science, 19941245

GroupLens: an open architecture for collaborative filtering of Netnews. Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work(CSCW’94, 19941245

Performance of optical flow techniques. International Journal of Computer Vision, 19941119

Learning Bayesian networks: the combination of knowledge and statistical data. In Proceedings of the 10th Conference Uncertainty in Artificial Intelligence, 1994953

Genetic Programming H. 1994949

Algorithms for quantum computation: discrete logarithms and factoring. Proceedings, 35th Annual Symposium on Fundamentals of Computer Science (FOCS, 1994859

The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 1994853

Markov chains for exploring posterior distributions (with discussion. Annals of Statistics, 1994840

Constraint logic programming: A survey. Journal of Logic Programming, 1994791

Contextaware computing applications. In Proc. Workshop on Mobile Computing Systems and Applications. IEEE, 1994778

Hierarchical mixtures of experts and the em algorithm. Neural computation, 1994762

Atom: a system for building customized program analysis tools. In PLDI ’94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, 1994749

Probabilistic PartofSpeech Tagging using Decision Trees. In Proceedings of the 1st International Conference on New Methods in Language Processing, 1994731

MACAW: A media access protocol for wireless LANs. in: Proceedings of SIGCOMM ’94, 1994719

Molecular computation of solutions to combinatorial problems. Science, 1994673

ViewBased and modular eigenspaces for face recognition. In: Proc. of the IEEE Conf. on Computer Vision and Pattern Recognition, 1994673

Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 1994671

Fitting a mixture model by expectation maximization to discover motifs in biopolymers. Proceedings of the Second International Conference on Intelligent Systems for Molecular Biology, AAAI Press, Menlo, 1994640

Irrelevant Feature and the Subset Selection Problem. Rutgers University, 1994635

The Interdisciplinary Study of Coordination. ACM Computing Surveys, 1994633

Examplebased learning for viewbased human face detection. A.I. Memo 1521, CBCL Paper 112, MIT, 1994614

Introduction to Mechanics and Symmetry. 1994578

Using Linear Algebra for Intelligent Information Retrieval. SIAM: Review, 1994573

A syntactic approach to type soundness. Information and Computation, 1994572

TCP and Explicit Congestion Notification. ACM Computer Communication Review, 1994572

Maximum a Posteriori Estimation for Multivariate Gaussian Mixture Observations of Markov Chains. IEEE Trans. on Speech and Audio Processing, 1994544

Fast folding and comparison of RNA secondary structures. Monatsh. Chemie, 1994536

TCP Vegas: new techniques for congestion detection and avoidance. in Proc. of ACM SIGCOMM, 1994534

Markov Games as a Framework for MultiAgent Reinforcement Learning. Proceedings of 11th International Conference on Machine Learning, 1994532

Iterative Point Matching for Registration of FreeForm Curves and Surfaces. International Journal of Computer Vision, 1994517

Sequential data assimilation with a nonlinear quasigeostrophic model using MonteCarlo methods to forecast error statistics. Journal of Geophysical ResearchOceans, 1994510

Symbolic Modelchecking for Realtime Systems. Information and Computation, 1994509

The Tsimmis project: Integration of heterogeneous information sources. In Proceedingsof 100th AnniversaryMeeting of the Information Processing Society of Japan, 1994508

An approach to correlate tandem mass spectral data of peptides with amino acid sequences in a protein database. Journal of the American Society of Mass Spectrometry, 1994508

Scalespace theory in computer vision. 1994506

A sequential algorithm for training text classifiers. Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, 1994506

Scheduling for Reduced CPU Energy. In Proceedings of The USENIX Symposium on Operating Systems Design and Implementation, 1994503

TreadMarks: Distributed Shared Memory on Standard Workstations and Operating Systems. In Proceedings of the Winter 94 Usenix Conference, 1994499

Entity authentication and key distribution. In Advances in Cryprtology  Crypto’93 Proceedings, 1994496

Okapi at TREC3. NIST Special Publication 500226, Overview of the Third Text Retrieval Conference (TREC3, 1994495

Analysis, modeling and generation of self similar VBR video traffic. Computer Communications Review, 1994493

Raedt. Inductive logic programming : Theory and methods. Journal of Logic Programming, 1994484

Domain theory. Handbook of Logic in Computer Science, 1994481

An Introduction to Disk Drive Modeling. IEEE Computer, 1994477

The Role of Emotion in Believable Agents. Communications of the ACM, 1994477

Fast Volume Rendering Using a ShearWarp Factorization of the Viewing Transformation. Computer Graphics, 28(Annual Conference Series):451–458, 1994476

Representing moving images with layers. IEEE TIP, 1994475

Threedimensional Alpha Shapes. ACM Transactions on Graphics, 1994469

The Economics of Immigration. Journal of Economic Literature, 1994465

and effective querying by image content. Journal of Intelligent Information Systems, 1994465

The Dexter hypertext reference model. Communications of the ACM, 1994460

The geometry of graphs and some of its algorithmic applications. Proc. 35th Ann. Symposium on Foundations of Computer Science, 1994454

A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 1994453

Fast Subsequence Matching in TimeSeries Database. in Proc. ACM SIGMOD Conf, 1994446

Lottery scheduling: flexible proportionalshare resource management. In Proc. of the USENIX conference on Operating Systems Design and Implementation, 1994442

Bayesian Analysis of Stochastic Volatility Models. Journal of Business and Economic Statistics, 1994441

Software Agents. Communications of the ACM, 1994439

Isabelle: A Generic Theorem Prover. 1994433

Scheduling multithreaded computations by work stealing. Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on, 1994429

Optimal Tests When a Nuisance Parameter is Present Only Under the Alternative. Econometrica, 1994427

Obliq: A language with distributed scope. 1994422

A maximum likelihood approach to continuous speech recognition. 1983. IEEE trans. on PAMI, 1994421

The lexical nature of syntactic ambiguity resolution. Psychological Review, 1994416

Eliciting selfexplanations improves understanding. Cognitive Science, 1994414

Contextsensitive interprocedural pointsto analysis in the presence of function pointers. In Proceedings of the SIGPLAN ’94 Conference on Programming Lanugage Design and Implementation, 1994401

The challenges of mobile computing. Computer, 1994399

Systems Competition and Network Effects. Journal of Economic Perspectives, 1994393

The transferable belief model. Artificial Intelligence, 1994392

A selfclocked fair queueing scheme for broadband applications. Proceedings of INFOCOM ’94, 1994392

KodairaSpencer theory of gravity and exact results for quantum string amplitudes. Commun. Math. Phys, 1994387

Floating search methods in feature selection. Pattern Recognit. Lett, 1994379

Noise Strategies for Improving Local Search. In Proceedings of AAAI94. Michael White, Tanya Korelsky, Claire Cardie, 1994378

On the power of quantum computation. Proceedings of 35th Annual Symposium on Foundations of Computer Science (Santa Fe, NM, 1994), IEEE Comput. Soc, 1994366

Evolving 3D morphology and behavior by competition. Artif. Life, 1994366

Shade: A fast instructionset simulator for execution profiling. ACM SIGMETRICS Performance Evaluation Review, 1994358

The PHANToM haptic interface : a device for probing virtual objects. Proc. ASME Winter Annual Meeting, Symp. on Haptic Interfaces for Virtual Environment and Teleoperator Systems, 1994356

The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 1994349

Regular models of phonological rule systems. in Computational Linguistics 20(3, 1994347