Most cited articles in Computer Science published in 1990 - 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.   Book   Context   1005   [20] R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990.

2.   Book   Context   869   [Fuk] K. Fukunaga. Introduction to statistical pattern recognition (2nd ed). Academic Press, Boston 1990.

3.   Doc     Context   868   [5] Richard Fikes and Nils Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. In James Allen, James Hendler, and Austin Tate, editors, Readings in Planning. Morgan Kaufmann, 1990.

4.   Doc     Context   751   [7] A. Demers, S. Keshav, and S. Shenker. Analysis and simulation of a fair queueing algorithm. In Journal of Internetworking Research and Experience, pages 3--26, October 1990. Also in Proceedings of ACM SIGCOMM'89, pp 3-12.

5.   Doc     Context   733   [7] N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243--320. Elsevier, 1990.

6.   Doc     Context   718   [37] L. G. Valiant. A bridging model for parallel computation. Communications of the ACM, 33(8):103--111, Aug. 1990.

7.   Doc     Context   697   4. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996--1072. Elsevier, 1990.

8.   Doc     Context   623   [4] J.L. Elman. Finding structure in time. Cognitive Science, 14:179--211, 1990.

9.   Doc     Context   594   [Clark90] Clark, D., Tennenhouse, D., " Architectural Considerations for a New Generation of Protocols," Proc. SIGCOMM'10 Symposium, Sept. 1990, pp. 200--208.

10.   Doc     Context   541   [1] V. S. Sunderam, "PVM: A framework for parallel distributed computing," Concurrency: Practice and Experience, vol. 2(4), pp. 315--339, Dec. 1990.

11.   Doc     Context   535   Deerwester, S., Dumais, S. T., Furnas, G. W., Landauer, T. K., & Harshman, R. (1990). Indexing by latent semantic analysis. Journal of the American Society for Information Science, 41(6), 391-407.

12.   Doc     Context   525   3. D. Ferrari and D. Verma, A Scheme for Real-Time Channel Establishment in Wide-Area Networks, IEEE J. on Selected Areas in Communications, April 1990.

13.   Doc     Context   505   [17] L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronisation. IEEE Transactions on Computers, pages 11751185, September 1990.

14.   Book   Context   493   [3] Davey B. A., and Priestley H. A., Introduction to Lattices and Order, Cambridge University Press, (1990).

15.   Doc     Context   488   [7] A. P. Sheth & J. A. Larson, "Federated database systems for managing distributed, heterogeneous and autonomous databases," ACM Computing Surveys 22 (September 1990), 183--236.

16.   Doc     Context   482   [43] J. R. Quinlan, Learning Logical Definitions from Relations, Machine Learning 5 (1990) 239-- 266.

17.   Doc     Context   478   [24] Guy L. Steele, Jr. Common Lisp: The Language. Digital Press, 2nd edition, 1990.

18.   Book   Context   463   G. Farin, Curves and surfaces for computer aided geometric design, Academic Press, 1990.

19.   Doc     Context   450   [13] K. Gharachorloo, D. Lenoski, and et al. Memory Consistency and Event Ordering in Scalable Shared-memory Multiprocessors. In 17th International Symposium on Computer Architecture, pages 15--26, May 1990.

20.   Doc     Context   441   G. Wahba, Spline Models for Observational Data, CBSM-NSF Regional Conf. Ser. Appl. Math. 59 (SIAM, Philadelphia, 1990).

21.   Doc     Context   439   17. S. Deering and D. Cheriton, "Multicast routing in datagram inter-networks and extended lans," ACM Transactions on Computer Systems, vol. 8, pp. 85--110, May 1990.

22.   Doc     Context   431   [39] Norman P. Jouppi. Improving Direct-Mapped Cache Performance by the Addition of a Small Fully-Associative Cache and Prefetch Buffers. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 364--373. IEEE, June 1990.

23.   Doc     Context   426   [CFSD90] J.D. Case, M. Fedor, M.L. Schoffstall, and C. Davin. Simple Network Management Protocol (SNMP), May 1990. RFC 1157.

24.   Doc     Context   410   [AGM + 90] S. F. Altschul, W. Gish, W. Miller, E. W. Myers, and D. J. Lipman. A basic local alignment search tool. Journal of Molecular Biology, 1990.

25.   Doc     Context   408   [14] Fujimoto, R. M. Parallel discrete event simulation. Commun. ACM 33, 10 (1990), 30--53.

26.   Doc     Context   397   Hastie, T., Tibshirani, R. (1990): Generalized additive models. Chapman and Hall, London.

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

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

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

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

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

32.   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].

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

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

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

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

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

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

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

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

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

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

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

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

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

46.   Book   Context   313   [Fit90] Melvin C. Fitting. First-Order Logic and Automated Theorem Proving. Springer-Verlag, 1990.

47.   Doc     Context   311   [MTH90] Robin Miller, Mads Tofte, and Robert Harper, The definition of Standard ML, MIT Press, 1990.

48.   Book   Context   306   [17] J.C. Latombe, "Robot Motion Planning", Kluwer Academic Publishers, Boston, USA, 1990.

49.   Doc     Context   304   27. F. H. Clarke, Optimization and Nonsmooth Analysis. SIAM, 1990.

50.   Doc     Context   300   Abramovici, M., M. A. Breuer, and A. D. Friedman. 1990. Digital Systems Testing and Testable Design, New York: Computer Science Press.

51.   Doc     Context   300   [1] K.S. Brace, R.L. Rudell and R.E. Bryant. Efficient implementation of a BDD package. 27th ACM IEEE Design Automation Conference 1990. Pages 40-45.

52.   Doc     Context   297   Newell, A. (1990). Unified theories of cognition. Cambridge, MA: Harvard University Press.

53.   Doc     Context   290   1. A. Pothen, H.D. Simon and K.-P. Liou, "Partitioning sparse matrices with eigenvectors of graphs," SIAM Journal of Matrix Analysis and Applications, 11 (1990) 430--452.

54.   Doc     Context   290   [4] M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The object-oriented database system manifesto. In Proc. of the 1 st Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, Japan. Elsevier Science Publishers B.V (NorthHolland) , 1990.

55.   Doc     Context   288   [8] D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403--414, April 1990.

56.   Book   Context   284   [Morgan 90] C. Morgan, "Programming from Specifications", Prentice-Hall International(UK) Ltd., 1990.

57.   Doc     Context   283   6. Cooper, Gregory F. "The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks," Artificial Intelligence, 42 :393--405 (1990).

58.   Doc     Context   280   2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414--425, Philadelphia, June 1990.

59.   Doc     Context   277   Hobbs, J.R., M. Stickel, D. Appelt and P. Martin (1990) `Interpretation as abduction ', Technical Note No. 499, Artificial Intelligence Centre, SRI International, Menlo Park, CA.

60.   Doc     Context   275   [18] L. Kaufman and P. J. Rousseeuw. Finding Groups in Data: an Introduction to Cluster Analysis. John Wiley & Sons, 1990.

61.   Doc     Context   273   [KKR] P. C. Kanellakis, G. M. Kuper, and P. Z. Revesz, "Constraint Query Languages," Proc. 9th ACM PODS (1990), 299--313.

62.   Doc     Context   272   Johnson, D.S. 1990. A Catalog of Complexity Classes. In Handbook of Theoretical Computer Science, ed. J. van Leeuwen. 67--161. Elsevier.

63.   Doc     Context   271   [19] G. W. Stewart and Ji guang Sun (1990). Matrix Perturbation Theory. Academic Press, Boston.

64.   Doc     Context   269   [9] P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press, New York, New York, 1990.

65.   Doc     Context   267   [BAN90] Burrows, M., Abadi, M., and Needham, R. M. "A Logic of Authentication", ACM Transactions on Computer Systems, Vol. 8, No. 1, Feb 1990, pp. 18-36. A Formal Semantics for Evaluating Cryptographic Protocols p 14

66.   Doc     Context   257   [10] Carlin N., Frumhoff P., Nepotism in the honeybee, Nature 346 (1990) 706.

67.   Doc     Context   257   [Le] T. Lengauer, "Combinatorial algorithms for integrated circuit layout," John Wiley & Sons, New York, 1990.

68.   Doc     Context   255   [Col90] Alain Colmerauer. An introduction to PROLOG-III. Communications of the ACM, 33(7):69--90, July 1990.

69.   Doc     Context   250   Gelfond, M., and V. Lifschitz. 1990. Logic Programs with Classical Negation.

70.   Doc     Context   248   16. S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the 1st conference on algorithmic learning theory, pages 368--381. Ohmsma, Tokyo, Japan, 1990.

71.   Doc     Context   246   [12] Robert E. Schapire. The strength of weak learnability. Machine Learning, 5(2):197--227, 1990.

72.   Doc     Context   244   [30] Wadler P.L. Comprehending Monads. Proceedings of the ACM Conference on Lisp and Functional Programming, Nice, France (June 1990)

73.   Doc     Context   239   [11] D. Chase, M. Wegman, and F. Zadek. Analysis of pointers and structures. In Proceedings of the SIGPLAN '90 Conference on Program Language Design and Implementation, White Plains, NY, June 1990.

74.   Doc     Context   238   [38] M. L. Puterman. Markov decision processes. In Handbook in Operations Research and Management Science, pages 331--434. 1990.

75.   Doc     Context   234   [6] G. Bracha and W. Cook. Mixin-based inheritance. In Proc. of the Joint ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications and the European Conference on Object-Oriented Programming, October 1990.

76.   Doc     Context   234   [3] B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 2nd edition, 1990.

77.   Doc     Context   228   [14] R. M. Karp and V. Ramachandran. Parallel algorithms for shared-memory machines. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 17, pages 869--941. Elsevier Science Publishers B.V., 1990.

78.   Doc     Context   226   [6] W. E. L. Grimson. Object Recognition by Computer: The role of geometric constraints. The MIT Press, Cambridge, 1990.

79.   Doc     Context   226   [46] L.G. Valiant. General purpose parallel architectures. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. A. Elsevier Science Publishers and MIT Press, 1990.

80.   Doc     Context   225   [10] Satyanarayanan, M, Kistler, J. J., Kumar, et. al., "Coda: a Highly available File System for a Distributed Workstation Environment," IEEE Trans. on Computers, 39(4): 447-459, 1990.

81.   Book   Context   225   Barr, M., & Wells, C. 1990. Category Theory for Computing Science. Prentice Hall.

82.   Doc     Context   224   Perception, 15, 595-602. Kirby, M & Sirovich, L. (1990). Applications of the Karhunen-Loeve procedure for the characterisation of human faces. IEEE: Transactions on Pattern Analysis and Machine Intelligence, 12,103-108.

83.   Doc     Context   222   Salton, G., and Buckley, C. 1990. Improving retrieval performance by relevance feedback. Journal of the American Society for Information Science 41:288--297.

84.   Doc     Context   221   17. L. Westover. "Footprint Evaluation for Volume Rendering". Proceedings of Siggraph `90, Vol. 24, 1990, pp. 367-376.

85.   Book   Context   221   [BW90] J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, Cambridge, 1990. ISBN 0-52140043 -0.

86.   Doc     Context   219   [7] M. Wirsing. Algebraic specifications. In Formal models and semantics, Handbook of Theoretical Computer Science, chapter 13, pages 675--788. Elsevier, 1990.

87.   Doc     Context   216   25. F. R. Gantmacher, The Theory of Matrices, Vol. 1, Chelsa, New York, 1990.

88.   Doc     Context   215   [6] R. J. LeVeque, Numerical Methods for Conservation Laws, Birkhauser-Verlag, 1990.

89.   Doc     Context   213   [9] S. Martello and P. Toth. Knapsack Problems: Algorithms and Computer Implementations. Wiley, Chichester, West Sussex, England, 1990.

90.   Doc     Context   208   [27] H. Nijmeijer and A.J. van der Schaft. Nonlinear Dynamical Control Systems. Springer-Verlag, 1990.

91.   Doc     Context   208   [2] Elliot J. Chikofsky and James H. Cross, II, "Reverse Engineering and Design Recovery: A Taxonomy, " IEEE Software, vol. 7, no. 1, pp. 13-17, January 1990.

92.   Doc     Context   206   Harnad, S. (1990). The symbol grounding problem. Physica D, 42, 335-346.

93.   Doc     Context   205   [29] A. Valmari. A Stubborn Attack on State Explosion. Theoretical Computer Science, 3, 1990.

94.   Doc     Context   205   47. K. K. Ramakrishnan and R. Jain, A Binary Feedback Scheme for Congestion Avoidance in Computer Networks, ACM ACM Trans. on Comp. Sys. 8, 2 (May 1990), 158181.

95.   Book   Context   203   [13] Stefano Ceri, Georg Gottlob, and Letizia Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990. ISBN 3-540-51728-6, ISBN 0-387-51728-6.

96.   Doc     Context   203   [KLM90] S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167--207, 1990.

97.   Doc     Context   200   [2] H.E. Bal, M.F. Kaashoek, A.S. Tanenbaum, "Orca: A Language for Parallel Programming of Distributed Systems", IEEE Transactions on Software Engineering, Vol. 18, No. 3, March 1990, pages 190-205.

98.   Doc     Context   199   [32] R.J. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice Hall, Englewood Cliffs, New Jersey, 1990.

99.   Doc     Context   198   Tufte, E. R. 1990. Envisioning Information. Graphics Press, Cheshire, Connecticut.

100.   Doc     Context   195   [2] Sarota V. Adve and Mark D. Hill. Weak ordering ---a new definition. In 17th Annual International Symposium on Computer Architecture, pages 15--26, 1990.

101.   Doc     Context   194   P. F. Brown, J. Cocke, S. Della Pietra, V. Della Pietra, F. Jelinek, R. Mercer, & P. Roossin, "A Statistical Approach to Machine Translation," Computational Linguistics 16(2), 1990.

102.   Doc     Context   194   [15] E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooy Kan and D. B. Shmoys, 1990. Sequencing and Scheduling: Algorithms and Complexity, in Handbooks in Operations Research and Management Science, Volume 4: Logistics of Production and Inventory, S. C. Graves, A. H. G. Rinnooy Kan and P. Zipkin, ed., NorthHolland.

103.   Doc     Context   193   1. D. Ferrari, Client Requirements for Real-Time Communications Services, IEEE Communications Magazine 28, 11 (November 1990).

104.   Doc     Context   192   [Adobe 90] Adobe Inc.: PostScript Language Reference Manual, Second Edition, Addison-Wesley 1990

105.   Doc     Context   192   [3] J. H. Bramble, J. E. Pasciak, and J. Xu. Parallel multilevel preconditioners. Math. Comp., 55:1--22, 1990.

106.   Doc     Context   190   [8] D. R. Smith. KIDS: A Semi-automatic Program Development System. IEEE Transactions on Software Engineering, 16(9):1024--1043, September 1990.

107.   Doc     Context   190   8. K. Narendra and K. Parthasarathy, "Identification and Control of Dynamical Systems Using Neural Networks", IEEE Trans. on Neural Networks, vo.1, no.1, pp. 4-27, 1990

108.   Doc     Context   187   [8] J.K. Bennett, J.B. Carter and W. Zwaenepoel, "Munin : Distributed shared memory based on type-specific memory coherence", Proc. of the 1990 Conference on Principles and Practice of Parallel Programming

109.   Doc     Context   187   [3] Richard Helm, Ian M. Holland, and Dipayan Gangopadhyay. Contracts: Specifying behavioral compositions in object-oriented systems. In OOPSLA Conference, Special Issue of SIGPLAN Notices, pages 169--180, Ottawa, 1990. ACM Press. joint conference ECOOP/OOPSLA.

110.   Doc     Context   186   [4] Anant Agarwal, Beng-Hong Lim, David A. Kranz, and John Kubiatowicz. APRIL: A Processor Architecture for Multiprocessing. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 104--114. IEEE, June 1990.

111.   Doc     Context   185   [34] C. C. Lee, "Fuzzy logic in control systems: fuzzy logic controller -- part I," IEEE Trans. Syst., Man, Cybern., vol. 20, no. 2, pp. 404--418, 1990.

112.   Doc     Context   185   [34] Jan J. Koenderink. Solid Shape. The MIT Press, 1990. ISBN 0-262-11139-X.

113.   Doc     Context   183   [34] R. Milner. Functions as processes. In Lecture Notes in Computer Science, number 443, pages 167--180. Springer-Verlag, Berlin, 1990.

114.   Doc     Context   183   [18] J. A. C. Bingham, "Multicarrier modulation for data transmission: An idea whose time has come," IEEE Communications Magazine, vol. 28, pp. 5--14, May 1990.

115.   Doc     Context   182   [11] K. Pettis and R.C. Hansen. Profile guided code positioning. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 16--27. ACM, ACM, June 1990.

116.   Doc     Context   180   Pollack, J. B. (1990). Recursive distributed representations. Artificial Intelligence, 46, 77-105.

117.   Doc     Context   180   [59] F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and JW. Klop, eds, Concur'90: Theories of Concurrency -- Unification and Extension, LNCS 458, pages 401-- 415. Springer-Verlag, 1990.

118.   Doc     Context   180   18. A. Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, 1990.

119.   Doc     Context   179   2. C. R. Kalmanek, H. Kanakia and S. Keshav, Rate Controlled Servers for Very High Speed Networks, Proc. Globecom 1990, December 1990, 300.3.1-300.3.9.

120.   Book   Context   179   [11] G.E. Blelloch. Vector Models for Data-Parallel Computing. MIT Press, 1990.

121.   Doc     Context   179   [4] T.E. Anderson. The Performance of Spin Lock Alternatives for Shared-memory Multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 1(1):6--16, January 1990.

122.   Doc     Context   177   Miller, G. (1990). Wordnet: An on-line lexical database. International journal of Lexicography, 3(4):235--312.

123.   Doc     Context   176   [Apt 90] K.R.Apt, Logic Programming, in: J. van Leeuwen (ed.), Formal Models and Semantics. Handbook of Theoretical Computer Science, Vol.B, Elsevier 1990, pp. 493--574

124.   Doc     Context   176   [1] Samson Abramsky. The lazy lambda calculus. In David Turner, editor, Research Topics in Functional Programming, UT Year of Programming Series, pages 65--117. Addison-Wesley, 1990.

125.   Doc     Context   176   [PUGH90] W. Pugh, Skip Lists: a Probabilistic Alternative to Balanced Trees, Communications of the ACM, vol. 33, no. 6, pp.668-676, 1990.

126.   Doc     Context   175   [ES90] Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, Reading, Massachusetts, 1990.

127.   Doc     Context   175   [64] S. Reiss. Connecting Tools Using Message Passing in the Field Environment. IEEE Software, pages 57--66, July 1990.

128.   Doc     Context   175   [Neb90] B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Springer-Verlag Lecture Notes in Artificial Intelligence, 422, 1990.

129.   Doc     Context   174   [138] F. Glover, Tabu search---Part II, ORSA J. Comput., Vol. 2: 4--32, 1990.

130.   Doc     Context   174   Cook, W. R., Hill, W. L., & Canning, P. S. 1990 (Jan.). Inheritance is not Subtyping.

131.   Doc     Context   172   [2] Bakoglu, H. B., Circuits, Interconnections, and Packaging for VLSI, Addison Wesley, 1990.

132.   Doc     Context   171   Rina Dechter. Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition. Artificial Intelligence, 41:273--312, 1990.

133.   Doc     Context   171   [Ous90] J. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In Proc. of the Summer USENIX Conference, pages 247--256, June 1990.

134.   Doc     Context   170   [AD90] R. Alur and D.L. Dill. Automata for modeling real-time systems. In M.S. Paterson, editor, ICALP 90: Automata, Languages, and Programming, Lecture Notes in Computer Science 443, pages 322--335. Springer-Verlag, 1990.

135.   Doc     Context   167   [33] H. Tokuda, T. Nakajima, and P. Rao, "Real-Time Mach: Towards a Predictable Real-Time System", In Proceedings of USENIX Mach Workshop, October, 1990.

136.   Doc     Context   166   [9] D. P. Huttenlocher and S. Ullman. Recognizing solid objects by alignment with an image. International Journal of Computer Vision, 5(2):195--212, 1990.

137.   Doc     Context   165   [26] E. Mohr, D. Kranz, and R. Halstead. Lazy task creation: a technique for increasing the granularity of parallel programs. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 185--197, June 1990.

138.   Doc     Context   164   [2] G. Wolberg. Digital Image Warping. IEEE Computer Society Press, 1990.

139.   Doc     Context   162   [46] Philip Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, Programming Concepts and Methods, Sea of Galilee, Israel, April 1990. North Holland. IFIP TC 2 Working Conference.

140.   Doc     Context   162   [48] J. Mogul and S. Deering, "Path MTU Discovery," Network Information Center RFC 1191, pp. 1--19, Apr. 1990.

141.   Doc     Context   161   10. H. J. Levesque, P. R. Cohen, and J. H. T. Nunes. On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pages 94--99, Boston, MA, 1990.

142.   Book   Context   158   [17] Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press, 1990.

143.   Doc     Context   157   [7] Pattie Maes. Situated agents can have goals. Journal for Robotics and Autonomous Systems, 6(1):49--70, 1990.

144.   Doc     Context   156   [5] R. Korf. Real-Time Heuristic Search. Artificial Intelligence, vol. 42, no. 2-3, pp. 189-211, 1990.

145.   Doc     Context   156   [Sta90] John T. Stasko. TANGO: A framework and system for algorithm animation. Computer, 23(9):27--39, September 1990.

146.   Doc     Context   155   [5] Gérard Berry and Gérard Boudol. The chemical abstract machine. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages 81--94, San Francisco, January 1990. ACM Press.

147.   Doc     Context   154   [13] Jeannette M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8--24, September 1990.

148.   Doc     Context   154   [1] Rafael Alonso, Daniel Barbara, and Hector GarciaMolina. Data Caching Issues in an Information Retrieval System. ACM Transactions on Database Systems, 15(3):359--384, September 1990.

149.   Doc     Context   153   14 Hirsch, C., Numerical Computation of Internal and External Flows---Volume 2: Computational Methods for Inviscid and Viscous Flows, John Wiley & Sons Ltd., 1990.

150.   Doc     Context   153   [32] K. Knobe, J.D. Lukas, and G.L. Steele. Data optimization: Allocation of arrays to reduce communication on SIMD machines. Journal of Parallel and Distributed Computing, 8:102--118, 1990.

151.   Book   Context   152   [6] G. F. Franklin, J. D. Powell, and M. L. Workman. Digital Control of Dynamic Systems. Addison-Wesley, Reading, MA, second edition, 1990.

152.   Doc     Context   151   [NY90] M. Naor and M. Yung. Public-key cryptosystems provably secure against chosen ciphertext attack. In Proceedings of the twenty second annual ACM Symp. Theory of Computing, STOC, pages 427--437, May 14--16, 1990.

153.   Doc     Context   151   2. M. K. Varanasi and B. Aazhang. Multistage detection in asynchronous code-division multiple-access communications. IEEE Trans. Communications, 38(4):509-519, April 1990.

154.   Doc     Context   151   6. R. Lupas and S. Verdu. Near-far resistance of multiuser detectors in asynchronous channels. IEEE Trans. Communications, 38(4):496-508, April 1990.

155.   Doc     Context   151   [Ble90] G. Blelloch. Nesl: A nested data parallel language. Technical Report CMU-CS-92-103, CMU, 1990.

156.   Doc     Context   150   Kitano, H. (1990). Designing neural networks using genetic algorithms with graph generation system.

157.   Doc     Context   150   [5] C. A. Brackett. Dense wavelength division multiplexing networks: Principle and applications. IEEE Journal on Selected Areas in Communications, 8(6):948-- 964, August 1990.

158.   Doc     Context   150   13. W. Litwin, L. Mark and N. Roussopoulos. Interoperability of Multiple Autonomous Databases. In ACM Computing Surveys, 22:267--293, 1990.

159.   Doc     Context   149   77. E. Zeidler, Nonlinear Functional Analysis and its Applications II/B: Nonlinear Monotone Operators, Springer-Verlag, New York, NY, 1990. Received Date Accepted Date Final Manuscript Date

160.   Doc     Context   149   Corman, T. H.; Leiserson, C. E.; and Rivest, R. L. 1990. Introduction to Algorithms. MIT Press.

161.   Book   Context   149   [Foley90] Foley J., van Dam A., Feiner S., Hughes J.: Computer Graphics, Principles and Practice, second edition, Addison-Wesley, Reading, MA, 1990

162.   Doc     Context   148   [Agr90] A. Agresti. Categorical Data Analysis. Wiley-Interscience 1990.

163.   Doc     Context   148   Whittaker, J.,1990, Graphical Models in Applied Multivariate Statistics (Wiley, New York).

164.   Doc     Context   148   [15] J. K. Ousterhout. Tcl: An embeddable command language. In Winter USENIX Conference Proceedings, 1990.

165.   Doc     Context   146   [3] U. Dayal, M. Hsu, and R. Ladin, "Organizing Long-Running Activities with Triggers and Transactions," Proceedings of ACM SIGMOD, 1990.

166.   Doc     Context   146   [Pagallo&Haussler 90] Pagallo, G. and Haussler, D. Boolean feature discovery in empirical learning. Machine Learning, 5(1):71--100, March 1990.

167.   Doc     Context   145   Lenat, D. and R. Guha (1990). Building Large Knowledge Based Systems. Reading, MA: Addison Wesley.

168.   Doc     Context   145   Apt, K. R. 1990. Introduction to logic programming. In Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Vol. B: Formal Models and Semantics. Elsevier, Amsterdam, and The MIT Press, Cambridge, Mass., 495--574.

169.   Doc     Context   143   [15] J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: Representing knowledge about information systems. In ACM Trans. on Information Systems. vol. 8(4), 1990.

170.   Doc     Context   143   [25] Y. Saad. SPARSKIT: A Basic Tool Kit for Sparse Matrix Computation. Tech. Report CSRD TR 1029, Center for Supercomputing Research and Development, University of Illinois at Urbana Champaign, 1990.

171.   Doc     Context   142   [1] Airey, J. M., Rohlf, J. H., and Brooks, Jr., F. P. Towards Image Realism with Interactive Update Rates in Complex Virtual Building Environments. ACM Siggraph Special Issue on 1990 Symposium on Interactive 3D Graphics 24, 2 (1990), 41--50.

172.   Doc     Context   142   3. D. Fleet and A. Jepson, "Computation of component image velocity from local phase information," International Journal of Computer Vision, vol. 5, pp. 77-- 104, 1990.

173.   Doc     Context   141   [CDS90] Y. Le Cun, J. Denker, and S. Solla. Optimal brain damage. In D. Touretzky, editor, Advances in Neural Information Processing Systems 2, San Jose, 1990. Morgan Kaufmann.

174.   Doc     Context   141   R. Brooks (1990) "Elephants Don't Play Chess" in "Journal of Robotics and Autonomous Systems", Volume 6, p. 3-15.

175.   Doc     Context   141   Greene, William H., 1990. Econometric Analysis. New York: Macmillan.

176.   Doc     Context   140   [2] A.C.Bovik, M.Clark, and W.S.Geisler, "Multichannel texture analysis using localized spatial filters, " IEEE Trans. on Pattern Analysis and Machine Intelligence, Vol.12, No.1, 1990.

177.   Doc     Context   139   [DiSc90] Dijkstra, E. W., Scholten, C. S.: Predicate Calculus and Program Semantics. Springer, New York, 1990

178.   Doc     Context   139   [Dally90] W. Dally: "Virtual-Channel Flow Control", Proc. of the 17th Int. Symp. on Computer Architecture, ACM SIGARCH vol. 18, no. 2, May 1990, pp. 60-68.

179.   Book   Context   139   [8] K.J. Falconer. Fractal Geometry: Mathematical Foundations and Applications. John Wiley and Sons, New York, 1990.

180.   Doc     Context   138   [24] D. Kozen and J. Tiuryn. Logics of programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 789--840. Elsevier, 1990.

181.   Doc     Context   138   [Godfrey 92] J.J. Godfrey, E.C. Holliman, J. McDaniel, "Switchboard: Telephone speech Corpus for Research and Development", ICASSP 90, vol. 1, pp. 517-520, 1990.

182.   Doc     Context   138   [2] R. B. Boppana and M. Sipser. The complexity of finite functions. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume A: Algorithms and Complexity, pages 758--804. Elsevier Science Publisher, 1990.

183.   Doc     Context   136   [45] Mads Tofte. Type inference for polymorphic references. Information and Computation, 89:1-- 34, November 1990.

184.   Book   Context   136   [8] J.E. Humphreys, Reflection Groups and Coxeter Groups, Cambridge University Press, 1990.

185.   Doc     Context   136   [Ban90] U. Banerjee. Unimodular transformations of double loops. Technical Report CSRD Rpt. No. 1036, University of Illinois, August 1990.

186.   Doc     Context   136   Grosz, B. J. and Sidner, C. 1990. Plans for discourse.

187.   Doc     Context   135   [1] A.A. Amini, T.E. Weymouth, and R.C. Jain. Using dynamic programming for solving variational problems in vision. IEEE Transaction on Pattern Analysis and Machine Intelligence, 12(9):855--867, September 1990.

188.   Doc     Context   135   [14] K. R. Rao and P. Yip, Discrete Cosine Transform: Algorithms, Advantages and Applications. New York, NY: Academic Press, 1990.

189.   Doc     Context   135   9. M. Levoy. "Efficient Ray Tracing of Volume Data". ACM Transactions on Graphics 9, July 1990, pp. 245-261.

190.   Doc     Context   135   [2] M. C. McFarland, A. C. Parker, and R. Camposano, "The High Level Synthesis of Digital Systems", Proceedings of the IEEE, vol. 78, no. 2, pp. 301--318, February 1990. CHAUDHURI et al.: ILP APPROACH TO SCHEDULING 471

191.   Doc     Context   134   [4] J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990.

192.   Book   Context   133   [Kc] V. Kac, Infinite dimensional Lie algebras, Third edition, Cambridge University Press, Cambridge 1990.

193.   Doc     Context   133   [Terzopoulos and Metaxas, 1990] D. Terzopoulos and D. Metaxas. Dynamic 3d models with local and global deformations: Deformable superquadrics. In Proc. of the IEEE Int. Conf. on Computer Vision, pages 606--615, Osaka, Japan, 1990.

194.   Doc     Context   133   4. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221--256. The MIT Press: Cambridge, MA, 1990.

195.   Doc     Context   132   [7] N. Dyn, J. A. Gregory and D. Levin, A butterfly subdivision scheme for surface interpolation with tension control, ACM Trans. on Graphics 9 (1990), 160--169.

196.   Doc     Context   132   [PiRo90] L. T. Pillage and R. A. Rohrer, "Asymptotic Waveform Evaluation for Timing Analysis," IEEE Trans. on Computer-Aided Design, 9(4), Apr. 1990, pp. 352--366.

197.   Doc     Context   132   [15] D. Laur and P. Hanrahan. Hierarchical Splatting: A Progressive Refinement Algorithm. In Computer Graphics, Vol.25, No.4, pages 12--15, 1990.

198.   Doc     Context   131   Sutton, RS (1990). Integrated architectures for learning, planning, and reacting based on approximating dynamic programming. Machine Learning: Proceedings of the Seventh International Conference, 216-224.

199.   Doc     Context   131   M. E. Pollack. 1990. Plans as complex mental attitudes.

200.   Doc     Context   130   [19] David Golub, Randall Dean, Alessandro Forin, and Richard Rashid. Unix as an application program. In Proceedings of the Summer 1990 USENIX Conference, pages 87--95, June 1990.

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST