Most Cited Computer Science Citations
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
-
Collaborative plans for complex group action. Artificial Intelligence, 1996375
-
Parallel multilevel k-way partitioning scheme for irregular graphs. ACM/IEEE Proceedings of SC96: High Performance Networking and Computing, 1996374
-
The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS ’96, 1996374
-
The Weakest Failure Detector for Solving Consensus. Journal of the ACM, 1996370
-
A query language and optimization techniques for unstructured data. In Proc. 1996 ACM SIGMOD International Conference on Management of Data, 1996369
-
Towards an active network architecture. Computer Communication Review, 1996368
-
Web Server Workload Characterization: The Search for Invariants", presented at. ACM SIGMETRICS Conference, 1996367
-
Photobook: tools for content-based manipulation of image databases International Journal of Computer Vision, 1996356
-
ML for the Working Programmer 1996353
-
ÒThe Ontolingua Server: a Tool for Collaborative Ontology. Construction,Ó Proceedings of the Knowledge Acquisition Workshop, 1996347
-
Deformable models in medical image analysis: a survey. Med. Image Anal, 1996346
-
AgentSpeak(L): BDI agents speak out in a logical computable language. In Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW’96), LNAI, 1996346
-
Multifactor Explanations of Asset Pricing Anomalies Journal of Finance, 1996345
-
A Maximum Entropy Model for Part-Of-Speech Tagging. In Proceedings of the Empirical Methods in Natural Language Processing Conference (EMNLP, 1996342
-
A sound type system for secure flow analysis. J. Computer Security, 1996341
-
lmbench: Portable tools for performance analysis. In Proc. Usenix ATC, 1996340
-
A Secure Environment for Untrusted Helper Applications: Confining the Wily Hacker. In Usenix Security Symposium. Authorization Logic (NAL) · 29, 1996335
-
Ontologies: Principles, methods and applications. Knowledge Engineering Review, 1996334
-
Near optimum error correcting coding and decoding, turbo-codes IEEE Trans. Commun, 1996334
-
Value Locality and Load Value Prediction. Proc. of the 7th Int'l Symp. on Architectural Support for Programming Languages and Operating Systems, 1996331
-
Prudent engineering practices for cryptographic protocols. IEEE Transactions on Software Engineering, 1996330
-
Formal methods: state of the art and future directions. ACM Computing Surveys, 1996329
-
BIRCH: an efficient data clustering method for very large databases. Proc. of Intl. Conf. on Management of data, 1996327
-
Using Discriminant Eigenfeatures for Image Retrieval. IEEE Trans. Pattern Analysis and Machine Intelligence, 1996325
-
Garcia-Luna-Aceves, “An efficient routing protocol for wireless networks. Mobile Networks and Applications, 1996325
-
Reexamining the cluster hypothesis: scatter/gather on retrieval results. In SIGIR, 1996325
-
Equivariant adaptive source separation. IEEE Trans. on Signal Processing, 1996324
-
Toward a knowledge-based theory of the firm Strategic Management Journal, 1996324
-
Sampling large databases for association rules. in ‘VLDB, September 3-6, Mumbai (Bombay, 1996322
-
Iterative decoding of binary block and convolutional codes. IEEE Trans. on Information Theory, 1996322
-
Triangle: Engineering a 2D Quality Mesh Generator and Delaunay Triangulator, in Applied Computational Geometry: Towards Geometric Engineering. of Lecture Notes in Computer Science, 1996320
-
Kasbah: An agent marketplace for buying and selling goods. Proc. First Internat. Conf. Practical Application Intelligent Agents Multi-Agent Tech, 1996317
-
A Fast Marching Level Set Method for Monotonically Advancing Fronts. Proc. Nat’l Academy of Science, 1996317
-
The Quickhull algorithm for convex hulls. ACM Trans. Mathematical Software, 1996315
-
Usability analysis of visual programming environments: a 'cognitive dimensions' framework. J. Visual Languages and Computing, 1996315
-
Timing attacks on implementations of diffie-hellman, rsa, dss, and other systems. In CRYPTO ’96: Proceedings of the 16th Annual International Cryptology Conference on Advances in Cryptology, 1996312
-
Tamper Resistance – a Cautionary Note, The. Second USENIX Workshop on Electronic, 1996310
-
The Data Warehouse Toolkit 1996308
-
Pivoted document length normalization. In SIGIR, 1996307
-
Data mining: An overview from a database perspective. IEEE Trans. Knowledge and Data Engineering, 1996305
-
Techniques for Data Hiding IBM Syst. J, 1996304
-
Multipurpose Internet Mail Extensions. RFC 2045, Innosoft, First Virtual, 1996304
-
Generalization in Reinforcement Learning: Successful Examples Using Sparse Coarse Coding. In Advances in Neural Information Processing Systems 8, 1996298
-
Mining quantitative association rules in large relational tables. In Proc. of 1996 ACM-SIGMOD Int. Conf. on Management of Data, 1996298
-
Toward optimal feature selection. In Proceedings of the Thirteenth International Conference on Machine Learning, 1996298
-
Thekkath. Petal: Distributed virtual disks. In Proc. 7th ASPLOS, 1996295
-
Combining Fuzzy Information from Multiple Systems. In Proc. of the 5th ACM Symposium on Principles of Database Systems, 1996293
-
Exploiting choice: instruction fetch and issue on an implementable simultaneous multithreading processor. In Proceedings of the 23rd International Symposium on Computer Architecture, 1996293
-
Probabilistic approximation of metric spaces and its algorithmic applications. In Proceedings of the 37th Annual IEEE Symposium on Foundations of Computer Science, 1996289
-
SDSI -- A simple distributed security infrastructure. http://theory.lcs.mit.edu/cis/sdsi.html. In Proc. 17th ACM Symp. on Operating System Principles (SOSP, 1996286
-
efficient image codec based on set partitioning in hierarchical trees IEEE Trans. Circuits and Systems for Video Technology, 1996286
-
Shared memory consistency models: a tutorial. IEEE Computer, 1996286
-
Improv: a system for scripting interactive actors in virtual worlds. In SIGGRAPH ’96: ACM SIGGRAPH 1996 Papers, ACM, 1996280
-
Experimental queueing analysis with long-range dependent traffic. IEEE/ACM Trans. on Networking, 1996275
-
A hierarchical cpu scheduler for multimedia operating systems. In 2 nd OSDI Symposium, 1996274
-
The twin crises: the causes of banking and balance-of-payments problems. Board of Governors of the Federal Reserve System International Finance Discussion Papers No. 544, 1996274
-
Robust characterizations of polynomials with applications to program testing. SIAM J. Comp, 1996273
-
Similarity indexing with the SS-tree Proc. 12th Int. Conf on Data Engineering, 1996273
-
Email overload: exploring personal information management of email. In Proc. of CHI 1996, ACM Press, 1996272
-
Improving data locality with loop transformations. ACM Transactions on Programming Languages and Systems, 1996272
-
A maximum entropy part-of-speech tagger in Proc. of Empirical Methods in Natural Language Processing (EMNLP, 1996271
-
Software agents: An overview. Knowledge Engineering Review Journal, 1996270
-
Multi-modal volume registration by maximization of mutual information. Medical Image Analysis, 1996270
-
Computer support for knowledge-building communities CSCL: Theory and Practice of an Emerging Paradigm, 1996268
-
Syskill and webert: Identifying interesting web sites. in Proceedings of the Thirteenth National Conference on Artificial Intelligence, 1996266
-
Understanding normal and impaired word reading: Computational principles in quasi-regular domains. Psychological Review, 1996266
-
Coalescing in temporal databases. in Proc. of the Intl. Conf. on Very Large Data Bases, 1996266
-
Hierarchical packet fair queueing algorithms. In Proceedings of ACM SIGCOMM ’96, 1996266
-
Trace Cache: a Low Latency Approach to High Bandwidth Instruction Fetching. Proc. of the 29th Annual Int’l Symp. on Microarchitecture, 1996265
-
3-D model-based tracking of humans in action: A multi-view approach. IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR, 1996265
-
Regularization of inverse problems Mathematics and Its Applications, 1996264
-
Exceeding the Dataflow Limit via Value Prediction. Proceedings of MICRO-29, 1996263
-
Monte Carlo filter and smoother for non-Gaussian non-linear state space models Journal of Computational and Graphical Statistics, 1996263
-
Quality-of-service routing for supporting multimedia applications IEEE Journal of Selected Areas in Communications, 1996260
-
Verkamo, Fast discovery of association rules Advances in Knowledge Discovery and Data Mining, 307-328, AAAI Press, Menlo Park, 1996252
-
Job Creation and Destruction 1996252
-
Reactive modules. In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, 1996251
-
Improving elevator performance using reinforcement learning. NIPS-8: Advances in Neural Information Processing Systems: Proceedings of the 1995 Conference, 1996251
-
A calculus of mobile agents. In Proc. 7th CONCUR, LNCS 1119, 1996250
-
Beyond independence: conditions for the optimality of the simple Bayesian classifier. Int Conf Machine Learning, 1996250
-
The virage image search engine: An open framework for image management in: SPIE Proceedings of the Storage and Retrieval for Still Images and Video Databases IV, 1996249
-
Bagging, boosting, and C4.5. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI, 1996247
-
Automatically generating extraction patterns from untagged text. In Proc. of the 13th National Conf. on Artificial Intelligence, 1996247
-
NetSolve: A network server for solving computational science problems. Department of Computer Science, University of Tennessee, 1996245
-
Automatic symbolic verification of embedded systems. IEEE T. Software Eng, 1996241

