Most Cited Computer Science Articles
This list is generated from documents in the CiteSeerx 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 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
-
Fast algorithms for mining association rules. In Proceedings of the 20th International Conference on Very Large Databases (VLDB'94, 19942114
-
A theory of timed automata. Theoretical Computer Science, 19941640
-
On the self-similar nature of Ethernet traffic (extended version. IEEE/ACM Transactions on Netwrking, 19941568
-
Highly dynamic destination-sequenced distance-vector routing (DSDV) for mobile computers. in ACM SIGCOMM’94 Conference on Communications Architectures, Protocols and Applications, 19941203
-
Tcl and the Tk Toolkit. 19941176
-
features to track. Proc. IEEE CCVPR, 19941093
-
Performance of optical flow techniques. Int. J. Comput. Vision, 1994868
-
GroupLens: An open architecture for collaborative filtering of netnews. In Proceedings of the CSCW 94 Conference on Computer-Supported Cooperative Work. (Chapel Hill, NC) ACM, 1994842
-
Constraint logic programming: a survey. Journal of Logic Programming, 1994701
-
ATOM: A System for Building Customized Program Analysis Tools. Proceedings of the SIGPLAN’94 Conference on Programming Language Design and Implementation (PLDI, 1994692
-
Hierarchical mixtures of experts and the em algorithm. Neural Computation, 1994628
-
Macaw: a media access protocol for wireless lans. in: ACM SIGCOMM, 1994586
-
Context-aware computing applications. In 1st Workshop on Mobile Computing Systems and Applications, 1994577
-
View-based and modular eigenspaces for face recognition. in Proceedings of IEEE Conference on Computer Vision and Pattern Recognition, 1994559
-
A Dynamic Theory of Organizational Knowledge Creation. Organization Science, 1994555
-
The weighted majority algorithm. Info. and Computation, 1994553
-
Algorithms for quantum computation: discrete logarithms and factoring. 35th Annual Symposium on Foundations of Computer Science (Santa Fe, 1994523
-
The NAS parallel benchmarks. NASA Ames Research Center, 1994520
-
Molecular computation of solutions to combinatorial problems. Science, 1994512
-
Irrelevant features and the subset selection problem. In Machine Learning: Proceedings of the Eleventh International Conference, 1994512
-
Efficient and Effective Clustering Methods for Spatial Data Minig. 20th VLDB Conference, 1994499
-
A syntactic approach to type soundness. Information and Computation, 1994485
-
The interdisciplinary study of coordination. Computing Surveys, 1994478
-
Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays. In Proceedings of CHI 94, 1994477
-
TCP and explicit congestion notification. ACM CCR, 1994475
-
TreadMarks: Distributed shared memory on standard workstations and operating systems. In USENIX Winter 1996 Conference Proceedings, 1994466
-
The TSIMMIS project: Integration of heterogeneous information sources. In Proeedings of 100th Anniversary Meeting of the Information Processing Society of Japan, 1994453
-
Analysis, modelling and generation of self-similar VBR video tra c. Proceedings of ACM SIGCOMM, 1994438
-
Symbolic model checking for real-time systems. Information and Computation, 1994437
-
An introduction to disk drive modeling. IEEE Computer, 1994436
-
TCP Vegas: New techniques for congestion detection and avoidance. Proceedings of the SIGCOMM, 1994435
-
Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches. In Artificial Intelligence Communications 7, 1994425
-
Hidden Markov models in computational biology: Applications to protein modelling. J Mol Biol, 1994422
-
Fast Volume Rendering Using a ShearWarp Factorization of the Viewing Transformation. In Computer Graphics Proceedings, Annual Conference Series, 1994419
-
Noncommutative geometry. 1994417
-
The Dexter Hypertext Reference Model. Communications of the ACM, 1994414
-
Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 1994406
-
Probabilistic part-of-speech tagging using decision trees. In International Conference on New Methods in Language Processing, 1994405
-
Representing moving images with layers. IEEE Transactions on Image Processing, 1994401
-
Domain theory. In Handbook of Logic in Computer Science (vol. 3): Semantic Structures, 1994397
-
A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 1994397
-
Software Agents. In Communications of the ACM, Volume 37, Number 7, 1994396
-
Efficient and effective querying by image content. Journal of Intelligent Information Systems, 1994393
-
Scheduling for reduced CPU energy. In Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation, 1994392
-
Isabelle : a generic theorem prover. of Lecture Notes in Computer Science, 1994384
-
Evolving algebras 1993: Lipari Guide. Specification and Validation Methods, 1994384
-
Scale-Space Theory in Computer Vision. 1994378
-
Electronic Markets and Electronic Hierarchies. Information Technology and the Corporation of the 1990s, 1994377
-
Lottery scheduling: flexible proportional-share resource management. In OSDI ’94, 1994371
-
The Role of Emotion in Believable Agents. Communications of the ACM, 1994369
-
Maximum a Posteriori Estimation for Multivariate Gaussian Mixture. Observations of Markov Chains.” ieee Transactions on Speech and Audio Processing, 1994369
-
A sequential algorithm for training text classifiers. In Proceedings of the Seventeenth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 1994367
-
Threedimensional alpha shapes. ACM Trans. on Graphics, 1994359
-
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. Proc. of the ACM SIGPLAN ‘94 Conf. on PLDI, 1994358
-
Minimizing Conflicts: A Heuristic Repair Method. For Constraint Satisfaction and Scheduling Problems. Constraint-Based Reasoning , Freuder & Mackworth (eds, 1994353
-
Iterative point matching for registration of free-form curves and surfaces. International Journal of Computer Vision, 1994348
-
The SWISS-PROT protein sequence data bank: Current status. Nucleic Acids Research, 1994347
-
The Challenges of Mobile Computing. Computer, 1994341
-
A really temporal logic. Journal of the ACM, 1994335
-
Pad++: A Zooming Graphical Interface for Exploring Alternate Interface Physics. In Proceedings of uist’94, 1994331
-
Compiler Transformations for High-Performance Computing. ACM Computing Surveys, 1994330
-
Improving generalization with active learning. Machine Learning, 1994329
-
GSAT and Dynamic Backtracking. Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, 1994323
-
Noise strategies for improving local search. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-94, 1994317
-
The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 1994316
-
Scheduling multithreaded computations by work stealing. In Proceedings of the $5th Annual Symposium on Foundations of Computer Science, 1994313
-
The Stanford Flash multiprocessor. In Proceedings of the 21st Annual International Symposium on Computer Architecture, 1994312
-
Fitting a mixture model by expectation maximization to discover motifs in biopolymers. Proc Int Conf Intell Syst Mol Biol, 1994303
-
Fast Folding and Comparison of RNA Secondary Structures. Chemical Monthly, 1994298
-
Some simple effective approximations to the 2-poisson model for probabilistic weighted retrieval. In SIGIR ’94: Proceedings of the 17th annual international ACM SIGIR conference on Research and development in information retrieval, 1994287
-
Tempest and typhoon: User-level shared memory. in ISCA ’94: Proceedings of the 21st Annual International Symposium on Computer Architecture, 1994287
-
Multiobjective optimization using nondominated sorting in genetic algorithms. Evolutionary Computation, 1994285
-
Scheduling policies for an on-demand video server with batching. In Proceedings of the ACM International Conference on Multimedia (MM’94, 1994284
-
RAID: High-performance, reliable secondary storage. ACM Computing Surveys, 1994282
-
Regular models of phonological rule systems. Computational Linguistics, 1994278
-
Logic programming in a fragment of intuitionistic linear logic. Journal of Information and Computation, 1994277
-
Combination of multiple searches. In Text REtrieval Conference (TREC, 1994276
-
A storage model with self-similar input. Queueing Systems, 1994276
-
Power Analysis Of Embedded Software: A First Step Towards Software Power Minimization. Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1994, ICCAD ’94, 1994273
-
Cooperative caching: using remote client memory to improve file system performance. In Proceedings of the 1st USENIX OSDI, 1994272
-
A.: A Framework for Expressing the Relationships between Multiple Views in Requirements Specification. IEEE Transactions on Software Engineering, 1994271
-
An Algorithm for Pronominal Anaphora Resolution. Computational Linguistics, 1994270
-
The World-Wide Web. Communications of the ACM, 1994269
-
The table lens: merging graphical and symbolic representations in an interactive focus + context visualization for tabular information. In CHI ’94: Proceedings of the SIGCHI conference on Human factors in computing systems, 1994268
-
MMSE interference suppression for direct-sequence spreadspectrum CDMA. IEEE Transactions on Communications, 1994267
-
A softbot-based interface to the Internet. Commun. ACM, 1994263
-
Iterative Modulo Scheduling: An Algorithm for Software Pipelining Loops. In Proceedings of MICRO 27, 1994261
-
Multi-paragraph segmentation of expository texts. In Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistic, 1994258
-
Bayesian analysis of stochastic volatility models. Journal of Business and Economic Statistics, 1994257
-
On the power of quantum computation. in: Proceedings of the 35th Annual Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1994255

