Most cited articles in Computer Science published in 1978 - 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   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.

2.   Doc     Context   882   [12] L. Lamport. Times, clocks, and the ordering of events in a distributed system. CACM, 21(7):558-- 565, July 1978.

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

4.   Doc     Context   713   [Mil78] Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348--375, Dec 1978.

5.   Doc     Context   677   [7] P. Ciarlet, The Finite Element Method for Elliptic Problems, North-Holland, 1978.

6.   Doc     Context   457   Schwarz, G. (1978), Estimating the dimension of a model, The Annals of Statistics, 6, 461--464.

7.   Doc     Context   411   [NEED78] Needham, R. M., and Schroeder, M. D. "Using encryption for authentication in large networks of computers". Commun. ACM 21, 12 (Dec. 1978), pp. 993-999

8.   Book   Context   411   19. Reed M. and Simon B.: Methods of Modern Mathematical Physics. IV: Analysis of Operators. Academic Press New York, San Francisco, London 1978.

9.   Doc     Context   408   [Rissanen 78] Rissanen, J. Modeling by shortest data description. Automatica, 14:465--471, 1978.

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

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

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

13.   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).

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

15.   Doc     Context   304   L. A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3--28, 1978.

16.   Doc     Context   291   [10] R. Reiter. On closed world databases. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum, 1978.

17.   Doc     Context   269   Backus, J. 1978. "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs," Communications of the Association for Computing Machinery 21:613-641.

18.   Doc     Context   229   [10] P. Cousot and N. Halbwachs. "Automatic Discovery of Linear Restraints among Variables of a Program". Conference Record 5th ACM Symp. on Principles of Programming Languages, Tucson, 1978, pp. 84-96.

19.   Doc     Context   216   [8] Steven Fortune and James Wyllie. Parallelism in random access machines. In Conference Record of the Tenth Annual ACM Symposium on Theory of Computing, pages 114--118, San Diego, California, 1978.

20.   Doc     Context   209   [5] G.D.James. The Representation Theory of the Symmetric Groups. SpringerVerlag, 1978.

21.   Doc     Context   205   [24] L. R. Rabiner & R. W. Schafer, Digital Processing of Speech Signals. (New Jersey: PrenticeHall, 1978)

22.   Doc     Context   193   [12] Lucien M. Censier and Paul Feautrier. A New Solution to Coherence Problems in Multicache Systems. IEEE Transactions on Computers, C-27(12):1112--1118, December 1978.

23.   Doc     Context   192   [Bo78] B'ela Bollob'as, Extremal Graph Theory, Academic Press, 1978.

24.   Doc     Context   191   [1] Frederick P. Brooks, Jr. The Mythical Man-Month. Addison Wesley, 1978.

25.   Doc     Context   189   [5] Harrison, Michael A., Introduction to Formal Language Theory, Addison-Wesley, 1978.

26.   Doc     Context   177   [56] D. Loveland. Automated Theorem Proving: A Logical basis. North Holland, Amsterdam, New York, 1978.

27.   Doc     Context   176   E. Catmull, J. Clark, Recursively generated B-spline surfaces on arbitrary topological meshes, CAD 10, No 6 (1978): 350--355.

28.   Doc     Context   174   [Bak78] Henry G. Baker, Jr. List processing in real time on a serial computer. Communications of the ACM, 21(4):280--294, April 1978.

29.   Doc     Context   167   [DeM78] T. DeMarco. Structured Analysis and System Specification. Yourdon, Inc., New York, New York, 1978.

30.   Doc     Context   162   [15] D.Marr and H.K. Nishihara, "Representation and Recognition of the Spatial Organization of Three Dimensional Shapes," Proc. R. Soc. London B, vol.200, pp.269-294, 1978.

31.   Doc     Context   162   17. Griffiths, Ph., Harris, J., Principles of algebraic geometry, John Wiley, New York, 1978.

32.   Doc     Context   157   [24] McDermott, D.V. A Temporal Logic for Reasoning about Processes and Plans In Cognitive Science, 6, pp 101-155, 1978.

33.   Doc     Context   156   [5] E. Freuder. Synthesizing constraint expressions. Communications of the ACM, 21(11):958--966, 1978.

34.   Doc     Context   154   [12] C. deBoor, A practical guide to splines (Springer-Verlag, New York, 1978).

35.   Doc     Context   153   [5] Chihara, T. S. An Introduction to Orthogonal Polynomials, Gordon and Breach, Science Publishers, New York, 1978.

36.   Doc     Context   152   [PH] S.C.Pohlig and M.E.Hellman, "An improved algorithm for computing logarithms over GF(p) and its cryptographic significance," IEEE Trans. Inform. Theory, Vol.IT-24, 1978, pp.106-110.

37.   Doc     Context   146   [16] R. Abraham and J. E. Marsden, Foundations of Mechanics. Reading, MA: Addison-Wesley, second ed., 1978.

38.   Doc     Context   146   [GTW78] J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In Current Trends in Programming Methodology, Vol.4 Data Structuring, pages 80-- 149. Prentice-Hall, Inc., Englewood Cliffs, NJ, 1978.

39.   Doc     Context   144   [DeB] C. De Boor. A practical Guide to Splines. Springer Verlag, New York 1978.

40.   Book   Context   142   [6] Zvi Kohavi. Switching and Finite Automata Theory. McGraw-Hill, second edition, 1978.

41.   Doc     Context   140   [BO78] Carl M. Bender and Steven A. Orszag. Advanced mathematical methods for scientists and engineers. International series in pure and applied Mathematics. McGraw--Hill, New York, 1978.

42.   Doc     Context   136   [R] D. Ruelle, Thermodynamic formalism, Addison Wesley, Reading, Massachusetts, 1978.

43.   Book   Context   134   [Hu1] J.E. Humphreys, Introduction to Lie algebras and representation theory, Graduate Texts in Mathematics 9, Springer-Verlag, New York-Berlin, 1978.

44.   Doc     Context   134   [HORO78] E. Horowitz, and S. Sahni, "Fundamentals of Computer Algorithms", Computer Science Press, Maryland, 1978.

45.   Doc     Context   127   [65] T.J. Schaefer. The complexity of satisfiability problems. In Proceedings of the 10th ACM STOC, pages 216--226, 1978.

46.   Doc     Context   126   [DLS78] R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34--41, April 1978.

47.   Doc     Context   125   [1] S. B. Akers, "Binary Decision Diagrams," IEEE Transactions on Computers, vol. C-27, pp. 509--516, June 1978.

48.   Doc     Context   123   [5] E. M. Gold. 1978. Complexity of automaton identification from given data. Information and Control, 37:302--320.

49.   Doc     Context   121   [7] G.Huet, Bernard Lang, Proving and applying program transformations expressed with second order patterns, Acta Informatica 11, 31-55(1978)

50.   Doc     Context   120   [9] L. J. Guibas and R. Sedgewick. A Dichromatic Framework for Balanced Trees. In 19th FOCS, pages 8--21, 1978.

51.   Doc     Context   114   [1] K. E. Atkinson. An Introduction to Numerical Analysis. John Wiley, New York, 1978.

52.   Doc     Context   113   Kushner, H., and Clark, D. 1978. Stochastic approximation methods for constrained and unconstrained systems. Springer-Verlag, Berlin, Heidelberg, New York.

53.   Doc     Context   110   [1] A. Bensoussan, J.L. Lions, and G. Papanicolaou. Asymptotic Analysis for Periodic Structures. North-Holland Pub. Co., New York, 1978.

54.   Doc     Context   109   [41] Guy L. Steele, Jr. RABBIT: A compiler for SCHEME. Technical Report Memo 474, MIT AI Laboratory, 1978.

55.   Doc     Context   101   [8] R. M. Karp, "A characterization of the minimum cycle mean in a digraph", Discrete Mathematics 23, 1978, 309-312.

56.   Doc     Context   100   [22] A. Salomaa and M. Soittola. AutomataTheoretic Aspects of Formal Powers Series. Springer Verlag, Berlin, 1978.

57.   Doc     Context   100   [15] Kuck, D., "The Structure of Computers and Computations", Vol. 1, John Wiley & Sons, Inc., 1978.

58.   Doc     Context   96   [21] Kruskal, J. B., and Wish, M. (1978), Multidimensional Scaling, Sage University Paper series on Quantitative Application in the Social Sciences, 07-011. Beverly Hills and London: Sage Publications.

59.   Book   Context   91   [Jec78] Thomas Jech. Set Theory. Academic Press, NY, 1978.

60.   Doc     Context   91   [5] D. Doo and M. Sabin. Behaviour of recursive division surfaces near extraordinary points. Computer-Aided Design, 10(6):356--360, September 1978.

61.   Doc     Context   90   [Rosch 1978] E. Rosch. "Principles of categorization." In: E. Rosch, B. Lloyd (eds.): Cognition and categorization. Hilldale, NJ: Lawrence Erlbaum, 1978.

62.   Doc     Context   90   [3] J. W. Brewer. Kronecker Products and matrix calculus in system theory. IEEE Transaction on Circuits and Systems, 25:772--781, 1978.

63.   Doc     Context   87   Box, G. E. P., Hunter, W. G. and Hunter, J. S. (1978). Statistics for Experimenters, John Wiley & Sons, New York.

64.   Doc     Context   86   [20] Y. K. Dalal and R. M. Metcalfe. Reverse path forwarding of broadcast packets. Communications of the ACM, 21(12):1040--1048, Dec. 1978.

65.   Doc     Context   85   [2] H. Blum and R. N. Nagel, "Shape Description Using Weighted Symmetric Axis Features, " Pattern Recognition, vol. 10, pp. 167--180, 1978.

66.   Doc     Context   83   [11] Schwartz, G., Estimating the Dimension of a Model, The Annals of Statistics, 6, 1978.

67.   Doc     Context   83   [19] J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, and C.B. Weinstock. SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control. Proceedings of the IEEE, 66(10):1240--1255, October 1978.

68.   Book   Context   79   [8] A. Nijenhuis and H. S. Wilf. Combinatorial Algorithms. Academic Press, 2nd edition, 1978.

69.   Doc     Context   79   [93] I. Gustafsson, A Class of First Order Factorization Methods, BIT, 18 (1978), pp. 142--156.

70.   Doc     Context   77   [1] D. Angluin. 1978. On the complexity of minimum inference of regular sets. Information and Control, 39:337--350.

71.   Book   Context   76   [88] Helgason S., Differential Geometry, Lie groups, and Symmetric Spaces. Academic Press, New York, (1978).

72.   Doc     Context   75   O'Keefe, J. and Nadel, L. (1978). The Hippocampus as a Cognitive Map. Oxford:Clarendon Press.

73.   Doc     Context   75   Nee78. Roger M. Needham and Michael D. Schroeder, "Using Encryption for Authentication in Large Networks of Computers," Communications of the ACM 21(12), pp. 993-999 (December, 1978).

74.   Book   Context   73   3. B. Bollobas. Extremal Graph Theory. Academic Press, London, 1978.

75.   Doc     Context   73   John H. Holland and J. S. Reitman. Cognitive systems based on adaptive algorithms. In D. A. Waterman and F. Hayes-Roth, editors, Pattern-directed inference systems. Academic Press, New York, 1978.

76.   Doc     Context   73   [172] H. Sakoe and S. Chiba. Dynamic programming algorithm optimization for spoken word recognition. IEEE Transactions on Acoustics, Speech, and Signal Processing, 27(1):43--49, February 1978.

77.   Doc     Context   72   [1] Fredric J. Harris. On the use of windows for harmonic analysis with the discrete fourier transform. Proceedings of the IEEE, 66(1):51--82, January 1978.

78.   Doc     Context   72   7. T.S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178--187, 1978.

79.   Doc     Context   71   34. Vuillemin J. A data structure for manipulating priority queues. Communications of the ACM 21 (1978) 309--315.

80.   Doc     Context   71   [11] H. Tamura and S. Mori and T. Yamawaki, "Textural Features Corresponding to Visual Perception", IEEE Trans. Syst., Man, Cybern, Vol. 8, No. 6, 1978.

81.   Doc     Context   71   [GH78]. J. Guttag and J. Horning. The Algebraic Specification of Abstract Data Types. Acta. Inform., vol. 10. 1978.

82.   Doc     Context   69   [15] S. K. Dhall and C. L. Liu, "On a real-time scheduling problem," Operations Research, vol. 26, no. 1, pp. 127--140, 1978.

83.   Doc     Context   69   [ Merkle and Hellman, 1978 ] R.C. Merkle and M.E. Hellman. Hiding information and signatures in trapdoor knapsacks. IEEE Transactions on Information Theory, 24:525--530, 1978.

84.   Doc     Context   68   Mitchell, T.M. (1978) Version spaces: an approach to concept learning.

85.   Doc     Context   68   [MY78] M. Machtey and P. Young. An Introduction to the General Theory of Algorithms. North-Holland, 1978.

86.   Doc     Context   68   [Adl78] L. Adleman. Two theorems on random polynomial time. In Proceedings of 19th IEEE Symposium on Foundations of Computer Science, pages 7583, 1978.

87.   Doc     Context   68   [BMV] E. R. Berlekamp, R. J. Mc Eliece, H. C. A. Van Tilborg. On the inherent intractability of certain coding problems, Trans. Inform. Theory (1978) 384-386.

88.   Doc     Context   67   [Jay78] E. T. Jaynes. Where do we stand on maximum entropy? In R. D. Levine and M. Tribus, editors, The Maximum Entropy Formalism, pages 15--118. MIT Press, Cambridge, Mass., 1978.

89.   Doc     Context   67   [2] H.S. Carslaw and J.C. Jaeger. Conduction of Heat in Solids. Oxford University Press, Oxford, 2. ed., 1978.

90.   Doc     Context   66   [2] I. Babuska and W.C. Rheinboldt, Error estimates for adaptive finite element computations, SIAM J. Numer. Anal. 15 (1978), 736--754.

91.   Doc     Context   65   11. G. Huet and D. S. Lankford. On the uniform halting problem for term rewriting systems. Rapport Laboria 283, INRIA, 1978.

92.   Doc     Context   65   [19] R. V. Hogg and A. T. Craig. Introduction to mathematical statistics. Collier-Macmillan, 1978.

93.   Doc     Context   65   [15] M.B. Smyth. Power domains. Journal of Computer and System Sciences, 16:23--36, 1978.

94.   Doc     Context   65   [24] Meir, A., and Moon, J. W. On the altitude of nodes in random trees. Canadian Journal of Mathematics 30 (1978), 997--1015.

95.   Doc     Context   64   4. H. Niederreiter, "Quasi Monte Carlo Methods and Pseudo-Random Numbers," Bulletin of the AMS, Vol. 84, No. 6, Nov. (1978), pp. 957-1041.

96.   Book   Context   62   [10] G. Gratzer. General Lattice Theory. NewYork : Academic Press, (1978).

97.   Doc     Context   62   [6] Ferrari, D., "Computer systems performance evaluation"; Prentice--Hall 1978.

98.   Doc     Context   62   [35] M. S. Waterman. Secondary structure of single - stranded nucleic acids. Studies on foundations and combinatorics, Advances in mathematics supplementary studies, Academic Press N.Y., 1:167 -- 212, 1978.

99.   Doc     Context   60   [10] C. Conley. Isolated invariant sets and the Morse index. C.B.M.S. 38, A.M.S. Providence 1978.

100.   Doc     Context   60   [12] L. Kleinrock and J. Silvester, Optimum transmission radii for packet radio networks of why six is a magic number, in: Nat. Telecom. Conf., 1978.

101.   Doc     Context   60   [12] S. B. Akers. Binary Decision Diagrams. IEEE Transactions on Computers, vol. C-27, no. 6:509--516, June 1978.

102.   Doc     Context   59   Dayhoff, M. O.; Schwartz, R. M.; and Orcutt, B. C. 1978. A model of evolutionary change in proteins. In Atlas of Protein Sequence and Structure. National Biomedical Research Foundation, Washington, D. C. chapter 22, 345--358.

103.   Doc     Context   59   [9] A Ralston and P. Rabinowitz. A First Course in Numerical Analysis (2nd edition). McGraw Hill, New York, 1978.

104.   Doc     Context   58   3. G. M. Baudet, Asynchronous iterative methods for multiprocessors, J. ACM, 25 (1978), pp. 226--244.

105.   Doc     Context   58   [12] G. Nelson and D.C. Oppen. Simplication by Cooperating Decision Procedures. Technical Report STAN-CS-78-652, Stanford Computer Science Department, April 1978.

106.   Doc     Context   58   [Dud78] R. M. Dudley. Central limit theorems for empirical measures. Ann. Prob., 6(6):899--929, 1978. 113

107.   Doc     Context   57   [11] D. Maier. The complexity of some problems on subsequences and supersequences. Journal of the ACM, Vol 25:322--336, (1978).

108.   Doc     Context   57   55. J. M. Pollard, Monte Carlo methods for index computation (mod p), Math. Comp. 32, pp. 918--924, 1978

109.   Doc     Context   57   [10] M.S. Paterson and M.N. Wegman. Linear unification. Journal of Computer and System Sciences, 16:158--167, 1978.

110.   Doc     Context   56   [17] V.F. Kolchin, B.A. Sevast'yanov, and V.P. Chistyakov, Random Allocations, V.H. Winston & Sons, Washington D.C. (1978).

111.   Doc     Context   55   [Rissanen, 1978] J. Rissanen, "Modelling by Shortest Data Description", Automatica, 14, 1978, 465471.

112.   Doc     Context   55   [5] J. Pollard, "Monte Carlo methods for index computation mod p", Mathematics of Computation, 32 (1978), 918-924.

113.   Doc     Context   53   [GM78] H. Gallaire and J. Minker. Logic and Databases. Plenum Press, New York, 1978.

114.   Doc     Context   52   [22] R.E. Walpole and R.H. Myers. Probability and Statistics for Engineers and Scientists. Collier Macmillan, 1978.

115.   Book   Context   52   A.G. Journel and Ch.J. Huijbregts. Mining Geostatistics. Academic Press, 1978.

116.   Doc     Context   51   [7] R.W. Gosper, Decision procedures for indefinite hypergeometric summation, Proc. Natl. Acad. Sci. U.S.A., 75 (1978), 40--42.

117.   Doc     Context   51   Paterson M. and Wegman M. [1978], `Linear unification', J. of Computer and System Sciences 16(2), 158--167.

118.   Doc     Context   51   19. I. H. Sudborough. On the tape complexity of deterministic context-free languages. Journal of the ACM, 25:405--414, 1978.

119.   Doc     Context   51   [11] M.R.Garey, R.L.Graham, D.S.Johnson and D.E.Knuth, Complexity results for Bandwidth Minimization, SIAM Journal on Applied Mathematics, 34, 477-495,(1978).

120.   Doc     Context   51   15. B. Randell et al., "Reliability Issues in Computing System Design," Computing Surveys 10(2), pp. 123-165 (June 1978).

121.   Doc     Context   50   [7] J.K. Lenstra and A.H.G. Rinnooy Kan. Complexity of scheduling under precedence constraints. Operations Research, 26:22--35, 1978.

122.   Doc     Context   50   [EKM78] P. Ekman and W. Friesen, The Facial Action Coding System, Consulting Psychologists Press, San Francisco, CA, 1978.

123.   Doc     Context   50   [21] Hideyuki Tamura, Shunji Mori, and Takashi Yamawaki. Texture Features Corresponding to Visual Perception. IEEE Transactions on Systems, Man, and Cybernetics, 8(6), June 1978.

124.   Doc     Context   50   [4] Breeden, D. and Litzenberger, R.H. Prices of state-contingent claims implicit in options prices, Journal of Business 51 (1978) 621-651.

125.   Doc     Context   49   [2] W.A. COPPEL, Dichotomies in stability theory, Lect. Notes Math., 629, Springer, Berlin, 1978.

126.   Doc     Context   48   [26] R. M. Russell. The CRAY-1 computer system. Communications of the ACM, 21(1):63--72, January 1978.

127.   Doc     Context   48   [8] G. E. P. Box, W. G. Hunter, and J. S. Hunter. Statistics for experimenters: An Introduction to Design, Data Analysis, and Model Building. John Wiley & Sons, 1978.

128.   Doc     Context   48   Lucas, R.E., Jr. (1978). `Asset prices in an Exchange Economy'. Econometrica, 46, 1429--1445.

129.   Doc     Context   48   [Da78] Davies, C.T., Data Processing Spheres of Control, IBM Systems Journal Vol.17 No.2, 1978

130.   Doc     Context   48   11 Drew McDermott 1978 Planning and acting, Cognitive Science 2, no. 2, pp. 71--109

131.   Doc     Context   48   2. Cook, S.: Soundness and Completeness of an Axiom System for Program Verification. SIAM Journal on Computing, Vol. 7, No. 1 (February 1978) 70--90

132.   Doc     Context   47   [38] L.S. Vygotsky. Mind in Society: The Development of Higher Psychological Processes. Harvard University Press, 1978.

133.   Doc     Context   47   [3] H. G. Barrow and J. M. Tenenbaum. Recovering intrinsic scene characteristics from images. In A. Hanson and E. M. Riseman, editors, Computer Vision Systems, pages 3--26. Academic Press, New York, 1978.

134.   Doc     Context   47   [2] Boehm, B.W., J.R. Brown, H. Kaspar, M. Lipow, G.J. MacLeod and M.J. Merrit. Characteristics of Software Quality, TRW series of software technology, North-Holland, (1978).

135.   Doc     Context   47   11. Michael Reed and Barry Simon, Analysis of Operators, Methods of Modern Mathematical Physics IV, Academic, New York, 1978.

136.   Doc     Context   46   [5] Moler, C. B., and Van Loan, C. F. (1978). Nineteen dubious ways to compute the exponential of a matrix. SIAM Review, 20, 801--836.

137.   Doc     Context   46   10. Leslie Lainport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.

138.   Doc     Context   46   [5] Kleene, S.C. (1978) "Recursive Functionals and Quantifiers of Finite Types Revisited II." in The Kleene Symposium, North-Holland, J. Barwise, H.J. Keisler and K. Kunen eds.

139.   Doc     Context   46   J. R. Hobbs. Resolving Pronoun References. Lingua, 44:311--338, 1978.

140.   Book   Context   45   [6] Y. S. Chow and H. Teicher. Probability Theory. Springer, New York, 1978.

141.   Doc     Context   45   [7] A. Hopkins, T. Smith, and J. Lala. FTMP - A highly reliable fault-tolerant multiprocessor for aircraft. Proceedings of the IEEE, 66(10):1221--1240, Oct. 1978.

142.   Book   Context   45   [10] S. Helgason, Differential geometry, Lie groups and symmetric spaces, Academic Press, New York, 1978.

143.   Doc     Context   45   Gaschnig, J. 1978. Experimental case studies of backtrack vs. waltz-type vs. new algorithms for satisficing assignment problems. In Proceedings of the Second Canadian Conference on Artificial Intelligence, 268-- 277.

144.   Doc     Context   45   [10] James R. Bunch, Christopher R. Nielsen, and Danny C. Sorensen. Rank-one modification of the symmetric eigenproblem. Numerische Mathematik, 31:31--48, 1978.

145.   Doc     Context   45   [6] K.H.Hunt. Kinematic Geometry of Mechanisms. Clarendon Press, Oxford, 1978.

146.   Doc     Context   44   [SCSA78] S.M.Weiss, C.A.Kulikowski, S.Amarel, and A.Safir. A model-based method for computer-aided medical decision-making. Artificial Intelligence, 11:145--172, 1978.

147.   Doc     Context   44   [4] R. G. Gallager, "Variations on a theme by Huffman," IEEE Trans. Inform. Theory, Vol. IT-24, pp. 668-674, Nov. 1978.

148.   Doc     Context   44   [Brent, 1978] R. P. Brent. A fortran multiple-precision arithmetic package. ACM Trans. Math. Software, 4:57--81, 1978.

149.   Doc     Context   44   [Bar78] J. Barth. A practical interprocedural data flow analysis algorithm. In Communications of the ACM, 21(9):724--736, September 1978.

150.   Doc     Context   44   [18] A.J. Smith. Sequentiality and Prefetching in Database Systems. ACM Transactions on Database Systems, 3(3):223--247, September 1978.

151.   Doc     Context   44   [13] A. K. Mok and M. Dertouzos, "Multiprocessor scheduling in a hard real-time environment," in Proc. Seventh Texas Conf. Comput. Syst., Nov. 1978.

152.   Doc     Context   43   [8] H. S. Hou and H. C. Andrews, "Cubic splines for image interpolation and digital filtering," IEEE Transactions on Acoustics,Speech and Signal Processing, vol. ASSP26, pp. 508--517, December 1978.

153.   Doc     Context   43   [63] O.E. Barndorff-Nielsen, Information and exponential families in statistical theory, John Wiley and Sons, New York, 1978.

154.   Book   Context   43   [13] CONWAY, J.B., Functions of One Complex Variable, Springer Verlag, New York, 1978.

155.   Doc     Context   43   [19] A.G. Khovanskii. Newton Polyhedra and the Genus of Complete Intersections. Funktsional'nyi Analiz i Ego Prilozheniya, 12(1):51--61, Jan.--Mar. 1978.

156.   Doc     Context   42   Medin, D. L. & Schaffer, M. M. (1978). Context theory of classification learning.

157.   Doc     Context   42   Brown, J., and Burton, R. (1978). Diagnostic models for procedural bugs in basic mathematical skills.

158.   Doc     Context   42   [15] R. L. Rivest, L. Adleman, and M. L. Dertouzos, On data banks and privacy homomorphisms, in (Richard A. DeMillo, editor), Foundations of Secure Computation, Academic Press, (1978), 169--177.

159.   Doc     Context   42   [14] E. G. Coffman, Jr., M. R. Garey, and D. S. Johnson, "An application of bin-packing to multiprocessor scheduling," SIAM Journal on Computing, vol. 7, pp. 1--17, February 1978.

160.   Doc     Context   41   [13] Koenker, R. and Basset, G. (1978). Regression quantiles, Econometrica, 46, 33--50.

161.   Doc     Context   41   [Da] V. I. Danilov, The geometry of toric varieties, Russian Math. Surveys 33 (1978), 97--154.

162.   Doc     Context   41   14. J.J. L'evy. R'eductions correctes et optimales dans le lambda calcul. PhD thesis, Universit'e Paris VII, 1978.

163.   Doc     Context   40   [10] D. Reed. Naming and Synchronization in a Decentralized Computer System. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, September 1978.

164.   Doc     Context   40   [24] R. Nussinov, G. Piecznik, J. R. Griggs, and D. J. Kleitman. Algorithms for loop matching. SIAM J. Appl. Math., 35(1):68--82, 1978.

165.   Doc     Context   39   [20] J. Sifakis. Use of Petri nets for performance evaluation. Acta Cybernetica, 4(2):185--202, 1978.

166.   Doc     Context   39   [6] G. Lueker, A data structure for orthogonal range queries, Proceedings of the 19th Annual IEEE Symposium on Foundations of Computer Science (1978), pp. 28-34.

167.   Doc     Context   39   [10] Gary G. Hendrix, Earl D. Sacerdoti, Daniel Sagalowicz, and Jonathan Slocum. Developing a natural language interface to complex data. ACM Transactions on Database Systems, 3(2):105--147, June 1978.

168.   Book   Context   39   Chow, Y. and Teicher, H. (1978) Probability Theory: Independence, Interchangeability, Martingales. New York: Springer-Verlag.

169.   Doc     Context   39   Frazier, Lyn. 1978. On comprehending Sentences:Syntactic Parsing Strategies . PhD thesis, University of Massachusetts.

170.   Doc     Context   39   [2] M. F. Atiyah, N. J. Hitchin and I. M. Singer, Self-duality in four dimensional Riemannian geometry, Proc. Roy. Soc. London A 362 (1978) pp. 425-461.

171.   Doc     Context   39   Ekman, P. & Friesen, W. (1978), Facial Action Coding System: A Technique for the Measurement of Facial Movement, Consulting Psychologists Press, Palo Alto, CA.

172.   Doc     Context   39   [31] J. Avron, I. Herbst and B. Simon, Schrodinger operators with magnetic fields. I. General interactions. Duke Math. J. 45 (1978), 847-883.

173.   Doc     Context   39   [20] Muller, D.E., and F.P. Preparata, Finding the intersection of two convex polyhedra. Theoretical Computer Science 7 (1978), pp. 217--236.

174.   Doc     Context   39   K.B. Athreya and P. Ney (1978), A new approach to the limit theory of recurrent Markov chains. Trans. Amer. Math. Soc. 245, 493-501.

175.   Doc     Context   39   R. P. Brent and H. T. Kung, Fast algorithms for manipulating formal power series, J. Assoc. Comput. Mach., 25 (1978), pp. 581--595.

176.   Doc     Context   38   [8] J. Felsenstein, Cases in which parsimony or compatibility methods will be positively misleading, Systematic Zoology, 22 (1978), pp. 240--249. 12

177.   Doc     Context   38   Cohen, Philip R. (1978). On Knowing What to Say: Planning Speech Acts. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada. Published as University of Toronto, Department of Computer Science Technical Report No. 118.

178.   Doc     Context   38   [117] John Guttag, Ellis Horowitz, and David Musser. Abstract data types and software validation. Communications of the Association for Computing Machinery, 21(12):1048--1064, 1978.

179.   Doc     Context   38   32. J. S. Lim and A. V. Oppenheim. All-pole modeling of degraded speech. IEEE Transactions on Acoustics, Speech, and Signal Processing, 26(3):197--210, June 1978.

180.   Doc     Context   38   [3] R. G. Gallager, "Conflict Resolution in Random Access Broadcast Networks", Proceedings of the AFOSR Workshop on Communication Theory and Applications, Provincetown, MA, pp. 74-76, 1978.

181.   Doc     Context   37   [Ries78] D. Ries, and R. Epstein, "Evaluation of Distribution Criteria for Distributed Database Systems", UCBERL Technical Report M78/22, UC Berkeley, May 1978.

182.   Doc     Context   37   1. P. Aczel. A general Church-Rosser theorem. Draft, Manchester, 1978.

183.   Doc     Context   37   [RS] Reed, M., Simon, B.: Methods of modern mathematical physics IV: Analysis of operators. New York: Academic 1978

184.   Doc     Context   37   [31] D.J. Rosenkrantz, R.E. Stearns, and P.M. Lewis, "System level concurrency control for distributed database systems", ACM Transactions on Database Systems, vol. 3, no. 2, June 1978.

185.   Doc     Context   37   Charnes, A., W.W. Cooper, and E. Rhodes (1978), "Measuring Efficiency of Decision Making Units", European Journal of Operational Research 2, 429-444.

186.   Doc     Context   36   [3] I. Babuska und W.C. Rheinboldt, A posteriori error estimates for finite element methods, Int. J. Numer. Math. Engrg. 12 (1978), 1597--1615.

187.   Doc     Context   36   [12] J. Heaps. Information Retrieval - Computational and Theoretical Aspects. Academic Press, 1978.

188.   Doc     Context   36   [Kob78] Kobayashi, H.: Modeling and Analysis: An Introduction to System Performance Evaluation Methodoloy. Addison Wesley 1978

189.   Doc     Context   36   [32] T. Poston and I.N. Stewart, Catastrophe Theory and its Applications, Pitman, London, 1978.

190.   Doc     Context   36   [10] E. Szemer'edi, Regular partitions of graphs, in: Proc. Colloque Inter. CNRS (J. -C. Bermond, J. -C. Fournier, M. Las Vergnas and D. Sotteau eds.) (1978), 399-401.

191.   Doc     Context   36   [14] D. Quillen, Homotopy properties of the poset of nontrivial p-subgroups of a group, Advances in Math. 28 (1978), 101-128.

192.   Doc     Context   35   Harrison, D., & Rubinfeld, D. (1978). Hedonic prices and the demand for clean air. Journal of Environmental Economics and Management, 5, 81--102.

193.   Doc     Context   35   [Opp78] D. Oppen. A 2 2 2 pn upper bound on the complexity of presburger arithmetic. Journal of Computer and System Sciences, 16(3):323--332, July 1978.

194.   Doc     Context   35   [36] R. Shostak. An algorithm for reasoning about equality. Communications of the ACM, 21:583--585, July 1978.

195.   Doc     Context   35   [15] E.L. Lawler. Sequencing jobs to minimize total weighted completion time. Annals of Discrete Math., 2:75--90 (1978).

196.   Doc     Context   35   [3] G. Berry. Stable models of typed lambda-calculi. In Proc. 5th Coll. on Automata, Languages, and Programming, pages 72--89. Lecture Notes in Computer Science 62, Springer-Verlag, 1978.

197.   Doc     Context   35   [1] J. R. BUNCH AND C. P. NIELSEN, Updating the singular value decomposition, Numer. Math., 31 (1978), pp. 111--129.

198.   Doc     Context   35   [19] J.-L. Lauriere, A Language and a Program for Stating and Solving Combinatorial Problems. Artificial Intelligence 10 (1978) 29--127.

199.   Doc     Context   35   [13] M. Yannakakis, Node- and Edge-deletion NP-complete Problems, Proc. 10th Annual ACM Symposium on Theory of Computing (Association for Computing Machinery, New York, 1978) 253--264.

200.   Doc     Context   34   [2] G. N. Frederickson, M. S. Hecht, and C. E. Kim, "Approximation Algorithms for Some Routing Problems," SIAM Journal on Computing 7 (1978), 178--193.

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST