Most cited articles in Computer Science published in 1994 - generated in 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  

1.   Doc     Context   939   [17] C.H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.

2.   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.

3.   Doc     Context   854   [11] J. K. Ousterhout, Tcl and the Tk Toolkit (Reading : Addison-Wesley, 1994).

4.   Doc     Context   842   [23] Message Passing Interface Forum. MPI: A Message-Passing Interface Standard, Mar 1994.

5.   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.

6.   Doc     Context   690   Haykin, S. (1994). Neural Networks: A Comprehensive Foundation. IEEE Press/Macmillan College Publishing Company, New York.

7.   Doc     Context   651   [18] Booch, Grady, Object-Oriented Analysis and Design with Applications (2nd ed.), Benjamin/ Cummings, Redwood City, CA, 1994.

8.   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.

9.   Doc     Context   590   Pollard, C. and I. Sag (1994). Head-driven Phrase Structure Grammar. Chicago: CSLI Publications.

10.   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.

11.   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.

12.   Doc     Context   500   [4] W. Gropp, E. Lusk, and A. Skjellum, Using MPI: Portable Parallel Programming with the Message Passing Interface, MIT Press, 1994.

13.   Doc     Context   493   [12] N.H.Hamann et al., Nucl.Instr. and Meth. A346 (1994) 57.

14.   Doc     Context   471   [25] R. Elmasri and S. Navathe. Fundamentals of Database Systems. Benjamin Cummings, 1994.

15.   Doc     Context   451   [10]T. Finin et.al.: "KQML as an Agent Communication Language ", 3rd International Conference on Information and Knowledge Management (CIKM94), ACM Press, December 1994

16.   Doc     Context   450   Jordan, M. I., & Jacobs, R. A. (1994). Hierarchical mixtures of experts and the EM algorithm. Neural Computation, 6, 181-214.

17.   Doc     Context   450   [4] S. Boyd, L. E. Ghaoui, E. Feron and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, (SIAM, Philadelphia, 1994).

18.   Doc     Context   390   [34] P. Maes. Agents that reduce work and information overload. Communications of the ACM, 37(7):30--40, July 1994.

19.   Book   Context   384   [7] C. Koelbel, D. Loveman, R. Schreiber, G. Steele, Jr., and M. Zosel. The High Performance Fortran Handbook. The MIT Press, Cambridge, MA, 1994.

20.   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.

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

22.   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.

23.   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.

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

25.   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.

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

27.   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.

28.   Doc     Context   308   Comon, P. (1994). Independent component analysis -- a new concept? Signal Processing, 36(3):287-- 314.

29.   Doc     Context   304   [28] Y. Nesterov and A. Nemirovskii. Interior-Point Polynomial Algorithms in Convex Programming. SIAM, 1994.

30.   Doc     Context   303   [8] Beran, J. (1994) Statistics for Long--Memory Processes. Monographs on Statistics and Applied Probability, No. 61. Chapman and Hall, New York.

31.   Doc     Context   301   [LTWW94a] W. Leland, M. Taqqu, W. Willinger, and D. Wilson, "On the Self-Similar Nature of Ethernet Traffic (Extended Version)", IEEE/ACM Transactions on Networking, 2(1), pp. 1-15, February 1994.

32.   Doc     Context   298   [3] L.S. Brakmo, S.W. O'Malley, and L.L. Peterson. TCP Vegas: New techniques for congestion detection and avoidance. 1994 ACM SIGCOMM Conference, pages 24--35, May 1994.

33.   Doc     Context   297   [3] K. P. Birman. Reliable Distributed Computing with the Isis Toolkit, chapter Virtual Synchrony Model. IEEE Press, 1994. to appear.

34.   Doc     Context   287   [4] A. Bakre and B. Badrinath. I-TCP: Indirect TCP for mobile hosts. Technical Report DCS-TR-314, Rutgers University, Oct. 1994.

35.   Doc     Context   282   8. M. Matsui. Linear cryptanalysis method for DES cipher. In T. Helleseth, editor, Advances in Cryptology --- Eurocrypt '93, volume 765 of Lecture Notes in Computer Science, pages 386--397, 1994. SpringerVerlag.

36.   Doc     Context   275   [9] S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom. The TSIMMIS Project: Integration of Heterogeneous Information Sources. In Proc. of IPSJ Conference, pages 7--18, 1994.

37.   Doc     Context   272   [KOZA94] J.R. Koza. Genetic programming II: Automatic discovery of reusable programs. MIT Press. 1994.

38.   Doc     Context   270   [20] Christos Faloutsos, Ron Barber, Myron Flickner, Wayne Niblack, Dragutin Petkovic, and William Equitz. Efficient and effective querying by image content. J. of Intelligent Information Systems, 3(3/4):231-- 262, July 1994.

39.   Doc     Context   269   [Put94] M. L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, Wiley, New York, NY, 1994.

40.   Doc     Context   268   4. John, G.H., Kohavi, R., Pfleger, K., Irrelevant Features and the Subset Selection Problem, Proc. of the 11th International Conference on Machine Learning ICML94, pp. 121---129, 1994.

41.   Doc     Context   268   [43] C. Ruemmler and J. Wilkes. An introduction to disk drive modeling. IEEE Computer, 27(3):17--29, March 1994. 8 Available at http://www.almaden.ibm.com/cs/quest/syndata.html.

42.   Doc     Context   267   [18] B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. Wiley, New York, 1994.

43.   Doc     Context   266   [NAS94] Bailey, D. H., E. Barszcz, J. Barton, D. Browning, R. Carter, L. Dagum, R. Fatoohi, S. Fineberg, P. Frederickson, T. Lasinski, R. Schreiber, H. Simon, V. Venkatakrishnan, and S. Weeratunga, "The NAS Parallel Benchmarks," Technical Report RNR-94-007, NASA Ames Research Center, (March 1994).

44.   Doc     Context   266   [19] A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine---A Users' Guide and Tutorial for Networked Parallel Computing. Scientific and Engineering Series. MIT Press, 1994. ISBN: 0-262-57108-0.

45.   Book   Context   265   [62] L. C. Paulson. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science, No. 78. Springer-Verlag, 1994.

46.   Doc     Context   264   [AD94] R. Alur, D.L. Dill. A Theory of Timed Automata. in: Theoretical Computer Science Vol. 126, No. 2, April 1994, pp. 183-236.

47.   Book   Context   261   [28] M. J. Osborne and A. Rubinstein. A Course in Game Theory. MIT Press, 1994.

48.   Doc     Context   257   [7] A. Pentland, R. Picard, and S. Sclaroff. Photobook: Content-based Manipulation of Image Databases. In SPIE Storage and Retrieval for Image and Video Databases II, number 2185, Feb. 1994, San Jose, CA.

49.   Doc     Context   254   [22] Witten, I. H., Moffat, A., Bell, T. C.: Managing gigabytes: compressing and indexing documents and images. Van Nostrand Reinhold, 115 Fifth Avenue, New York, NY 10003, USA (1994)

50.   Doc     Context   252   [ Muggleton and De Raedt, 1994 ] S. Muggleton and L. De Raedt. Inductive logic programming : Theory and methods. Journal of Logic Programming, 19,20:629--679, 1994.

51.   Doc     Context   250   [15] R. Kurshan, "Computer-Aided Verification of Coordinating Processes", Princeton University Press, 1994.

52.   Book   Context   250   [A] O. Axelsson, Iterative Solution methods, Cambridge University Press 1994.

53.   Doc     Context   247   [10] S. Golestani. A self-clocked fair queueing scheme for broadband applications. In Proceedings of IEEE INFOCOM'94, pages 636--646, Toronto, CA, June 1994.

54.   Doc     Context   247   [9] Frank Halasz and Mayer Schwartz. The Dexter hypertext reference model. Communications of the ACM, 37(2):30--39, February 1994. ISSN 0001-0782, 10 pages.

55.   Doc     Context   245   Berners-Lee, T., Cailliau, R., Luotonen, A., Nielsen, H., and Secret, A. (1994). The World-Wide Web. Communications of the ACM, 37(8):76--82.

56.   Doc     Context   245   [Sta94] Richard Stallman. GNU Emacs Manual. Free Software Foundation, Cambridge, MA, tenth edition, July 1994. ISBN 1-882114-03-5.

57.   Doc     Context   244   [66] Steven K. Reinhardt, James R. Larus, and David A. Wood. Tempest and Typhoon: User-Level Shared Memory. In Proceedings of the 21st Annual International Symposium on Computer Architecture, pages 325--336. IEEE, April 1994.

58.   Doc     Context   242   [7] Stewart, W. J. (1994). Introduction to the numerical solution of Markov chains. Princeton University Press, Princeton, New Jersey.

59.   Doc     Context   241   [21] L. Vandenberghe and S. Boyd, " Semidefinite Programming," Informations Systems Laboratory, Stanford University, 1994.

60.   Book   Context   240   [24] V. Kumar, A. Grama, A. Gupta, and G. Karypis. Introduction to Parallel Computing: Design and Analysis of Algorithms. Benjamin/Cummings, 1994.

61.   Doc     Context   239   Waldspurger, C. A. and Weihl, W. E. 1994. Lottery scheduling: Flexible proportionalshare resource management. In Proceedings of the First Symposium on Operating System Design and Implementation (November 1994), pp. 1--11.

62.   Doc     Context   239   [2] M. Kearns and U. Vazirani. An Introduction to Computational Learning Theory. MIT Press, 1994.

63.   Doc     Context   239   [Moy94b] J. Moy. "OSPF Version 2". RFC 1583, March 1994.

64.   Doc     Context   238   8. T. Lindeberg: "Scale-Space Theory in Computer Vision", Kluwer Academic Publishers, 1994

65.   Doc     Context   236   [1] L.Adleman. Molecular computation of solutions to combinatorial problems. Science v.266, Nov.1994, 1021--1024.

66.   Doc     Context   236   15. M. Blumrich et al. Virtual memory mapped network interface for the SHRIMP multicomputer. In Proceedings of the 21st Annual International Symposium on Computer Architecture, pages 142--153, Apr. 1994.

67.   Book   Context   235   Coleman, D., P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. 1994. Object-oriented development: The fusion method. Englewood Cliffs, New Jersey: Prentice Hall.

68.   Doc     Context   234   [9] S.R. Chidamber and C.F. Kemerer, `A Metrics Suite for Object Oriented Design', IEEE Transactions on Software Engineering, Vol. 20, No. 6, June 1994, pp. 476-493.

69.   Doc     Context   234   13. R. M. Murray, Z. Li, S. S. Sastry, A Mathematical Introduction to Robotic Manipulation, (CRC Press, Boca Raton, FL, 1994).

70.   Doc     Context   231   [8] J. Rosenschein and G. Zlotkin, Rules of Encounter: Designing Conventions for Automated Negotiation Among Computers, MIT Press, Cambridge, MA, 1994.

71.   Doc     Context   229   [25] H. Eriksson. MBONE: The Multicast Backbone. Communications of the ACM, 37(8), August 1994.

72.   Book   Context   226   10. S. Brenner and L. Scott, The Mathematical Theory of Finite Element Methods, SpringerVerlag, 1994.

73.   Doc     Context   225   [Resnick, 1994] Paul Resnick et al. "GroupLens: An Open Architecture for Collaborative Filtering of Netnews", Internal Research Report, MIT Center for Coordination Science, March 1994. URL http://www-sloan.mit.edu/ccs/1994wp.html

74.   Doc     Context   225   [7] C. Faloutsos, M. Ranganathan, and Y. Manolopoulos. Fast subsequence matching in time-series databases. In Proc. of the ACM SIGMOD Conference on Management of Data, May 1994.

75.   Doc     Context   223   [1] L. Lamport. L A T E X A Document Preparation System (2nd Edition). Addison-Wesley, 1994.

76.   Doc     Context   223   [1] L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.

77.   Doc     Context   221   [5] R. Chellappa, S Sirohey, C.L. Wilson, and C.S. Barnes. Human and machine recognition of faces : A survey. Technical Report CAR-TR-731, CS-TR3339, University of Maryland, August 1994.

78.   Doc     Context   220   [6] A. Berman and R. J. Plemmons. Nonnegative Matrices in the Mathematical Sciences. SIAM, Philadelphia, PA, 1994.

79.   Doc     Context   220   [31] A. Pentland, R. Picard, and S. Sclaroff. Photobook: Tools for Content-based Manipulation of Image Databases. In Proceedings of the SPIE Conference on Storage and Retrieval of Image and Video Databases II, pages 34--47, 1994.

80.   Doc     Context   219   3. S. Arya, D. M. Mount, N. S. Netanyahu, R. Silverman, and A. Wu. An optimal algorithm for approximate nearest neighbor searching. In Proc. 5th ACM-SIAM Sympos. Discrete Algorithms, pages 573--582, 1994.

81.   Doc     Context   219   28. N. Littlestone and M. K. Warmuth. The weighted majority algorithm. Information and Computation, 108(2):212--261, 1994.

82.   Doc     Context   218   [13] M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the SIGPLAN '94 Conference on Program Language Design and Implementation, Orlando, FL, June 1994.

83.   Doc     Context   217   [10] Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327--365, 1994.

84.   Doc     Context   216   [7] Poggio, T., Sung, K.K., "Example-based learning for view-based human face detection". Proc. of the ARPA Image Understanding Workshop, II:843-850. 1994.

85.   Book   Context   215   [Pre94] Wolfgang Pree. Design Patterns for Object-Oriented Software Development. Addison-Wesley, 1994.

86.   Doc     Context   214   [9] George H. Forman and John Zahorjan. The Challenges of Mobile Computing. IEEE Computer, 27(6), April 1994.

87.   Doc     Context   213   [15] M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583628, 1994.

88.   Doc     Context   210   [2] E. A. Adelson and J. Y. A. Wang, "Representing Moving Images with Layers," IEEE Trans. on Image Processing, 3, pp. 625-638, Sept. 1994.

89.   Doc     Context   206   [28] R. T. Ng and J. Han. Efficient and Effective Clustering Methods for Spatial Data Mining. In Proceedings of the 20th VLDB Conference, pages 144--155, Santiago, Chile, 1994.

90.   Doc     Context   202   [6] M. Laubach. Classical IP and ARP over ATM. Request for Comments 1577, January 1994.

91.   Doc     Context   202   18. S. Deering, D. Estrin, D. Farinacci, V. Jacobson, and others. , "An architecture for wide-area multicast routing," in Proc. ACM SIGCOMM'94, pp. 126--135, 1994.

92.   Doc     Context   199   [1] B. Cabral, N. Cam, and J. Foran. Accelerated volume rendering and tomographic reconstruction using texture mapping hardware. In Workshopon Volume Visualization, pages 91--98, 1994.

93.   Doc     Context   199   [14] I. Norros. A storage model with self-similar input. Queueing Systems, 16:387--396, 1994.

94.   Book   Context   197   [33] D. Revuz and M. Yor. Continuous martingales and Brownian motion. Springer, Berlin-Heidelberg, 1994. 2nd edition.

95.   Doc     Context   197   [2] ATM Forum. ATM User-Network Interface Specification, Version 3.1, September 1994.

96.   Doc     Context   197   [AS94] Rakesh Agrawal and Ramakrishnan Srikant. Fast algorithms for mining association rules in large databases. In VLDB-94, September 1994.

97.   Doc     Context   195   Comon P (1994) Independent component analysis, a new concept? Signal Processing, 36: 287-314.

98.   Doc     Context   195   [17] Y. Rekhter and T. Li, editors. A Border Gateway Protocol 4 (BGP-4), Internet Draft, January 1994.

99.   Doc     Context   194   1. S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1--168. Clarendon Press, 1994.

100.   Doc     Context   193   [55] J. Moy. Multicast Extensions to OSPF. Internet Requests For Comments (RFC) 1075, Mar. 1994.

101.   Doc     Context   191   [Weiser 94] Weiser, M, et al.: "Scheduling for reduced CPU energy", proceedings of the first USENIX Symposium on operating systems design and implementation", pp. 13-23, November 1994.

102.   Doc     Context   191   2. Michalewicz, Z., "Genetic Algorithms + Data Structure = Evolution Programs," Springer Verlag 1994 Address: MARIO G. PERHINSCHI, National Aerospace Research Institute, Bd. I. Maniu 220, 77538 Bucharest, Romania

103.   Doc     Context   190   [12] A. Connes, Noncommutative Geometry, Academic Press (1994)

104.   Doc     Context   190   [10] D. Michie, et al. Machine Learning, Neural and Statistical Classification. Ellis Horwood, 1994.

105.   Doc     Context   190   Donoho, D.L. and Johnstone, I.M. (1994) Ideal spatial adaptation by wavelet shrinkage. Biometrika, 81, 425--455.

106.   Doc     Context   190   [SKC94] B. Selman, H. Kautz, and B. Cohen, Noise strategies for improving local search, Proc. of the 12th National Conf. on Artificial Intelligence (Seattle, WA), 1994, pp. 337--343.

107.   Doc     Context   189   [4] J. Bolot, T. Turleeti, and I. Wakeman. Scalable feedback control for multicast video distribution in the internet. In Proceedings of SIGCOMM, pages 58--67, 1994.

108.   Book   Context   189   [10] V. Kumar, A. Grama, A. Gupta, and G. Karypis, Introduction to Parallel Computing, Design and Analysis of Algorithms, The Benjamin/Cummings Publishing Company, Inc., Don Mills, Ontario, 1994.

109.   Doc     Context   186   [22] U. Madhow and M. L. Honig, "MMSE interference suppression for direct-sequence spread spectrum CDMA," IEEE Trans on Comms., vol. 42, pp. 3178-- 3188, Dec. 1994.

110.   Doc     Context   185   [2] A. Dan, D. Sitaram, and P. Shahabuddin. Scheduling Policies for an On-Demand Video Server with Batching. In Proceedings of ACM Multimedia'94, pages 391--398, Oct. 1994.

111.   Doc     Context   185   2. M. J. Carey, D. J. DeWitt, M. J. Franklin, N. E. Hall, M. McAuliffe, J. F. Naughton, D. T. Schuh, and M. H. Solomon. Shoring up persistent applications. In Proceedings of ACM-SIGMOD 1994 International Conference on Management of Data, Minneapolis, Minnesota, pages 383 -- 394, May 1994.

112.   Doc     Context   180   8. S. Pingali, D. Towsley, and J. F. Kurose, "A comparison of sender-initiated and receiver-initiated reliable multicast protocols, " in Performance Evaluation Review, vol. 22, pp. 221-- 230, May 1994.

113.   Doc     Context   179   [32] C. J. S. Clarke, Class. Quantum Grav. 11 1375 (1994)

114.   Doc     Context   179   11. N. Lavrac and S. Dzeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994.

115.   Doc     Context   179   [17] Lacroute, P., and Levoy, M. Fast Volume Rendering Using a Shear-Warp Factorization of the Viewing Transformation. Proc. SIGGRAPH. ACM, Orlando, FL, 1994, pp. 451-458.

116.   Doc     Context   178   [7] T.M. Malone and K. Crowston. The interdisciplinary study of coordination. ACM Computing Surveys, 26(1):87--119, Mar. 1994.

117.   Doc     Context   176   1. Krzysztof R. Apt and Roland N. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19-20:9--71, 1994.

118.   Doc     Context   175   Littman, M. L. (1994), Markov games as a framework for multi-agent reinforcement learning, in W. W. Cohen & H. Hirsh, eds, `Proceedings of the Eleventh International Conference on Machine Learning (ML-94)', Morgan Kauffman Publishers, Inc., New Brunswick, NJ, pp. 157--163.

119.   Doc     Context   172   Aamodt, A., & Plaza, E. (1994). Case-based reasoning: Foundational issues, methodological variations, and system approaches. AI Communications, 7 (1), 39--59.

120.   Doc     Context   171   [14] R. Harper and M. Lillibridge. A type theoretic approach to higher-order modules with sharing. In Proc. 21st ACM Symp. on Principles of Programming Languages, pages 127--137. ACM Press, 1994.

121.   Doc     Context   169   [8] J. Magee, N. Dulay, S. Eisenbach, J. Kramer. Specifying Distributed Software Architectures. In Proceedings of 5th European Software Engineering Conference, Spain, 1994.

122.   Book   Context   168   [11] W. N. Venables and B. D. Ripley, Modern Applied Statistics with S-Plus. New York: Springer, 1994.

123.   Doc     Context   168   [2] M. W. Garrett, W. Willinger, "Analysis, Modeling and Generation of Self-Similar VBR Video Traffic" Proc. ACM Sigcomm, London, September 1994, pp. 269-280.

124.   Doc     Context   167   [HL94] P.M. Hill and J.W. Lloyd. The Godel Programming Language. MIT Press, 1994.

125.   Doc     Context   167   [28] Bill N. Schilit, Norman Adams, and RoyWant. Context-aware computing applications. In Proceedings Workshop on Mobile Computing Systems and Applications. IEEE, December 1994.

126.   Doc     Context   166   [19] D. Weld. An introduction to least-commitment planning. AI Magazine, pages 27--61, Winter 1994. Available via FTP from pub/ai/ at ftp.cs.washington.edu.

127.   Doc     Context   166   9. W. Sweldens. The lifting scheme: A custom-design construction of biorthogonal wavelets. Technical Report 1994:7, Industrial Mathematics Initiative, Department of Mathematics, University of South Carolina, 1994.

128.   Doc     Context   163   [3] M. W. Garrett and W. Willinger. Analysis, modeling and generation of self-similar VBR video traffic. In Proceedings of Sigcomm, pages 269--280, 1994.

129.   Doc     Context   162   [Floyd94] Floyd, S., "TCP and Explicit Congestion Notification", ACM Computer Communication Review, V. 24 N. 5, October 1994, p. 10-23. URL "ftp://ftp.ee.lbl.gov/papers/tcp_ecn.4.ps.Z".

130.   Doc     Context   161   [CACS94] V. Christophides, S. Abiteboul, S. Cluet, and M. Scholl. From structured documents to novel query facilities. SIGMOD RECORD, 23(2):313--324, June 1994.

131.   Doc     Context   160   [4] M. Crochemore and W. Rytter, Text Algorithms, Oxford University Press, New York (1994).

132.   Doc     Context   159   [BCL + 94] J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on CAD, 13:401--424, 1994.

133.   Doc     Context   159   1. R. Allen and D. Garlan. Formalizing Architectural Connection. In Proceedings of the 16th International Conference on Software Engineering, pages 71--80. IEEE Computer Society, May 1994.

134.   Doc     Context   159   11. G. Turk and M. Levoy. "Zippered polygon meshes from range images," Computer Graphics, ACM Siggraph 94 Proc, Orlando, Fla., pp. 311-318, 1994.

135.   Doc     Context   158   1. Christopher Ahlberg and Ben Shneiderman, "Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays." In Human Factors in Computing Systems: Proceedings of the CHI '94 Conference. New York: ACM, 1994.

136.   Doc     Context   158   [10] B. Clifford Neuman and Theodore Ts'o. Kerberos: An authentication service for computer networks. IEEE Communications, 32(9), September 1994.

137.   Doc     Context   158   [15] A. Geist, A. Beguelin, J. Dongarra, W. Jiang, B. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine---A User's Guide and Tutorial for Network Parallel Computing. MIT Press, 1994.

138.   Doc     Context   157   [Mercer et al. 94] Clifford W. Mercer, Stefan Savage, Hideyuki Tokuda. Processor Capacity Reserves: Operating System Support for Multimedia Applications. In Proc. of the IEEE International Conference on Multimedia Computing and Systems, May 1994.

139.   Doc     Context   157   [7] Genesereth, M. R., and Ketchpel, S. P., "Software Agents," Communication of the ACM, Vol. 37, No. 7 July 1994.

140.   Doc     Context   157   [Lamport, 1994b] Leslie Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872-- 923, March 1994.

141.   Doc     Context   156   [7] D J Field. What is the goal of sensory coding? Neural Computation, 6:559--601, 1994.

142.   Doc     Context   155   1. Peter W. Shor. Algorithms for quantum computation: Discrete logarithms and factoring. In Proceedings of the 35th IEEE Symposium on Foundations of Computer Science, pages 124--134. IEEE, 1994.

143.   Doc     Context   155   [4] M. Bellare and P. Rogaway. Optimal asymmetric encryption. In Advances in Cryptology--- Crypto '94, pages 92--111, 1994.

144.   Doc     Context   153   BIBLIOGRAPHY 131 John K. Ousterhout, 1994. Tcl and the Tk Toolkit. Addison-Wesley, Reading, MA, USA.

145.   Doc     Context   153   [71] G. DeMicheli, Synthesis and Optimization of Digital Circuits. McGraw Hill, 1994.

146.   Doc     Context   151   [5] V. Bharghavan, A. Demers, S. Shenker, and L. Zhang. MACAW: A media access protocol for wireless LANs. In ACM SIGCOMM '94, pages 212--225, August 1994.

147.   Doc     Context   151   [6] O. Etzioni and D. Weld. A softbot-based interface to the internet. CACM, 37(7):72--76, July 1994.

148.   Doc     Context   150   [Glassman] Glassman, S. 1994. A Caching Relay for the World Wide Web. Computer Networks and ISDN systems, First International Conference on the World-Wide Web, Elsevier Science BV. 8 pages. http://www1.cern.ch/PapersWWW94/steveg.ps

149.   Doc     Context   150   [6] J L Gauvain and C H Lee. Maximum a-posteriori estimation for multivariate Gaussian mixture observations of Markov chains. IEEE Transactions SAP, 2:291--298, 1994.

150.   Doc     Context   150   [11] N. Heintze. Set-based analysis of ML programs (extended abstract). In Proc. ACM Conf. Lisp & Func. Prog., 1994.

151.   Doc     Context   149   [9] V. Tiwari, S. Malik, and A. Wolfe. Power analysis of embedded software: A first step towards software power minimization. Technical Report CE-M94-4, Princeton Univ., Dept. of Elect. Eng., April 1994.

152.   Doc     Context   149   [3] H. A. Bourlard and N. Morgan. Connectionist speech recognition -- a hybrid approach. Kluwer Academic Publishers, 1994.

153.   Doc     Context   148   27. Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.

154.   Doc     Context   148   [20] N. Linial, E. London, and Y. Rabinovich. "The Geometry of Graphs and some of its Algorithmic Applications ". Proceedings of the 35th Annual IEEE Symposium of Foundations of Computer Science, pages 577-- 591, (1994).

155.   Doc     Context   148   [29] R. Segala and N.A. Lynch. Probabilistic simulations for probabilistic processes. In CONCUR'94: Concurrency Theory. 5th Int. Conf., volume 836 of LNCS, pages 481--496. Springer-Verlag, 1994.

156.   Doc     Context   148   [10] J. Michael Lounsbery. Multiresolution Analysis for Surfaces of Arbitrary Topological Type. PhD thesis, Department of Computer Science and Engineering, University of Washington, September 1994. Available as ftp://cs.washington.edu/pub/graphics/LounsPhd.ps.Z.

157.   Book   Context   147   [1] George Coulouris, Jean Dollimore, and Tim Kindberg. Distributed Systems: Concepts and Design. Addison-Wesley, second edition, 1994.

158.   Doc     Context   147   HAMILTON, JAMES D. (1994): Time series analysis, Princeton University Press.

159.   Doc     Context   146   Green, P.J. and Silverman, B.W. (1994), Nonparametric Regression and Generalized Linear Models, Chapman and Hall--London.

160.   Doc     Context   145   [Dahl94b] M. Dahlin, R. Wang, T. Anderson, and D. Patterson. Cooperative Caching: Using Remote Client Memory to Improve File System Performance. In Proc. of the First Symp. on Operating Systems Design and Implementation, pages 267-- 280, November 1994.

161.   Doc     Context   145   [10] B. Ramakrishna Rau. Iterative Modulo Scheduling: An Algorithm For Software Pipelining Loops. In Proc. 27th Annual International Symposium on Microarchtecture, pages 63--74, San Jose, CA, November 1994.

162.   Doc     Context   143   [9] H. Hoppe, T. DeRose, T. Duchamp, H. Jin, J. McDonald, and W. Stuetzle. Piecewise smooth surface reconstruction. TR 94-01-01, Dept. of Computer Science and Engineering, University of Washington, January 1994.

163.   Doc     Context   143   [Byl94] T. Bylander. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69:161--204, 1994.

164.   Book   Context   142   [24] Gerard Tel. Introduction to Distributed Algorithms. Cambridge University Press, Cambridge, U.K., 1994.

165.   Doc     Context   142   [8] R. Wilson, R. French, C. Wilson, S. Amarasinghe, J. Anderson, S. Tjiang, S. Liao, C. Tseng, M. Hall, M. Lam, and J. Hennessy, "SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers", ACM SIGPLAN Notices, 29 (1994) 31-37. 10

166.   Doc     Context   141   32. A. Krogh, M. Brown, I. S. Mian, K. Sjolander, and D. Haussler. Hidden Markov models in computational biology: Applications to protein modeling. Journal of Molecular Biology, 235:1501--1531, 1994.

167.   Book   Context   140   [PSB + 94] J. Preece, H. Sharp, D. Benyon, S. Holland, and T. Carey. Human Computer Interaction. Addison-Wesley, Reading, Massachusetts, 1994.

168.   Doc     Context   140   [6] P. M. Chen, E. K. Lee, G. A. Gibson, R. H. Katz, and D. A. Patterson. RAID: High-Performance, Reliable Secondary Storage. ACM Computing Surveys, 26(2):145--185, June 1994.

169.   Doc     Context   140   [18] A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek and V. Sunderam, PVM: Parallel Virtual Machine, MIT Press, 1994.

170.   Doc     Context   140   [22] D. Donoho, De-noising by soft-thresholding, IEEE Trans. Inform. Theory (1994).

171.   Doc     Context   139   7. B. Whetten, S. Kaplan, and T. Montgomery, "A high performance totally ordered multicast protocol." Available from research.ivv.nasa.gov by ftp /pub/doc/RMP/RMP dagstuhl.ps, August 1994.

172.   Doc     Context   139   [1] D. D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specification and Design of Embedded Systems. Englewood Cliffs, NJ 07632, USA: P T R Prentice-Hall, 1994.

173.   Doc     Context   139   [16] A.V. Gerbessiotis and L. Valiant. Direct BulkSynchronous Parallel Algorithms. Journal of Parallel and Distributed Computing, 1994.

174.   Doc     Context   139   4. Bates, J. The role of emotion in believable agents. Communications of the ACM, 1994, 37, 122-125.

175.   Doc     Context   138   [22] VEENSTRA, J. E., AND FOWLER, R. J. MINT: A front end for efficient simulation of shared-memoy multiprocessors. In Proc. 2nd Int. Workshop on Modeling, Analysis, and Simulation of Comp. and Telecommunication Syst. (MASCOTS) (Jan. 1994), pp. 201--207.

176.   Doc     Context   137   [Macedonia and Brutzman] Macedonia, M. R., and Brutzman D. P. 1994. MBone Provides Audio and Video Across the Internet. Computer, number 2, April 1994. Pages 30-36.

177.   Doc     Context   135   [23] V Paxson. Empirically-Derived Analytic Models of Wide-Area TCP Connections. IEEE/ACM Transactions on Networking, 2(4):316--336, August 1994.

178.   Doc     Context   135   [12] David J. Montana. Strongly typed genetic programming. Technical Report 7866, Bolt Beranek and Newman, Inc., March 25, 1994.

179.   Doc     Context   135   [15] Luong, Q.-T., Vieville, T., Canonic Representations for the Geometries of Multiple Projective Views, ECCV'94, Lecture notes in Computer Science, Vol 800. Ed. JanOlof Eklund, Springer-Verlag, 1994, pp. 589-599.

180.   Doc     Context   134   10. D. Simon. On the power of quantum computation. In Proceedings of the 35th IEEE Symposium on Foundations of Computer Science, pages 124--134. IEEE, 1994.

181.   Doc     Context   134   [3] W. F. Alizadeh, J. -P. A. Haeberly and M. L. Overton, "Primal-dual interior-point methods for semidefinite programming," Working Paper, 1994.

182.   Doc     Context   133   Michael A. K. Halliday. 1994. An Introduction to Functional Grammar. Edward Arnold, London, 2nd edition.

183.   Doc     Context   133   [68] Campbell, A., Coulson, G. and D. Hutchison, "A Quality of Service Architecture",ACM Computer Communications Review, April 1994.

184.   Doc     Context   132   [6] Zhang Z, "Iterative Point Matching for Registration of Free-Form Curves and Surfaces," International Journal of Computer Vision, 13, 2, 1994, pp 119-152.

185.   Doc     Context   131   [6] John Rohlf and James Helman. Iris performer: A high performance multiprocessing toolkit for real-time 3D graphics. Proceedings of SIGGRAPH`94 (Orlando, Florida, July 24-29, 1994). In Computer Graphics Proceedings, Annual Conference Series, 1994, ACM SIGGRAPH, pages 381--394.

186.   Doc     Context   131   [5] S. Floyd and V. Jacobson, "The Synchronization of Periodic Routing Messages", ACM Trans. on Networking, Vol. 2, No. 2 (April 1994), pp. 122 - 136

187.   Doc     Context   130   [3] S. Abramsky and R. Jagadeesan. Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic, 59(2):543 -- 574, June 1994. Also appeared as Technical Report 92/24 of the Department of Computing, Imperial College of Science, Technology and Medicine.

188.   Doc     Context   130   [4] V. Bharghavan, A. Demers, S. Shenker, and L. Zhang, "MACAW: A Media Access Protocol for Wireless LAN's," ACM SIGCOMM, 1994.

189.   Doc     Context   129   [PC94] John Plevyak and Andrew A. Chien. Precise concrete type inference for objectoriented languages. In OOPSLA `94 Conference Proceedings, pp. 324-340, October 1994. Published as SIGPLAN Notices 29(10), October 1994.

190.   Doc     Context   128   [5] Robert D. Blumofe and Charles E. Leiserson. Scheduling multithreaded computations by work stealing. In Proceedings of the 35th Annual Symposium on Foundations of Computer Science, pages 356--368, Santa Fe, New Mexico, November 1994.

191.   Doc     Context   128   [2] Chitta Baral and Michael Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19,20:73--148, 1994.

192.   Doc     Context   128   [1] Acampora, A. S. and Naghshineh, M., An Architecture and methodology for Mobile-Executed Handoff in Cellular ATM Networks., IEEE JSAC, Vol 12, No. 8, October 1994.

193.   Doc     Context   127   [3] L. Bachmair and H. Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217--247, 1994.

194.   Doc     Context   127   [11] M. Genesereth and S.P. Ketchpel. Software agents. Communications of the ACM, 37(7):48--53, 1994.

195.   Doc     Context   126   [War94] Gregory J. Ward. The RADIANCE lighting simulation and rendering system. Computer Graphics (SIGGRAPH '94 Proceedings), pages 459-- 472, July 1994.

196.   Doc     Context   126   [5] A. Aiken, E. L. Wimmers, and T. Lakshman. Soft typing with conditional types. In Twenty-First Annual ACM Symposium on Principles of Programming Languages, Portland, Oregon, Jan. 1994.

197.   Doc     Context   126   Srinivas N., Deb K. (1994). Multiobjective optimization using nondominated sorting in genetic algorithms.

198.   Doc     Context   126   [7] T. F. Chan and T. P. Mathew, Domain decomposition algorithms, Acta Numerica, pp. 61143, 1994.

199.   Doc     Context   125   [Deu94] A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 230--241, New York, NY, 1994. ACM Press.

200.   Doc     Context   125   [2] Steven Berson, Shahram Ghandeharizadeh, Richard R. Muntz, and Xiangyu Ju. Staggered Striping in Multimedia Information Systems. Submitted to ACM SIGMOD, 1994.

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST