Most cited articles in Computer Science - 401 to 600 - 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     Previous 200

401.   Doc     Context   383   Gelfand, A. E., and Smith, A. F. M. , 1990, Sampling-based approaches to calculating marginal densities. Journal of the American Statistical Association 85, 398-409.

402.   Doc     Context   382   [GBLP96] J. Gray, A. Bosworth, A. Layman, and H. Pirahesh. Data cube: A relational aggregation operator generalizing group-by, cross-tab, and sub-totals. In Proc. 12th ICDE, pages 152--159, New Orleans, March 1996.

403.   Doc     Context   382   12. V.Ya.Tikhonov and A.N.Arsenin, Solution of ill-posed problems, Winston-Wiley, New York (1977).

404.   Doc     Context   382   [Koh82] Teuvo Kohonen. Self-organized formation of topologically correct feature maps. Biological Cybernetics, 43:59-69, 1982.

405.   Doc     Context   381   [7] Ian Clarke, Oskar Sandberg, Brandon Wiley, and Theodore W. Hong. Freenet: A Distributed Anonymous Information Storage and Retrieval System. In Proc. of the ICSI Workshop on Design Issues in Anonymity and Unobservability, Berkeley, CA, 2000. International Computer Science Institute.

406.   Doc     Context   381   Jacobs, R.A., M.I. Jordan, S.J. Nowlan & G.E. Hinton (1991), Adaptive Mixtures of Local Experts, in Neural Computation 3, pp. 79-87.

407.   Doc     Context   381   [2] T. Dean and M. Boddy, "An Analysis of Time-Dependent Planning," in Proc. National Conf. on Artificial Intelligence, pp. 49--54, 1988.

408.   Doc     Context   379   [Kubiatowicz00] J. Kubiatowicz, et al. OceanStore: An Architecture for Global-Scale Persistent Storage. ASPLOS, December 2000.

409.   Doc     Context   378   [5] A. Cohen, I. Daubechies, and J. Feauveau. Bi-orthogonal bases of compactly supported wavelets. Comm. Pure and Appl. Math., 45:485--560, 1992.

410.   Doc     Context   378   Cardelli, L., & Wegner, P. 1985. On Understanding Types, Data Abstraction, and Polymorphism.

411.   Doc     Context   377   [2] R. M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44--67, January 1977.

412.   Doc     Context   377   5. M. Davis, G. Logemann, and D. Loveland. A machine program for theoremproving. Comms. ACM, 5:394--397, 1962.

413.   Doc     Context   376   [31] T. Poggio and F. Girosi. Network for approximation and learning. Proc. IEEE, 78(9):1481--1497, September 1990.

414.   Doc     Context   376   [5] P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213--261, 1990.

415.   Doc     Context   376   [3] R. E. Moore, Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ (1966).

416.   Doc     Context   376   [1] D. Tennenhouse, J. Smith, W. Sincoskie, D. Wetherall, and G. Minden. A Survey of Active Network Research. IEEE Communications Magazine, pages 80--86, January 1997.

417.   Doc     Context   375   [30] Ronald L. Rivest. The MD5 message-digest algorithm. Internet Request for Comments, April 1992. RFC 1321.

418.   Doc     Context   374   [10] O. Khatib. Real-Time Obstacle Avoidance for Manipulators and Mobile Robots. The International Journal of Robotics Research, 5(1), 1986.

419.   Doc     Context   373   [Srivastava94] Amitabh Srivastava and Alan Eustace. ATOM: A System for Building Customized Program Analysis Tools. In Proceedings of the 1994 Conference on Programming Language Design and Implementation (PLDI), pages 196--205, June 1994.

420.   Doc     Context   373   [23] R. Sandberg, D. Boldberg, S. Kleiman, D. Walsh, and B. Lyon. Design and Implementation of the Sun Network Filesystem. In Summer Usenix Conference Proceedings, pages 119--130, June 1985.

421.   Book   Context   373   GLS96. James Gosling, Bill Joy, and Guy Steele. The Java language specification. Java Series, Sun Microsystems, ISBN 0-201-63451-1, 1996.

422.   Doc     Context   372   [13] S. Floyd. Link-sharing and Resource Management Models for Packet Networks, preprint, 1993.

423.   Doc     Context   372   [2] Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc Fiuczynski, David Becker, Craig Chambers, and Susan Eggers. Extensibility, safety and performance in the SPIN operating system. In 1995 ACM Symposium on Operating Systems Principles, 1995. To appear.

424.   Doc     Context   372   [War83] D. H. D. Warren. An abstract prolog instruction set. Tech. Note 309, SRI International, 1983.

425.   Doc     Context   372   Gruber, T.R. (1993). A Translation Approach to Portable Ontology Specifications, Knowledge Acquisition, Vol.5, pp.199-220.

426.   Doc     Context   370   B. Kuipers. Modeling spatial knowledge. Cognitive Science, 2:129--153, 1978.

427.   Book   Context   370   [3] M. F. Barnsley, Fractals Everywhere. London: Academic Press Inc., 1988.

428.   Doc     Context   370   Jul, E., Levy, H., Hutchinson, N. & Black, A. (1988) Fine-grained mobility in the emerald system. ACM Transactions on Computer Systems, 6(1), 109-133.

429.   Doc     Context   369   [KB70] Knuth, D.E., Bendix, P.B.: Simple Word Problems in Universal Algebra, Computational Algebra, J. Leech, Pergamon Press, 1970, pp. 263 -- 297.

430.   Doc     Context   368   [63] L. Tierney. Markov chains for exploring posterior distributions. Annals of Statistics, 22:1701--1762, 1994.

431.   Doc     Context   368   [25] W. R. Stevens, UNIX Network Programming. Englewood Cliffs, New Jersey: Prentice-Hall, 1990.

432.   Doc     Context   367   [Fahlman-90.2] S. E. Fahlman and C. Lebiere. The cascade-correlation learning architecture. Technical Report CMU-CS-90-100, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1990.

433.   Doc     Context   367   [23] M. Lam, E. Rothberg, and M. Wolf. The cache performance and Optimizations of Blocked Algorithms. In In Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems, Santa Clara,CA, April 1991.

434.   Doc     Context   367   [34] Michael Kifer, Georg Lausen, and James Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Technical Report 90/14, Department of Computer Science, State University of New York at Stony Brook (SUNY), June 1990. Superseded by [35].

435.   Doc     Context   366   [19] D.S. Johnson, C.R. Aragon, L.A. McGeoch, and C. Schevon. Optimization by simulated annealing: An experimental evaluation, Part II. Journal of Operations Research, 1990.

436.   Doc     Context   366   [9] Widrow, B. and S.D. Stearns (1985), Adaptive Signal Processing. Prentice Hall, Englewood Cliffs, NJ.

437.   Doc     Context   366   Blum, A. and Furst, M.L. (1995). Fast planning through planning graph analysis. Proc. IJCAI-95, Montreal, Canada.

438.   Doc     Context   366   [41] Pete Keleher, Sandhya Dwarkadas, Alan Cox, and Willy Zwaenepoel. Treadmarks: Distributed shared memory on standard workstations and operating systems. In Proceedings of the 1994 Winter Usenix Conference, pages 115--131, January 1994.

439.   Doc     Context   365   Michalski, R. S. (1983). Theory and methodology of inductive learning. In Michalski, R. S., Carbonell, J. G., & Mitchell, T. M. (Eds.), Machine learning: An artificial intelligence approach (pp. 323--348). Tioga Publishing Co.

440.   Doc     Context   365   [Var] R.S. Varga, Matrix Iterative Analysis, Prentice Hall, 1962.

441.   Doc     Context   365   [vH90] P. van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1990.

442.   Doc     Context   365   [10] Leslie Lamport. Time, Clocks and the Ordering of Events in a Distributed System. CACM, 7(21), July 1978.

443.   Book   Context   364   [14] H. B. Enderton. A mathematical introduction to logic. Academic Press, 1972.

444.   Doc     Context   364   [8] S. Goldwasser and S. Micali. Probabilistic Encryption. Journal of Computer and System Sciences 28:270--299, April 1984.

445.   Doc     Context   364   [6] Lee Breslau, Pei Cao, Li Fan, Graham Phillips, and Scott Shenker. Web Caching and Zipf-like Distributions: Evidence and Implications. Technical Report 1371, Computer Sciences Dept, Univ. of Wisconsin-Madison, April 1998.

446.   Doc     Context   363   [23] Harper, R., Honsell, F., and Plotkin, G. A framework for defining logics. In Proceedings Symposium on Logic in Computer Science (Washington, D.C., 1987), IEEE Computer Society Press, pp. 194--204.

447.   Doc     Context   363   Barendregt, H. 1992. Lambda Calculi with Types. In: Abramsky, G., & Maibaum (eds), Handbook of Logic in Computer Science, vol. II. Oxford University Press.

448.   Doc     Context   362   [25] L. Zhang. Virtual Clock: A New Traffic Control Algorithm for Packet Switching Networks. In Proceedings of SIGCOMM, 1990.

449.   Doc     Context   362   1. Agre, P.E. and D. Chapman. Pengi: an implementation of a theory of activity, in AAAI-87. 1987. Seattle, WA: Morgan Kaufmann.

450.   Doc     Context   361   [63] M. Rosenblum and J. Ousterhout. The design and implementation of a log-structured file system. Proceedings of the 13th Symposium on Operating System Principles, pages 1--15, October 1991.

451.   Doc     Context   361   [Ber95b] D. P. Bertsekas, Nonlinear Programming, Athena Scientific, Belmont, MA, 1995.

452.   Book   Context   361   [14] R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, New York, 1979.

453.   Book   Context   360   [CM87] W.F. Clocksin and C.S. Mellish. Programming in Prolog (3rd ed). Springer-Verlag, 1987.

454.   Doc     Context   360   Besag, J. (1974). Spatial interaction and the statistical analysis of lattice systems. Journal of the Royal Statistical Society. Ser. B 6, 192--236.

455.   Doc     Context   360   [7] L. Cardelli, A Semantics of Multiple Inheritance, Information and Computation 76 (1988) 138-164.

456.   Doc     Context   360   [12] R. G. Gallager, Information Theory and Reliable Communication, John Wiley & Sons, 1968.

457.   Doc     Context   359   [CE81] Clarke, E. and Emerson, E.A. (1981), Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic, in "Proceedings, Workshop on Logic of Programs," LNCS 131, Springer-Verlag.

458.   Doc     Context   359   [Hoe63] W. Hoeffding. Probability inequalities for sums of bounded random variables. J. Amer. Statist. Assoc., 58:13-- 30, 1963.

459.   Doc     Context   359   [Rousseeuw and Leroy, 1987] P.J Rousseeuw and A.M. Leroy. Robust Regression and Outlier Detection. J. Wiley, New York, New York, 1987.

460.   Book   Context   359   [6] I. Gradshteyn and I. Ryzhik, Table of integrals, series, and products, Academic Press, Inc., 1250 Sixth Avenue, San Diego CA 92101-4311, 5th ed., 1994.

461.   Book   Context   358   [HP90] John L. Hennesy and David A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 1990.

462.   Doc     Context   358   [23] J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503 -- 581, 1994.

463.   Doc     Context   358   Porter, M. F. (1980). An algorithm for suffix stripping. Program, 14(3):130--137.

464.   Doc     Context   356   Isidori, A. (1989). Nonlinear Control Systems.

465.   Doc     Context   356   [26] L.P. Kaelbling, L.M. Littman and A.W. Moore, "Reinforcement learning: a survey," Journal of Artificial Intelligence Research, vol. 4, pp. 237--285, 1996.

466.   Doc     Context   356   [5] K. Birman and T. Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems, 5:47--76, February 1987.

467.   Doc     Context   356   [7] A. Chankhunthod, P. B. Danzig, C. Neerdaels, M. F. Schwartz, and K. J. Worrell. A Hierarchical Internet Object Cache. In Proceedings of the 1996 USENIX Technical Conference, Jan. 1996.

468.   Doc     Context   356   [14] V. D. Park and M. S. Corson, "A highly adaptive distributed routing algorithm for mobile wireless networks," in IEEE Infocom, 1997.

469.   Doc     Context   356   [27] Witkin, A.P. "Scale-Space Filtering," Readings in Computer Vision - Issues, Problems, Principles and Paradigms, Morgan Kaufmann, p.329-332, 1987.

470.   Doc     Context   356   [4] V. I. Arnold, Mathematical Methods for Classical Mechanics, Springer-Verlag, 1978.

471.   Doc     Context   355   Rabiner, L., & Juang, B. (1986). An introduction to hidden Markov models. IEEE ASSP Magazine.

472.   Doc     Context   355   [4] J.L. Carter and M.N. Wegman, " Universal classes of hash functions", JCSS No. 18, 1979, 143-154.

473.   Doc     Context   355   [3] R. Barrett, M. Berry, T. F. Chan, J. W. Demmel, J. Donato, J. Dongarra, V. Eijkhout, R. Pozo, C. Romine, and H. A. van der Vorst, TEMPLATES for the Solution of Linear Systems: Building Blocks for Iterative Methods, SIAM, 1993.

474.   Doc     Context   355   [9] G.Cybenko, "Approximation by superpositions of a sigmoidal function," Mathematics of Control, Signals, and Systems, Vol.2, No.4, pp.303-314, 1989.

475.   Doc     Context   355   [13] James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.

476.   Book   Context   353   Simon, H. A. (1981). The Sciences of the Artificial (Second edition) . MIT Press, Cambridge, MA.

477.   Doc     Context   353   5. A. Said and W. A. Pearlman, "A new fast and efficient image codec based on set partitioning in hierarchical trees," IEEE. Trans. Circ. Syst. Video Tech. 6, pp. 243--250, June 1996.

478.   Doc     Context   353   [28] T. M. Mitchell, R. Keller, and S. Kedar-Cabelli, Explanation-Based Generalization: A Unifying View, Machine Learning 1 (1986) 47--80.

479.   Doc     Context   353   [BT96] D. P. Bertsekas and J. N. Tsitsiklis, Neuro-Dynamic Programming, Athena Scientific, Belmont, MA, 1996.

480.   Doc     Context   353   [Mur89] T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541--580, April 1989.

481.   Doc     Context   352   [8] William B. Pennebaker and Joan L. Mitchel. JPEG: Still Image Data Compression Standard. Van Nostrand Reinhold, 1993.

482.   Doc     Context   351   [15] D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, chapter 10, pages 497--604. D. Reidel, Dordrecht, 1984.

483.   Doc     Context   350   [1] Arora, Lund C., Motwani R., Sudan M., Szegedy M.: Proof verification and hardness of approximation problems. Proceedings of the 33rd IEEE Symposium on Foundations on Computer Science, 1992, 14-23.

484.   Doc     Context   350   [1] Serge Abiteboul. Querying semi-structured data. In Proceedings of ICDT, Jan 1997.

485.   Doc     Context   349   Wolpert, D.H. (1992), Stacked Generalization, Neural Networks, Vol. 5, pp. 241-259, Pergamon Press.

486.   Doc     Context   349   [5] M. S. Lam, "Software pipelining: An effective scheduling technique for VLIW machines," in Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, pp. 318--328, June 1988.

487.   Doc     Context   349   [1] R. Alverson, D. Callahan, D. Cummings, B. Koblenz, A. Porterfield, and B. Smith, "The Tera computer system," in Conf. Proc., 1990 ICS, Amsterdam, The Netherlands, pp. 1--6, Jun. 1990.

488.   Doc     Context   349   [2] Yang-Hua Chu, Sanjay Rao, and Hui Zhang. A case for end system multicast. In Proceedings of ACM Sigmetrics, Santa Clara, CA, 2000.

489.   Doc     Context   348   3. J. Lambek and P. J. Scott. Introduction to Higher Order Categorical Logic. Cambridge Studies in Advanced Mathematics Vol. 7. Cambridge University Press, 1986.

490.   Doc     Context   347   [Mat88] F. Mattern. Virtual time and global states of distributed systems. In M. Cosnard, editor, Proceedings of Parallel and Distributed Algorithms. Elsevier Science Publishers, 1988. Also in: Report No. SFB124P38/88, Dept. of Computer Science, University of Kaiserslautern.

491.   Doc     Context   346   [19] R. K. Ahuja, T. L. Magnanti, and J. B. Orlin, Network Flows: Theory, Algorithms, and Applications, Prentice Hall, 1993.

492.   Doc     Context   346   [7] G.E.P. Box and G.M. Jenkins. Time Series Analysis: Forecasting and Control. Holden-Day, San Francisco, 1970.

493.   Book   Context   346   [14] G. Fox, M. Johnson, G. Lyzenga, S. Otto, J. Salmon, and D. Walker. Solving Problems on Concurrent Processors, volume 1. and 2. Prentice Hall, Englewood Cliffs, NY, 1988.

494.   Doc     Context   346   [12] J. Kuskin et al. The Stanford FLASH Multiprocessor. In Proceedings of the International Symposium on Computer Architecture, pages 302--313, 1994.

495.   Doc     Context   345   [26] Raymond Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380. Academic Press, 1991.

496.   Doc     Context   345   [ Vardi, 1982 ] M. Vardi. The complexity of relational query languages. In Proc. STOC-82, pages 137-- 146, 1982.

497.   Doc     Context   344   [21] Christos Faloutsos Michalis Faloutsos, Petros Faloutsos, "On power-law relationships of the internet topology," Proc. of ACM SIGCOMM, Aug. 1999.

498.   Doc     Context   344   [12] Gary, Michael R.; and David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman (1979).

499.   Doc     Context   343   [4] Ricardo Baeza-Yates and Ribeiro-Neto. Modern Information Retrieval. ACM Press Series/Addison Wesley, New York, May 1999.

500.   Doc     Context   343   19. L. Lamport, "Time, clocks, and the ordering of events in a distributed system", Communications of the ACM 21(7), pp. 558-564 (July 1978).

501.   Doc     Context   343   [7] Larry C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991.

502.   Doc     Context   342   [7] M. Levoy. Display of surfaces from volume data. PhD thesis, University of North Carolina at Chapel Hill, 1989.

503.   Doc     Context   342   [6] J. A. George and Joseph W-H. Liu, Computer Solution of Large Sparse Positive Definite Systems, Prentice-Hall, New Jersey, 1981. 19

504.   Book   Context   342   [4] Azriel Rosenfeld and Avinash Kak. Digital Picture Processing. Academic Press, San Diego, CA, 1982. For a Matlab demonstration of a region-growing image segmentation task, visit Akram, Gamiz, and Romberg's "Image Segmentation Using Region Growing " page at: http://www.owlnet.rice.edu/~wildcat/Projects/elec539/WDEKnow/index.html

505.   Doc     Context   341   [12]F. B. Schneider, "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial", ACM Computing Surveys, 22(4), December 1990, pp. 299-319.

506.   Book   Context   341   [2] H. Cohen. A Course in Computational Algebraic Number Theory, volume 138 of Graduate Texts in Mathematics. Springer-Verlag, 1991.

507.   Doc     Context   340   K. Birman (1991), The Process Group Approach to Reliable Distributed Computing, Tech. Report No.

508.   Doc     Context   340   [ Fisher, 1987 ] D. H. Fisher. Knowledge acquisition via incremental conceptual clustering. Machine Learning, 2:139--172, 1987.

509.   Doc     Context   340   [11] W. Thomas. Automata on infinite objects. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science (vol. B), pages 133--191. 1990.

510.   Doc     Context   340   [15] J. Gray, "Notes on Database Operating Systems", Operating Systems: An Advanced Course, Lecture Notes in Computer Science, 60, 1978

511.   Doc     Context   340   [30] M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. of Symp. on Logic in Computer Science, pages 322--331, 1986.

512.   Doc     Context   340   [19] Harris C and Stephens M. A combined corner and edge detector. Proceedings of the 4th Alvey Vision Conference, pages 147--151, 1988.

513.   Doc     Context   339   [Hennessy and Milner 1985] M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 1985.

514.   Doc     Context   339   [37] H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. ACM Press Frontier Series, Addison-Wesley, New York, 1990.

515.   Doc     Context   339   [12] Sally Floyd, Mark Handley, Jitendra Padhye, and Joerg Widmer, \Equation-Based Congestion Control for Unicast Applications", ACM SIGCOMM 2000, Stockholm, Aug 2000.

516.   Doc     Context   339   [7] C. Lawson, R. Hanson, D. Kincaid, and F. Krogh. Basic Linear Algebra Subprograms for Fortran Usage. ACM Trans. on Math. Soft., 14:308--325, 1989.

517.   Doc     Context   338   [42] S. Woo, M. Ohara, E. Torrie, J.P. Singh, and A. Gupta. The SPLASH-2 programs: Characterization and methodological considerations. In Proceedings of the 22th International Symposium on Computer Architecture, Santa Margherita Ligure, Italy, June 1995.

518.   Book   Context   338   Chellas, B.F. 1980. Modal Logic: an Introduction. Cambridge: Cambridge University Press.

519.   Doc     Context   338   [Pey87] Peyton Jones, S.L. The Implementation of Functional Programming Languages, Prentice Hall International, 1987.

520.   Doc     Context   338   [2] E. W. Dijkstra. A note on two problems in connexion with graphs. Numerische Mathematik, 1:269--271, 1959.

521.   Book   Context   337   [2] R. Agrawal, H. Mannila, R. Srikant, H. Toivonen, and A. I. Verkamo. Fast discovery of association rules. In Advances in Knowledge Discovery and Data Mining, U. Fayyad, G. Piatetsky-Shapiro, P. Smyth, R. Uthurusamy (Eds.). AAAI Press, Melo Park, CA, 1996.

522.   Doc     Context   337   [3] Bentley, J. Multidimensional binary search trees used for associative searching. Communications of the ACM 18 (1975), 509--517.

523.   Doc     Context   337   Joachims, T. (1998). Text categorization with Support Vector Machines: Learning with many relevant features. In Machine Learning: ECML-98, Tenth European Conference on Machine Learning, pp. 137--142.

524.   Doc     Context   336   [5] D. E. Knuth, J. H. Morris, and V. R. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6:323--50, 1977. 20 T. Kowaltowski, C. Lucchesi and J. Stolfi

525.   Doc     Context   336   [4] William J. Schroeder, Jonathan A. Zarge, and William E. Lorensen, "Decimation of Triangle Meshes", Computer Graphics (SIGGRAPH '92 Proceedings), Vol. 26, No. 2, July 1992, pp. 65--70.

526.   Doc     Context   335   Gelb, A. (1974). Applied Optimal Estimation. MIT Press.

527.   Doc     Context   335   [8] O. Goldreich and S. Goldwasser and S. Micali "How to Construct Random Functions" Journal of the ACM, 33(4), 1984, 792-807.

528.   Doc     Context   335   Rumelhart, D. E., Hinton, G. E., & Williams, R. J. (1986). Learning representations by back-propagating errors. Nature, 323, 533-- 536.

529.   Doc     Context   334   [Faugeras 93] Faugeras, O., D., Three Dimensional Computer Vision, A Geometric Viewpoint, the MIT Press, Cambridge, Massachusetts, London, England, 1993.

530.   Doc     Context   334   [16] Marr, D. and Hildreth, E. "Theory of Edge Detection," Proceedings of the Royal Society of London, Series B, Vol. 207, p.187-217, 1980.

531.   Doc     Context   334   [16] V. N. Vapnik. Estimation of Dependences Based on Empirical Data. Springer-Verlag, 1982.

532.   Book   Context   334   [BN98] F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.

533.   Doc     Context   334   [54] Daniel Lenoski, James Laudon, Kourosh Gharachorloo, Anoop Gupta, and John Hennessy. The Directory-Based Cache Coherence Protocol for the DASH Multiprocessor. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 148--159. IEEE, June 1990.

534.   Doc     Context   334   [8] Bertrand Meyer. Eiffel -- The Language. Prentice Hall, 2 edition, 1992.

535.   Doc     Context   333   Lehoczky, J., Sha, L., and Ding, Y. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings of the Tenth IEEE Symposium on Real-Time Systems (December 1989), pp. 166--171. IEEE.

536.   Doc     Context   333   [13] A. Gersho and R.M. Gray, Vector Quantization and Signal Compression, Boston, MA: Kluwer, 1992.

537.   Doc     Context   333   [AG97a] M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, pages 36--47, 1997.

538.   Doc     Context   333   [18] J. Stoer, R. Bulirsch, "Introduction to numerical analysis", Second Edition (1983) Springer Verlag

539.   Doc     Context   333   [22] M. Mathis, J. Semke, J. Mahdavi, and T. Ott. The macroscopic behavior of the TCP Congestion Avoidance algorithm. Computer Communications Review, 27(3), July 1997.

540.   Doc     Context   333   4 P. Debevec, C. Taylor, and J. Malik. Modeling and Rendering Architecture from Photographs: A Hybrid Geometryand Image-based Approach, SIGGRAPH'96, August 1996.

541.   Doc     Context   333   [Dij] E.W. Dijkstra, "Self-stabilizing systems in spite of distributed control", CACM, 17:11(1974), 643-644.

542.   Doc     Context   332   [19] V. Paxson, "End-to-end Internet packet dynamics," in Proc. ACM SIGCOMM, pp. 139--152, September 1997.

543.   Doc     Context   332   [22] M. Fredman and R. Tarjan, Fibonacci heaps and their uses in improved network optimization algorithms, Journal of the ACM, 34 (1987), 596-615.

544.   Doc     Context   332   [HNSY92] T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for realtime systems. In Proceedings of the Seventh Annual Symposium on Logic in Computer Science, pages 394--406. IEEE Computer Society Press, 1992.

545.   Doc     Context   332   [Sommerville 92] I. Sommerville, Software Engineering, Fourth Edition, AddisonWesley, Wokingham, 1992

546.   Doc     Context   332   Grice, H.P. (1975) Logic and Conversation. In: P. Cole & J. Morgan (Eds.): Speech Acts.

547.   Doc     Context   330   [25] Kleene, S. C.: "Introduction to metamathematics", Walters-Noordhoff & North-Holland (1991).

548.   Doc     Context   330   [5] D. Le Gall. MPEG: A video compression standard for multimedia applications. Communications of the ACM, 34(4):46--58, April 1991.

549.   Doc     Context   329   [DM82] Luis Damas and Robin Milner. Principal type schemes for functional programs. January 1982.

550.   Doc     Context   329   3. R. Kalman, "A new approach to linear filtering and prediction problems," Trans. ASME, J. Basic Eng. 82D, pp. 35--45, 1960.

551.   Doc     Context   329   [10] Ora Lassila and Ralph R. Swick. Resource description framework (RDF) Model and syntax specification. Recommendation, W3C, February 1999. http://www.w3.org/TR/1999/RECrdf -syntax-19990222.

552.   Doc     Context   329   26. C. Wren, A. Azarbayejani, T. Darrell, and A. Pentland. Pfinder: Real-time tracking of the human body. In Photonics East, SPIE, volume 2615, 1995. Bellingham, WA.

553.   Doc     Context   328   [17] Yao, A., "Theory and Applications of Trapdoor Functions," Proc. 23rd Symposium on the Foundations of Computer Science (1982), pp. 80--91.

554.   Doc     Context   328   [1] T.C. Bell, J.G. Cleary, and I.H. Witten. Text compression. Prentice Hall, NJ, 1990.

555.   Doc     Context   328   [GN87] Michael R. Genesereth and Nils J. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1987.

556.   Doc     Context   328   [6] Barbara J. Grosz and Candace L. Sidner. Attention, intention, and the structure of discourse. Computational Linguistics, 12(3):175--204, 1986.

557.   Doc     Context   327   [8] P.P. Vaidyanathan, Multirate Systems and Filter Banks, Prentice Hall, A.V. Oppenheim Ed., 1993.

558.   Doc     Context   327   [10] M. Isard and A. Blake, "Condensation -- conditional density propagation for visual tracking," International Journal of Computer Vision 29(1), pp. 5--28, 1998.

559.   Doc     Context   327   [AS95] Rakesh Agrawal and Ramakrishnan Srikant. Mining Sequential Patterns. In Proc. of the 11th Int'l Conference on Data Engineering, Taipei, Taiwan, March 1995.

560.   Book   Context   326   [29] Samuel Eilenberg. Automata, Languages and Machines, volume A. Academic Press, New York, 1974.

561.   Doc     Context   326   [25] E. M. Sentovich et. al. SIS: A System for Sequential Circuit Synthesis. Dept. of Electrical Engineering and Computer Science, University of California, Berkeley,CA 94720, 1992.

562.   Doc     Context   325   [16] J. Heinanen, F. Baker, W. Weiss, and J. Wroclawski. Assured Forwarding PHB Group, IETF Draft, January 1999.

563.   Book   Context   325   [54] Walter Rudin. Real and Complex Analysis. McGraw-Hill, New York, third edition, 1987.

564.   Doc     Context   325   [18] Mehlhorn, K., and Naher, S. LEDA: A platform for combinatorial and geometric computing. Comm. of the ACM 38, 1 (1995), 96--102.

565.   Doc     Context   325   V. Saraswat. "Concurrent Constraint Programming." in Proc. of the 17th ACM Symposium on Principles of Programming Languages, San Francisco, pp. 232 - 245, 1990.

566.   Doc     Context   325   [14] B. M. Waxman. Routing of multipoint connections. IEEE Journal on Selected Areas in Communications, 6(9):1617--22, December 1988.

567.   Doc     Context   325   19. E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1983.

568.   Doc     Context   325   [1] R. R. Coifman and M. V. Wickerhauser. Entropybased algorithms for best basis selection. IEEE Trans. Inform. Theory, 38(2), March 1992.

569.   Doc     Context   324   [4] DECHTER R., MEIRI I. and PEARL J., Temporal Constraint networks, Artificial Intelligence, 49, pp. 61-95, 1991.

570.   Book   Context   324   [3] W. K. Pratt. Digital Image Processing. Wiley and Sons NY (USA), 1974.

571.   Book   Context   324   8. Mitchell, M. 1996. An Introduction to Genetic Algorithms. MIT Press, (1996)

572.   Book   Context   324   [18] S. M. Ross. Stochastic Processes. John Wiley & Sons, New York, 1983.

573.   Doc     Context   324   Hamilton, W.D. (1964) `The genetical evolution of social behaviour', I and II, Journal; of Theoretical Biology, 7:1-16, 17-62.

574.   Book   Context   324   [3] Richard Bird and Philip Wadler. Introduction to Functional Programming. Series in Computer Science. Prentice-Hall International, 1988.

575.   Doc     Context   324   8. A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer-Verlag, New York, 1983.

576.   Doc     Context   324   Cheeseman, P., Kanefsky, B., & Taylor, W. (1991). Where the really hard problems are.

577.   Doc     Context   322   [4] R. G. Gallager. Low-density parity-check codes. IRE Trans. Inform. Theory, Vol. 8, pp. 21--28, January, 1962.

578.   Doc     Context   322   [9] R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient software-based fault isolation. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pages 203--216, December 1993.

579.   Doc     Context   322   [35] Braden, R; Zhang, L; Berson, S; Herzog, S; Jamin, S : "Resource ReSerVation Protocol (RSVP) - Version 1 Functional Specification", draft-ietf-rsvp-spec-14.txt|ps, November 1996

580.   Doc     Context   321   Bernardo, J. and Smith, A. (1994). Bayesian theory. John Wiley.

581.   Doc     Context   321   [3] D. P. Bertsekas and J. N. Tsitsiklis. Parallel and Distributed Computation: Numerical Methods. PrenticeHall, Englewood Cliffs, NJ, 1989.

582.   Doc     Context   321   [2] Bergen, J., P. Anadan, K. Hanna, and R. Hingorami. Hierarchical model-based motion estimation. In European Conference on Computer Vision, pages 237--252, 1992.

583.   Doc     Context   320   8. Graefe G (1993) Query evaluation techniques for large databases.<F3.17e+05> ACM Comput Surv<F3.733e+05> 25(2):73--170

584.   Doc     Context   319   [CS89] K. L. Clarkson and P. W. Shor. Applications of random sampling in computational geometry, II. Discrete Comput. Geom., 4:387--421, 1989.

585.   Doc     Context   319   [25] K.P. Eswaran, J.N. Gray, R.A. Lorie, and I.L. Traiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19(11):624--633, November 1976.

586.   Doc     Context   319   [61] D. Patterson, G. Gibson, and R. Katz. A Case for Redundant Arrays of Inexpensive Disks (RAID). Proceedings of the SIGMOD Conference, June 1988.

587.   Doc     Context   319   [7] T. C. Mowry, M. S. Lam, and A. Gupta. Design and evaluation of a compiler algorithm for prefetching. In ASPLOS-V, pages 62--73, October 1992.

588.   Doc     Context   319   [13] Eric C. Rosen, A. Viswanathan and R. Callon, "Multiprotocol Label Switching Architecture", Internet Draft <draft-ietf-mpls-arch-02.txt>, July 1998.

589.   Doc     Context   318   [15] Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26--60, January 1990.

590.   Doc     Context   317   [9] A. Geist, A. Beguelin, J. J. Dongarra, W. Jiang, R. Manchek, and V. S. Sunderam. PVM 3 user's guide and reference manual. Technical Report ORNL/TM-12187, Oak Ridge National Laboratory, May 1993.

591.   Doc     Context   317   [30] S. Muggleton, ed, Inductive Logic Programming, (Academic Press, San Diego, CA, 1992).

592.   Doc     Context   316   [17] E. W. Zegura, K. L. Calvert, and S. Bhattacharjee. How to model an internetwork. In Proceedings of INFOCOM 96, 1996. Scenario Mig Prob New Part Life Part Source

593.   Doc     Context   316   Cressie, N. A. C. (1993), Statistics for Spatial Data, rev. ed. Wiley, New York.

594.   Doc     Context   316   [Chau81] D.Chaum, (1981), Untraceable electronic mail, return addresses, and digital pseudonyms, Communications of the ACM, Vol. 24, No. 2, February, pp. 84--88.

595.   Doc     Context   316   [37] P. L. Wadler. Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73(2):231--248, 1990.

596.   Doc     Context   315   [1] H. Akaike. A new look at the statistical model identification. IEEE Transactions on Automatic Control, 19(6):716--723, 1974.

597.   Doc     Context   315   [Shi and Tomasi, 1994] J. Shi and C. Tomasi. Good features to track. In IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'94), pages 593--600, IEEE Computer Society, Seattle, Washington, June 1994.

598.   Book   Context   315   [6] M. Grotschel, L. Lov'asz, and A. Schrijver. Geometric Algorithms and Combinatorial Optimization. Springer-Verlag, 1993.

599.   Doc     Context   315   14. Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing 9(3,4):365--385 (1991).

600.   Book   Context   315   [16] D. Gilbarg and N. S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer-Verlag, 1977.

Next 200     Previous 200

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST