Most cited articles in Computer Science - September 2006 (CiteSeer.Continuity)
Generated from documents in the CiteSeer.Continuity database. This list does not include citations where one or more authors of the citing and cited articles match. 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.Continuity database, because the database is continuously updated.
All Years 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006
Next 200
1. Doc Context 4137 [ GJ79 ] M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York, 1979.
2. Book Context 3803 [12] Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to algorithms. The MIT Press, 1991.
3. Doc Context 2697 [25] C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985.
4. Doc Context 2321 3. A.P. Dempster, N.M. Laird, and D.B. Rubin. Maximum Likelihood from Incomplete Data via the EM Algorithm. Journal of the Royal Statistical Society, Series B (Methodological) , 39(1):1--38, 1977.
5. Doc Context 2220 Cover, T. and Thomas, J. (1991). Elements of Information Theory. John Wiley & Sons, New York, NY.
6. Doc Context 2112 [15] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable ObjectOriented Software. Addison-Wesley, Reading, Massachusetts, 1995.
7. Book Context 2064 [ Gol89 ] David E. Goldberg. Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley, Reading, Massachusetts, 1989.
8. Doc Context 2044 Quinlan, J. R. (1993). C4.5: Programs for machine learning. San Mateo, CA: Morgan Kaufmann.
9. Doc Context 2013 Duda, R. O., & Hart, P. E. (1973). Pattern classification and scene analysis. New York, NY: Wiley.
10. Book Context 1932 13. Knuth D (1973) The art of computer programming, Vol. 3: sorting and searching. Addison-Wesley, Reading, Mass.
11. Book Context 1905 [33] R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
12. Book Context 1899 [8] J. Holland. 1975. Adaptation in Natural and Artificial Systems. MIT Press.
13. Doc Context 1882 [4] John Hopcroft and Jeffrey Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 1979.
14. Book Context 1829 [Llo87] J.W. Lloyd. Foundations of Logic Programming (2nd ed). Springer-Verlag, 1987.
15. Book Context 1722 [Fel57] W. Feller. An Introduction to Probability Theory and its Applications, volume 1. John Wiley & Sons, New York, 2nd edition, 1957.
16. Doc
Context 1649 [2] R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35, 8:677-691, 1986.
17. Doc Context 1602 Bishop, C. (1995). Neural Networks for Pattern Recognition. Oxford University Press.
18. Doc
Context 1521 [11] C. Liu and J. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment. Journal of the ACM, 20(1):46--61, Jan. 1973.
19. Book Context 1512 [HP96] J. Hennessy and D. Patterson. Computer Architecture: a Quantitative Approach. Morgan Kaufmann Publishers, 1996.
20. Doc
Context 1510 Kirkpatrick, S., Gelatt, C., & Vecchi, M. (1983). Optimization by simulated annealing.
21. Doc Context 1496 [Pearl, 1988] Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA.
22. Doc
Context 1480 [RSA78] Rivest, R. L., Shamir, A., Adleman, L. A.: A method for obtaining digital signatures and public-key cryptosystems; Communications of the ACM, Vol.21, Nr.2, 1978, S.120-126.
23. Doc Context 1467 [5] D. E. Rumelhart, G. E. Hinton and R. J. Williams, "Learning Internal Representations by Error Propagation", in D. E. Rumelhart and J. L. McClelland (eds.) Parallel Distributed Processing: Explorations in the Microstructure of Cognition (Vol. 1), MIT Press (1986).
24. Doc Context 1425 5. Daubechies, I., Ten Lectures on Wavelets, SIAM, Philadelphia, 1992.
25. Book Context 1413 [2] A.V. Aho, J.E. Hopcroft, and J.D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, MA, 1974.
26. Doc Context 1387 [15] C.E. Shannon. A mathematical theory of communication. Bell System Technical Journal, 27:379--423,623--656, 1948.
27. Book Context 1373 [1] A.V. Aho, R. Sethi, and J.D. Ullman, Compilers: Principles, Techniques, and Tools., Addison-Wesley, 1986.
28. Doc Context 1340 [7] M. Kass, A. Witkin, and D. Terzopoulos. Snakes: active contour models. In First International Conference on Computer Vision, pages 259--268, 1987.
29. Doc Context 1334 [8] J.R. Quinlan. Induction of Decision Trees. Machine Learning, 1. 81--106, 1986.
30. Doc Context 1329 2. Brooks, R.A. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 1986. RA-2(1): p. 14-23.
31. Doc Context 1317 [2] L. R. Rabiner, "A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition," Proc. of the IEEE, Vol.77, No.2, pp.257--286, 1989.
32. Doc
Context 1297 [12] V. Jacobson. Congestion avoidance and control. In ACM SIGCOMM '88, 1988.
33. Doc Context 1285 [18] A. Parekh and R. Gallager. A generalized processor sharing approach to flow control - the single node case. In Proceedings of the INFOCOM'92, 1992.
34. Book Context 1278 [17] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. ObjectOriented Modeling and Design. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
35. Book Context 1260 [26] B. Meyer. Object-oriented software construction. Prentice-Hall, Englewood Cliffs, New Jersey, 1988.
36. Book Context 1235 [13] F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-Verlag, New York, NY, 1985.
37. Book Context 1211 [Vap95] Vladimir N. Vapnik. The Nature of Statistical Learning Theory. Springer, New York, 1995.
38. Book Context 1203 Breiman, L., Friedman, J., Olshen, R. & Stone, C. (1984), Classification and Regression Trees, Chapman & Hall, New York.
39. Doc Context 1195 [5] P. A. Bernstein, V. Hadzilacos, and N. Goodman, "Concurrency Control and Recovery in Database Systems", Addison-Wesley, 1987.
40. Book Context 1191 Salton, G., & McGill, M. J. (1983). Introduction to modern information retrieval. NY: McGraw-Hill.
41. Book Context 1149 Kohonen, T. (1995). Self-Organizing Maps. Springer-Verlag, Berlin.
42. Doc
Context 1146 [7] D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231--274, 1987.
43. Book Context 1108 11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag: Heidelberg, Germany, 1992.
44. Doc
Context 1108 [6] S. Floyd and V. Jacobson. Random early detection gateways for congestion avoidance. IEEE/ACM Transactions on Networking, 1(4):397--413, August 1993.
45. Doc
Context 1069 [12] I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, and H. Balakrishnan. Chord: A scalable peer-to-peer lookup service for Internet applications. Technical Report TR-819, MIT, March 2001.
46. Doc Context 1053 [AS64] Milton Abramowitz and Irene A. Stegun. Handbook of Mathematical Functions, volume 55 of Applied Math Series. National Bureau of Standards, 1964.
47. Doc Context 1039 [11] J.Hertz, A.Krogh, and R.G.Palmer, "Introduction to the theory of neural computation," AddisonWesley (1991).
48. Doc Context 1032 [11] S G Mallat. A theory for multiresolution signal decomposition: The wavelet representation. IEEE Trans Pat Anal Mach Intell, 11:674--693, July 1989.
49. Book Context 1012 [MOV96] Alfred J. Menezes, Paul C. Van Oorschot, and Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
50. Doc Context 1010 [ Koz92 ] John R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, Massachusetts, 1992.
51. Book Context 1005 [20] R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990.
52. Doc Context 1001 [1] J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26:832--843, 1983.
53. Doc Context 1000 [CES86] E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244--263, 1986.
54. Doc Context 954 [Ull88] Ullman J. D.: Principles of Database and Knowledge-Base Systems, Volumes 1 and 2. Computer Science Press, 1988. This article was processed using the L scaled 913a T E X macro package with LLNCS style
55. Doc Context 946 6. F. Thomson Leighton. Introduction to Parallel Algorithms and Architectures: Arrays ffl Trees ffl Hypercubes, volume I. Morgan Kaufmann, San Mateo, CA 94403, 1992.
56. Doc Context 939 [17] C.H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
57. Doc
Context 938 5. J. Canny, "A computational approach to edge detection, " IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 8, pp. 679--698, 1986. 18 Weber and Malik
58. Book Context 922 T. M. Mitchell. 1997. Machine Learning. The McGraw-Hill Companies, Inc.
59. Doc
Context 914 [16] Sylvia Ratnasamy, Paul Francis, Mark Handley, Richard Karp, and Scott Shenker. A scalable content-addressable network. In Proc. ACM SIGCOMM 2001, August 2001.
60. Doc
Context 902 [Schulzrinne93] Schulzrinne, A., Casner, S., "RTP: A Transport Protocol for REAL--Time Applications ", Internet Engineering Task Force, Internet Draft, Oct. 20, 1993.
61. Doc
Context 886 [AIS93] Rakesh Agrawal, Tomasz Imielinski, and Arun Swami. Mining association rules between sets of items in large databases. In Proc. of the ACM SIGMOD Conference on Management of Data, pages 207--216, Washington, D.C., May 1993.
62. Book Context 885 [15] J G Proakis, Digital Communications. McGraw-Hill, New York, 1984.
63. Doc
Context 884 Plotkin, G. 1981. A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Computer Science Dept., Aarhus University, Aarhus, Denmark.
64. Doc Context 882 [12] L. Lamport. Times, clocks, and the ordering of events in a distributed system. CACM, 21(7):558-- 565, July 1978.
65. Book Context 878 [11] J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo, California, 1993.
66. Doc
Context 870 [AS94] Rakesh Agrawal and Ramakrishnan Srikant. Fast Algorithms for Mining Association Rules. In Proc. of the 20th Int'l Conference on Very Large Databases, Santiago, Chile, September 1994.
67. Book Context 869 [Fuk] K. Fukunaga. Introduction to statistical pattern recognition (2nd ed). Academic Press, Boston 1990.
68. Doc Context 868 [5] Richard Fikes and Nils Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. In James Allen, James Hendler, and Austin Tate, editors, Readings in Planning. Morgan Kaufmann, 1990.
69. Doc Context 858 19. S. Blake, D. Black, M. Carlson, E. Davies, Z. Wang, and W. Weiss, "An architecture for differentiated services," Internet Draft, IETF Diffserv Working Group, August 1998. ftp://ftp.ietf.org/internet-drafts/draft-ietf-diffservarch -01.txt.
70. Doc
Context 854 [11] J. K. Ousterhout, Tcl and the Tk Toolkit (Reading : Addison-Wesley, 1994).
71. Book Context 851 [2] N. Alon and J.H. Spencer. The Probabilistic Method. Wiley, 1992.
72. Doc
Context 845 [Gosling] Gosling J., Joy B., & Steele G., The Java Language Specification, Addison Wesley, 1997.
73. Doc
Context 842 [23] Message Passing Interface Forum. MPI: A Message-Passing Interface Standard, Mar 1994.
74. Doc Context 836 [23] A.V. Aho, R. Sethi, and J.D Ullman. Compilers Principles, Techniques and Tools. March 1988.
75. Doc Context 836 Reiter, R. 1980. A Logic for Default Reasoning. Artificial Intelligence 13:81--132.
76. Doc Context 823 [10] F.J. MacWilliams and N.J.A. Sloane. The Theory of Error-Correcting Codes. North-Holland, Amsterdam, 1977.
77. Doc
Context 813 Gelfond, M., and V. Lifschitz. 1988. The Stable Model Semantics for Logic Programming. In Proceedings of the 5th International Conference on Logic Programming, 1070--1080. Seattle, USA, August. The MIT Press.
78. Doc Context 807 [3] J.D. Foley, A. van Damm, S.K. Feiner, and J.F. Hughes. Computer Graphics - Principles and Practice. Addison Wesley, second edition, 1992.
79. Book Context 797 [10] S. Haykin. Adaptive Filter Theory. Prentice Hall, Englewood Cliffs, NJ, second edition, 1991.
80. Doc Context 796 [7] J. Y. Girard. Linear Logic. Theoretical Computer Science, 50(1):1 -- 102, 1987.
81. Doc Context 782 Cousot, P. and Cousot, R. 1977. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symposium on Principles of Programming Languages (POPL '77 ). ACM Press, New York, 238--252.
82. Doc Context 760 7. R. Motwani and P. Raghavan. Randomized Algorithms. Cambridge University Press, New York (NY), 1995.
83. Doc Context 756 [52] R.M. Karp. Reducibility Among Combinatorial Problems. In Complexity of Computer Computations, (Raymond E. Miller and James W. Thatcher, eds.), Plenum Press, pages 85--103, 1972.
84. Doc Context 754 [5] K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293--322. Plenum, New York, NY, 1978.
85. Doc
Context 753 [2] High Performance Fortran Forum. High Performance Fortran Language Specification. Technical report, Rice University, Dept. Computer Science, October 1992.
86. Doc Context 751 [7] A. Demers, S. Keshav, and S. Shenker. Analysis and simulation of a fair queueing algorithm. In Journal of Internetworking Research and Experience, pages 3--26, October 1990. Also in Proceedings of ACM SIGCOMM'89, pp 3-12.
87. Doc Context 748 [33] A. Guttman. R-trees: A dynamic index structure for spatial searching. Proceedings of the SIGMOD Conference, pages 47--57, 1984.
88. Doc
Context 744 11. S. Floyd, V. Jacobson, S. McCanne, C.-G. Liu, and L. Zhang, "A reliable multicast framework for light-weight sessions and application level framing," in Proc. ACM SIGCOMM'95., pp. 342--356, August 1995.
89. Book Context 742 1. Russell S, Norvig P (1995) Artificial Intelligence: A Modern Approach, Prentice Hall Series in Artificial Intelligence. Englewood Cliffs, New Jersey
90. Doc Context 740 [5] B. Horn and B. Schunck, "Determining optical flow," Artif. Intell., vol. 17, pp. 185--203, 1981.
91. Doc Context 733 [48] A.K. Jain and R.C. Dubes. Algorithms for Clustering Data. Prentice Hall, Englewood Cliffs NJ, U.S.A., 1988.
92. Doc
Context 733 [7] N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243--320. Elsevier, 1990.
93. Doc Context 730 18. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. AddisonWesley, 1996.
94. Doc Context 730 2. E. Clarke, O. Grumberg, and D. Long. Model Checking. In Proceedings of the International Summer School on Deductive Program Design, Marktoberdorf, Germany, 1994.
95. Doc Context 730 [9] I. Daubechies. Orthonormal bases of compactly supported wavelets. Comm. Pure and Appl. Math., 41:909--996, 1988.
96. Book Context 725 [1] Arnold, Ken, and James Gosling, The Java Programming Language, Addison-Wesley (1996).
97. Doc Context 724 [6] J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufman, San Mateo, California, 1988.
98. Doc
Context 719 [12] G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97---Object-Oriented Programming, 11th European Conference, LNCS 1241, pages 220--242, 1997.
99. Doc Context 718 [37] L. G. Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8):103--111, Aug. 1990.
100. Doc Context 713 [Mil78] Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348--375, Dec 1978.
101. Book Context 711 [10] A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons Ltd., 1986.
102. Book Context 710 [2] S. Abiteboul, R. Hull, and V. Vianu. Foundations of databases. Reading, MA, 1995.
103. Doc Context 709 [FLP85] M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374--382, 1985.
104. Book Context 705 [7] R. C. Gonzalez and P. Wintz. Digital Image Processing. Addison-Wesley, Reading, MA, second edition, 1987.
105. Doc Context 705 [3] Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics, second ed., vol. II of Studies in Logic and the Foundations of Mathematics. North-Holland, 1984.
106. Doc Context 697 4. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996--1072. Elsevier, 1990.
107. Doc
Context 695 [3] J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking 10 20 states and beyond. Information and Computation, 98(2):142--170, June 1992.
108. Doc Context 692 [18] G.H. Golub and C.F. Van Loan, "Matrix Computations," John Hopkins University Press, 1993.
109. Doc Context 690 [5] A. K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8:99--118, 1977.
110. Doc Context 690 Haykin, S. (1994). Neural Networks: A Comprehensive Foundation. IEEE Press/Macmillan College Publishing Company, New York.
111. Doc
Context 685 [57] Kai Li and Paul Hudak. Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321--359, November 1989.
112. Book Context 678 [24] T. Kohonen. Self-Organization and Associative Memory. SpringerVerlag, Berlin, 3rd edition, 1989.
113. Doc
Context 678 [12] L. Zhang, S. Deering, D. Estrin, S. Shenker, and D. Zappala, "RSVP: A New Resource ReSerVation Protocol," IEEE Network, September 1993.
114. Doc Context 677 [7] P. Ciarlet, The Finite Element Method for Elliptic Problems, North-Holland, 1978.
115. Book Context 677 [6] Berthold K.P. Horn. Robot Vision. MIT-Press, McGraw-Hill, 1986.
116. Doc Context 676 [3] K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.
117. Doc Context 676 [33] Y. Saad and M. H. Schultz. GMRES: A generalized minimal residual algorithm for solving nonsymmetric linear systems. SIAM J. Sci. Stat. Comput., 7:856--869, 1986.
118. Doc Context 672 [GJ79] M. R. Garey and D. S. Johnson. Computers and intractability. A Guide to the theory of NP-completeness. W. H. Freeman and Company, New York, 1979.
119. Doc
Context 671 Johnson, D. and Maltz, D. (1996). "Dynamic source routing in ad hoc wireless networks," in Mobile Computing (ed. T. Imielinski and H. Korth), Kluwer Academic Publishers, Dordrecht, The Netherlands.
120. Doc
Context 671 [4] J. Shapiro. Embedded image coding using zerotrees of wavelet coefficients. IEEE Transactions on Signal Processing, 41(12):3445--3462, Dec. 1993.
121. Doc Context 666 [9] R. Fletcher, Practical Methods of Optimization, Wiley, 1987.
122. Doc Context 661 [4] Blake, C., Keogh, E. and Merz, C.J. (1998). UCI Repository of machine learning databases
123. Book Context 660 [7] Bruce Schneier. Applied Cryptography (2nd ed.). John Wiley and Sons, Inc., New York, 1996.
124. Doc Context 660 [8] R. A. Horn and Ch. R. Johnson, Matrix Analysis. Cambridge University Press, Cambridge, 1985.
125. Doc
Context 658 [22] C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
126. Doc Context 653 Merz, C. J., Murphy, P. M., & Aha, D. W. (1997). UCI repository of machine learning databases.
127. Doc
Context 652 [1] W. E. Leland, M. Taqqu, W. Willinger, D. V. Wilson, "On the Self-Similar Nature of Ethernet Traffic," Proc. SIGCOM93, 1993, San Francisco, California, pp. 183-193.
128. Doc Context 651 [18] Booch, Grady, Object-Oriented Analysis and Design with Applications (2nd ed.), Benjamin/ Cummings, Redwood City, CA, 1994.
129. Doc Context 650 [13] J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463 -- 502. Edinburgh University Press, 1969.
130. Doc Context 639 [6] E.W. Dijkstra, A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J. (1976).
131. Doc Context 638 Watkins, CJCH (1989). Learning from Delayed Rewards. PhD Thesis. University of Cambridge, England.
132. Book Context 632 [6] Anil K. Jain. Fundamentals of Digital Image Processing. Prentice Hall, Englewood Cliffs, NJ, 1989.
133. Doc Context 629 P.E. Gill, W. Murray, and M.H. Wright. Practical Optimization. Ac. Press, 1981.
134. Doc Context 628 [Rob65] J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12:23--41, 1965.
135. Doc Context 628 13. Shamir, A.: How to Share a Secret, Comm. Assoc. Comput. Mach., vol.22, no.11, pp.612--613 (Nov. 1979)
136. Doc Context 627 [Booch et al. 97] Booch G., Rumbaugh J., Jacobson I., Unified Modeling Language User Guide, AddisonWesley Longman, to be published, 1997.
137. Doc Context 626 [9] Lynch, N. (1996). Distributed Algorithms. Morgan Kaufman, S Fco.
138. Doc
Context 623 [4] J.L. Elman. Finding structure in time. Cognitive Science, 14:179--211, 1990.
139. Book Context 622 [25] A. Tanenbaum, Computer Networks, Prentice Hall, second edition, 1989.
140. Doc Context 620 [11] M. Flickner, H. Sawhney, W. Niblack, J. Ashley, Q. Huang, and B. Dom et al. Query by Image and Video Content: The QBIC System. IEEE Computer, 28(9), 1995.
141. Doc Context 618 [18] C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12:576--580, 1969.
142. Doc Context 617 Agha, G. (1988) Actors: a model of concurrent computation in distributed systems. MIT Press.
143. Doc Context 615 [Samb] Hanan Samet, The Design and Analysis of Spatial Data Structures, Addison-Wesley, 1989.
144. Doc Context 615 [6] Lawrence Rabiner und Biing-Hwang Juang. Fundamentals of Speech Recognition. Prentice Hall PTR. ISBN 0-13-015157-2. 1993.
145. Doc Context 615 [5] J. Postel (ed.). Transmission control protocol. RFC-793, Sept. 1981.
146. Book Context 614 [12] D. E. Dennis, Jr. and R.B. Schnabel. Numerical Methods for Unconstrained Optimization and Nonlinear Equations. Prentice-Hall, Englewood Cliffs, 1983.
147. Doc
Context 614 [6] I. Foster and C. Kesselman, `Globus: A Metacomputing Infrastructure Toolkit', Proceedings of the Workshop on Environments and Tools for Parallel Scientific Computing, SIAM, Lyon, France, August 1996.
148. Doc Context 614 Metropolis, N., Rosenbluth, A., Rosenbluth, R., Teller, A. & Teller, E. (1953). Equation of state calculations by fast computing machines. J. Chem. Phys. 21, 1087±1092.
149. Doc Context 614 [8] P.P-S. Chen, `The Entity Relationship Model - Towards a Unified View of Data', ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976, pp. 9-36.
150. Doc Context 613 Wilkinson, J. H., 1965, The Algebraic Eigenvalue Problem, Oxford University Press.
151. Doc
Context 613 [DH] W.Diffie and M.E.Hellman, "New directions in cryptography," IEEE Trans. Inform. Theory, IT-22, 6, 1976, pp.644-654.
152. Doc Context 612 [26] R. Cattell, editor. The Object Database Standard: ODMG-93. Morgan Kaufman, 1993.
153. Doc Context 609 [3] Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
154. Doc
Context 602 [5] N.J. Boden, D. Cohen, R.E. Felderman, A.E. Kulawik, C.L. Seitz, J.N. Seizovic, and W. Su. Myrinet: A Gigabit-per-second Local Area Network. IEEE Micro, 15(1):29--36, February 1995.
155. Doc Context 597 [11] Billingsley, P. (1968) Convergence of Probability Measures. Wiley, New York.
156. Doc
Context 596 1. M. Bellare and P. Rogaway. Random Oracles are Practical: a Paradigm for Designing Efficient Protocols. In Proceedings of the 1st ACM Conference on Computer and Communications Security, pages 62--73, Fairfax, Virginia, U.S.A., 1993. ACM press.
157. Doc Context 594 24. R. T. Rockafellar, Convex Analysis. Princeton University Press, 1970.
158. Doc
Context 594 [11] R. Braden, D. Clark, and S. Shenker. Integrated services in the internet architecture: an overview. Request for Comments (Informational) RFC 1633, Internet Engineering Task Force, June 1994.
159. Doc Context 594 [Clark90] Clark, D., Tennenhouse, D., " Architectural Considerations for a New Generation of Protocols," Proc. SIGCOMM'10 Symposium, Sept. 1990, pp. 200--208.
160. Doc Context 594 [13] I. Foster and C. Kesselman (Eds). The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, 1999.
161. Doc
Context 593 [1] M. Li and P.M.B. Vitanyi. An Introduction to Kolmogorov Complexity and Its Applications. Springer-Verlag, New York, second edition, 1997.
162. Doc
Context 590 Pollard, C. and I. Sag (1994). Head-driven Phrase Structure Grammar. Chicago: CSLI Publications.
163. Doc Context 589 [52] Leslie Lamport. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9), September 1979.
164. Doc Context 588 [5] O. Faugeras. Three-Dimensional Computer Vision: a Geometric Viewpoint. MIT Press, 1993.
165. Doc Context 585 [16] K. Hornik, M. Stinchcombe, and H. White. Multilayer feedforward networks are universal approximations. Neural Networks, 2:359--366, 1989.
166. Doc Context 579 [ElGa85] ElGamal, T.,: A Public Key Cryptosystem and a Signature Scheme based on Discrete Logarithms; IEEE Transactions on Information Theory, Vol.31, Nr.4, July 1985, S.469-472
167. Doc
Context 576 [3] V. Paxson and S. Floyd, "Wide-area Traffic: The Failure of Poisson Modeling," IEEE/ACM Transactions on Networking, pp.226-244, June 1995.
168. Doc Context 572 [ Dav91 ] Lawrence Davis. Handbook of Genetic Algorithms, chapter 6, pages 72-- 90. Van Nostrand Reinhold, New York, 1991.
169. Doc Context 570 [B97] Bradner, S., "Key words for use in RFCs to Indicate Requirement Levels", BCP 14, RFC 2119, March 1997.
170. Doc Context 564 [10] T. Kato (1966). Perturbation Theory for Linear Operators. Springer Verlag, New York.
171. Doc Context 563 [6] Chandy, K. M., and Lamport, L. Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst. 3 (1985), 63--75.
172. Doc Context 563 [95] J. Serra. Image Analysis and Mathematical Morphology. Academic Press, London, 1982.
173. Doc Context 562 [GJ79] Michael R. Garey and David S. Johnson. Computers and Intractability. Freeman, 1979.
174. Book Context 562 [13] Shafer,G., A mathematical theory of evidence, Princeton University Press. 1976.
175. Doc Context 557 [13] S.L. Lauritzen and D.J. Spiegelhalter. Local computations with probabilities on graphical structures and their application to expert systems. J. Roy. Stat. Soc., B 50, 1988.
176. Doc
Context 557 Sutton, R. S., & Barto, A. G. (1998). Reinforcement learning: An introduction. Cambridge, MA: MIT Press.
177. Doc Context 557 [4] Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen. Extensible markup language (XML) 1.0. Recommendation, W3C, February 1998. http://www.w3.org/TR/1998/REC-xml19980210.
178. Doc Context 553 [34] Michael Gordon and T. Melham. Introduction to HOL: A Theorem Proving Environment for Higher-Oder Logic. University Press, Cambridge, 1993.
179. Doc Context 551 [1] C. Berrou, A Glavieux, and P. Thitimajshima, "Near Shannon Limit Error-Correcting Coding and Decoding: Turbo-Codes", Proceedings of IEEE International Communications Conference, 1993.
180. Doc Context 551 J. Jaffar, J.-L. Lassez. "Constraint Logic Programming." in Proc. of the 14th ACM Symposium on Principles of Programming Languages, Munich, pp. 111 - 119, 1987.
181. Doc Context 550 [16] Mac Lane S. Categories for the Working Mathematician. Springer-Verlag (1971).
182. Doc
Context 550 [14] J. Padhye, V. Firoiu, D. Towsley, and J. Kurose. Modeling TCP throughput: a simple model and its empirical validation. ACMSIGCOMM, September 1998.
183. Doc
Context 548 [15] Jon Kleinberg. Authoritative sources in a hyperlinked environment. Technical Report RJ 10076, IBM, May 1997.
184. Doc Context 547 Shaw, Mary and David Garlan. 1996. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall.
185. Doc
Context 544 [26] J. Broch, D. A. Maltz, D. B. Johnson, Y. C. Hu, and J. Jetcheva. A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols. In Proc. of the ACM/IEEE MobiCom, October 1998.
186. Doc Context 544 [14] W. C. Jakes. Jr., et al., Microwave mobile communications. New York: Wiley, 1974.
187. Doc
Context 542 [24] C. Perkins and P. Bhagwat. Highly Dynamic Destination-Sequenced Distance-Vector Routing (DSDV) for Mobile Computers. In Proc. of the ACM SIGCOMM, October 1994.
188. Doc
Context 541 [1] V. S. Sunderam, "PVM: A framework for parallel distributed computing," Concurrency: Practice and Experience, vol. 2(4), pp. 315--339, Dec. 1990.
189. Doc
Context 540 Sutton, R. S. (1988). Learning to predict by the method of temporal differences. Machine Learning 3(1): 9-44.
190. Doc
Context 540 [2] T. von Eicken, D.E. Culler, S.C. Goldstein, and K.E. Schauser. Active Messages: a Mechanism for Integrated Communication and Computation. In The 19th Annual International Symposium on Computer Architecture, pages 256--266, Gold Coast, Australia, May 1992.
191. Book Context 537 [16] I. Jacobson and et al. Object-Oriented Software Engineering - A Use-case Driven Approach. Addison-Wesley, 1992.
192. Doc Context 536 [9] S. Geman and D. Geman, "Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images," IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 6, pp. 721--741, 1984.
193. Doc Context 535 GHJ+94 Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, Massachusetts: Addison-Wesley, 1994.
194. Doc
Context 535 [7] G. Necula. Proof-carrying code. In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97), January 1997.
195. Doc
Context 535 Deerwester, S., Dumais, S. T., Furnas, G. W., Landauer, T. K., & Harshman, R. (1990). Indexing by latent semantic analysis. Journal of the American Society for Information Science, 41(6), 391-407.
196. Book Context 532 [FHMV95] R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
197. Doc Context 531 [Ho] J.J. Hopfield, "Neural networks and physical systems with emergent collective computational abilities", Proc. Natl. Acad. Sci. USA 79, 2554-2558 (1982).
198. Doc Context 531 Bondy, J. A. and Murty, U. S. R. (1976). Graph Theory with Applications, American Elsevier, New York, and Macmillan, London.
199. Book Context 530 [19] Z. Michalewicz. Genetic algorithms + data structures = evolution programs. SpringerVerlag, 1992.
200. Doc
Context 525 3. D. Ferrari and D. Verma, A Scheme for Real-Time Channel Establishment in Wide-Area Networks, IEEE J. on Selected Areas in Communications, April 1990.
Next 200
CiteSeer.Continuity homepage
CiteSeer.Continuity - Copyright NEC and IST