Most cited articles in Computer Science - 6801 to 7000 - September 2006 (CiteSeer.Continuity)

Generated from documents in the CiteSeer.Continuity database. This list does not include citations where one or more authors of the citing and cited articles match. This list is automatically generated and may contain errors. The list is generated in batch mode and citation counts may differ from those currently in the CiteSeer.Continuity database, because the database is continuously updated.

All Years   1990   1991   1992   1993   1994   1995   1996   1997   1998   1999   2000   2001   2002   2003   2004   2005   2006  

Next 200     Previous 200

6801.   Doc     Context   78   [14] J. C. Mogul. Network behavior of a busy Web server and its clients. Research Report 95/5, DEC Western Research Laboratory, Oct. 1995.

6802.   Doc     Context   78   [10] L. Babai and S. Moran. Arthur-Merlin Games: A Randomized Proof System and a Hierarchy of Complexity Classes. Journal of Computer and System Science, Vol. 36, pages 254--276, 1988.

6803.   Doc     Context   78   [28] Wilson H R and Cowan J D 1972 Excitatory and inhibitory interactions in localized populations of model neurons<F3.967e+05> Biophys. J.<F3.74e+05> 12<F4.667e+05> 1--24

6804.   Doc     Context   78   [GLNS93] L.Gong, M.Lomas, R.Needham, J.Saltzer, "Protecting Poorly Chosen Secrets from Guessing Attacks", IEEE Journal on Selected Areas in Communications, Vol. 11, No. 5, (1993), pp. 648--656.

6805.   Doc     Context   78   [3] A. Carzaniga, G. P. Picco, and G. Vigna. Designing distributed applications with mobile code paradigms. In R.Taylor, editor, Proceedings of the 19th International Conference on Software Engineering (ICSE'97), pages 22 32. ACM Press, 1997.

6806.   Doc     Context   78   [VS94] J. S. Vitter and E. A. M. Shriver. Algorithms for parallel memory I: Two-level memories. Algorithmica, 12(2--3):110--147, 1994.

6807.   Doc     Context   78   [7] E. M. Clarke, K. McMillan, X. Zhao, M. Fujita, and J. Yang. Spectral transforms for large Boolean functions with application to technology mapping. In Proc. ACM/IEEE Design Automation Conference (DAC), pages 54--60, 1993.

6808.   Doc     Context   78   Appears in J. Cassell, J. Sullivan, and S. Prevost (eds.), Embodied Conversational Agents, MIT Press, 2000.

6809.   Doc     Context   78   [Be65] V. Benes, "Mathematical Theory of Connecting Networks and Telephone Traffic ", Academic Press, New York, NY, 1965.

6810.   Doc     Context   78   [27] J.M.Morel and S.Solimini. Variational Methods in Image Segmentation. Birkhauser publishing. inc. 1995.

6811.   Doc     Context   78   [Joh90] Johnson, B. W. Evaluation techniques, ch. 4 in Design and Analysis of Fault Tolerant Digital Systems, Reading, MA: Addison-Wesley, 1989.

6812.   Doc     Context   78   [15] M. D. Swanson, B. Zhu, and A. Tewfik. Transparent robust image watermarking. In Proceedings of the IEEE Int. Conf. on Image Processing ICIP-96, pages 211--214, Lausanne, Switzerland, September 1996.

6813.   Doc     Context   78   [20] C. Reutenauer, Free Lie Algebras, Oxford University Press, (1993).

6814.   Doc     Context   78   17. Shavlik J.W., Dietterich T.: Readings in Machine Learning, Morgan Kaufmann 1990.

6815.   Doc     Context   78   [TW68] Thatcher, J.W., Wright, J.B.: Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical System Theory 2(1968), pp. 57--81.

6816.   Doc     Context   78   [14] David McAllister and David Rosenblit. Systematic nonlinear planning. In Proceedings of AAAI, 1991.

6817.   Doc     Context   78   Pudil, P., Novovicova, J., and Kittler, J. (1994). Floating search methods in feature selection.

6818.   Doc     Context   78   J. de Kleer and J.S. Brown. A qualitative physics based on confluences. Artificial Intelligence, 24:7--83, 1984.

6819.   Doc     Context   78   [2] S. M. Bellovin and M. Merritt. Limitations of the Kerberos Authentication System. In Proc. of the Winter 1991 USENIX Conference, pages 253--267, 1991.

6820.   Doc     Context   78   [7] D. Cliff, I. Harvey, and P. Husbands. Explorations in evolutionary robotics. Adaptive Behavior, 2(1):71--104, 1993.

6821.   Doc     Context   78   [7] S. Brin. Near neighbor search in large metric spaces. In Proc. VLDB'95, pages 574--584, 1995.

6822.   Doc     Context   78   [15] B. Mirtich. V-clip: Fast and robust polyhedral collision detection. Technical Report TR97-05, Mitsubishi Electric Research Lab, Cambridge, MA, 1997.

6823.   Doc     Context   78   [20] L. Meertens. Algorithmics---towards programming as a mathematical activity. In J.W. de Bakker, M. Hazewinkel, and J.K. Lenstra, editors, Proceedings of the CWI Symposium on Mathematics and Computer Science, volume 1 of CWI Monographs, pages 289--334. North--Holland, 1986.

6824.   Doc     Context   78   [12] Ishtiaq, S., and O'Hearn, P. BI as an assertion language for mutable data structures. Manuscript, March 2000.

6825.   Doc     Context   78   [18] O. Goldreich, Foundations of Cryptography: Basic Tools. Cambridge University Press, 2001. To appear.

6826.   Doc     Context   78   [2] J.C.R. Bennett and H. Zhang. WF 2 Q: Worst-case fair weighted fair queueing. In Proceedings of IEEE INFOCOM'96, pages 120--128, San Francisco, CA, March 1996.

6827.   Doc     Context   78   Sokal, R. R. and Sneath, P. H. A. (1963). Numerical Taxonomy. San Francisco: Freeman.

6828.   Doc     Context   78   17. C. E. Landwehr. Formal models for computer security. ACM Computing Surveys, 13(3):247--278, 1981.

6829.   Doc     Context   78   [Pie93] Benjamin C. Pierce. Bounded quantification is undecidable. Information and Computation, 1993. To appear; also to appear in [GM93]. Preliminary version in proceedings of POPL '92.

6830.   Doc     Context   78   [20] Ullman, Jeffrey D. (1994) Elements of ML Programming, Prentice-Hall, Englewood Cliffs NJ.

6831.   Doc     Context   78   [8] F. N. Najm, "Transition density: A new measure of activity in digital circuits", IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, pp. 310--323, Feb. 1992.

6832.   Doc     Context   78   9. M. Matsui. The first experimental cryptanalysis of the Data Encryption Standard. In Y. Desmedt, editor, Advances in Cryptology --- Crypto '94, volume 839 of Lecture Notes in Computer Science, pages 1--11, 1994. Springer-Verlag.

6833.   Doc     Context   78   [20] Tod S. Levitt and Daryl T. Lawton. Qualitative navigation for mobile robots. Artificial Intelligence, 44:305--360, 1990.

6834.   Doc     Context   78   [RFC3415] Wijnen, B., R. Presuhn, and K. McCloghrie, "View-based Access Control Model (VACM) for the Simple Network Management Protocol (SNMP)," RFC 3415, Internet Engineering Task Force, December 2002.

6835.   Doc     Context   78   [RG96b] Roseman M., Greenberg S.: Building Real-Time Groupware with GroupKit, A Groupware Toolkit, ACM Transactions on Computer-Human Interaction, Vol. 3, No. 1, Mar. 1996, 66-106

6836.   Doc     Context   78   23. D. D. Clark, M. L. Lambert, and L. Zhang, "NETBLT: A high throughput transport protocol," in Proc. ACM SIGCOMM'93, pp. 353--359, Aug. 1987.

6837.   Doc     Context   78   [3] D. L. Donoho. Unconditional bases are optimal bases for data compression and for statistical estimation. Applied and Computational Harmonic Analysis, 1(1):100--115, December 1993.

6838.   Doc     Context   78   [22] L. Zhang, S. Floyd, and V. Jacobson. Adaptive web caching. In NLANR Web Cache Workshop, June 1997. http://www-nrg.ee.lbl.gov/floyd.

6839.   Doc     Context   78   [111] G. Welch and G. Bishop. An introduction to the kalman filter. Technical Report TR 95-041, University of North Carolina, Department of Computer Science, 1995.

6840.   Doc     Context   78   [Cla79] K. L. Clark. Predicate logic as computational formalism. Technical Report 79/59, Imperial College, London, December 1979.

6841.   Doc     Context   78   8. G. Booch, I. Jacobsen, and J. Rumbaugh. Unified Modelling Language User Guide. Addison Wesley, 1997.

6842.   Doc     Context   78   [8] Ian Foster, Carl Kesselman, and Jeffrey M. Nick adn Steven Tuecke. Grid services for distributed system integration. http://www.globus.org/research/papers/ieee-cs-2.pdf, June 2001.

6843.   Doc     Context   78   [15] B. N. Clark, C. J. Colbourn, and D. S. Johnson. Unit Disk Graphs. Discrete Mathematics, 86:165--177, 1990.

6844.   Doc     Context   78   [1] M. Ajtai. Generating Hard Instances of Lattice Problems. In 28th ACM Symposium on Theory of Computing, pages 99--108, Philadelphia, 1996.

6845.   Doc     Context   78   [15] A. Martin, T. K. G. Doddington, M. Ordowski, and M. Przybocki. The DET curve in assessment of detection task performance. In Proceedings of EuroSpeech '97, volume 4, pages 1895--1898, 1997.

6846.   Doc     Context   78   [Who91] Skef Wholey. Automatic Data Mapping for Distributed-Memory Parallel Computers. PhD thesis, Carnegie Mellon University, Pittsburgh, PA 15213, May 1991.

6847.   Doc     Context   78   Hu lskamp M, Kopczak SD, Horejsi TF, Kihl BK, Pruitt RE (1995) Identification of genes required for pollen-stigma recognition in Arabidopsis thaliana. Plant J 8:703--714

6848.   Doc     Context   78   16. H. R. Turtle and W. B. Croft. Evaluation of an inference network-based retrieval model. ACM Transactions on Information Systems, 9(3):187--222, 1991.

6849.   Doc     Context   78   [Gei93] G. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. S. Sunderam, "PVM 3 User's Guide and Reference Manual," Technical Report ORNL/TM-12187, Oak Ridge National Laboratory, 1993. Visual Programming and Parallel Computing 35

6850.   Doc     Context   78   [4] Faugeras, O., D., Maybank S., Motion from Point Matches: Multiplicity of Solutions, Technical Report, No 1157, INRIA, Rocquencourt, France, 1990.

6851.   Doc     Context   78   [3] O. D. Faugeras and G. Toscani. The calibration problem for stereo. In 1986 IEEE Conference on Computer Vision and Pattern Recognition, pages 15--20, Los Alamitos, CA, June 1986. IEEE Computer Society, IEEE Computer Society Press. (Miami Beach).

6852.   Doc     Context   78   [28] Henry A. Kautz and Peter B. Ladkin. Integrating metric and qualitative temporal reasoning. In Proceedings of AAAI, 1991.

6853.   Doc     Context   78   [4] M. de Berg, M. van Kreveld, M. Overmars, and O. Schwarzkopf. Computational Geometry: Algorithms and Applications. Springer-Verlag, Heidelberg, 1997.

6854.   Doc     Context   78   Nelson, D. (1991), `Conditional heteroskedasticity in asset returns: A new approach', Econometrica, 59, 347-370.

6855.   Doc     Context   78   [6] T. Johnsson. Lambda lifting: Transforming programs to recursive equations. In Functional Programming Languages and Computer Architecture, number 201 in LNCS, pages 190--203, Nancy, September 1985. SpringerVerlag.

6856.   Doc     Context   78   [2] Bonasso, R. P.; Kortenkamp, D.; Miller, D.; and Slack, M. 1997. Experiences with an architecture for intelligent, reactive agents. JETAI 9(1).

6857.   Doc     Context   78   [16] D. Kinny, M. Georgeff, and A. Rao. A methodology and modelling technique for systems of BDI agents. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a MultiAgent World, (LNAI Volume 1038), pages 56--71. Springer-Verlag: Berlin, Germany, 1996.

6858.   Doc     Context   78   [9] Ch. Bouman and B. Liu, "Multiple Resolution Segmentation of Textured Images", IEEE Transactions on Pattern Analysis and Machine Intelligence, 13(2), pp. 99-113, 1991.

6859.   Doc     Context   78   [ Gallant, 1988 ] S.I. Gallant. Connectionist expert systems. Communications of the ACM, 31(2):152--169, 1988.

6860.   Doc     Context   78   Philip Resnik. 1993. Selection and Information: A Class-Based Approach to Lexical Relationships. Ph.D.

6861.   Book   Context   78   Krueger, M. "Artificial Reality II". Addison-Wesley 1991.

6862.   Doc     Context   78   [8] T. Chang and C. J. Kuo, "Texture analysis and classification with tree-structured wavelet transform", IEEE Trans. Image Proc., Vol. 2, No. 4, Oct. 1993, pp. 429--441.

6863.   Doc     Context   78   [7] Gavin Lowe. An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters, 56:131--133, 1995.

6864.   Doc     Context   78   30. Ripley, B. D. (1994) Neural networks and related methods for classification (with discussion). Journal of the Royal Statistical Society series B 56, 409-- 456.

6865.   Doc     Context   78   [26] Temam R. : Navier-Stokes Equations, North-Holland, Amsterdam, 1984.

6866.   Doc     Context   78   [28] Granger, C.W.J., and Joyeux, R. (1980). An Introduction to Long-Memory Time Series Models and Fractional Differencing. Journal of Time Series Analysis, 1:15--29.

6867.   Doc     Context   78   [3] Andrew W. Appel and Trevor Jim. Continuation-passing, closure-passing style. In Sixteenth ACM Symposium on Principles of Programming Languages, pages 293--302, Austin, TX, January 1989.

6868.   Doc     Context   78   [39] C. Tseng and D.P. Siewiorek. Automated synthesis of data paths in digital systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 5(3):379--395, 1986.

6869.   Doc     Context   78   11. Petre Stoica and Randolph Moses. Introduction to Spectral Analysis. Prentice Hall, 1997.

6870.   Doc     Context   78   [4] S. Carr and K. Kennedy. Compiler blockability of numerical algorithms. In Supercomputing '92, pages 114--124, Minneapolis, Minn., Nov. 1992.

6871.   Doc     Context   78   26. Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of c. In USENIX Annual Technical Conference, Monterey, CA, June 2002.

6872.   Doc     Context   78   [8] Petrov, V.V. (1975) Sums of Independent Random Variables. Springer-Verlag.

6873.   Doc     Context   78   Equitz, W., Hafner, J., et al. (1993) Efficient color histogram indexing for quadratic form distance functions to appear in ??? .

6874.   Doc     Context   78   [6] T. Bui and C. Jones. A heuristic for reducing fill-in in sparse matrix factorization. In Proceeding of Sixth SIAM Conference on Parallel Processing, pages 445--452, 1993.

6875.   Doc     Context   78   [3] Serge Abiteboul, Sophie Cluet, and Tova Milo. Querying and updating the file. In Proceedings of 19th International Conference on Very Large Databases, pages 73--84, Dublin, Ireland, 1993.

6876.   Book   Context   78   [WASS94] S. Wasserman and K. Faust, "Social Network Analysis: Methods and Applications," Cambridge University Press, Cambridge, UK, 1994.

6877.   Doc     Context   78   [BA81] J. Brock and W. Ackerman, Scenarios: a model of non-determinate computation, in: Formalization of programming concepts, LNCS 107,pp.252-259, Springer, 1981.

6878.   Doc     Context   78   A. V. Aho and J. D. Ullman. 1972. The Theory of Parsing, Translation and Compiling, volume 1.

6879.   Doc     Context   78   [21] A. H. Karp and R. G. Babb. Programming for parallelism. IEEE Computer, pages 43--57, 1987.

6880.   Doc     Context   78   [3] E.R. Davidson, The Iterative Calculation of a Few of the lowest Eigenvalues and Corresponding Eigenvectors of Large Real-Symmetric Matrices, J. Comput. Phys. 17 (1975) 87.

6881.   Doc     Context   78   Harris, T.E. (1963). The theory of branching processes. Springer-Verlag, Berlin.

6882.   Doc     Context   78   [7] A. George and J. W. H. Liu. The evolution of the minimum degree ordering algorithm. SIAM Review, 31:1--19, 1989.

6883.   Doc     Context   78   [39] Rowe, L; Smith, B C : "A Continuous Media Player", Computer Science Division, University of California Berkeley, 1992

6884.   Doc     Context   78   [BDL96] Clark Barrett, David Dill, and Jeremy Levitt. Validity checking for combinations of theories with equality. In Mandayam Srivas and Albert Camilleri, editors, Formal Methods in Computer-Aided Design, FMCAD '96, volume 1166 of LNCS, pages 187--201. Springer-Verlag, November 1996.

6885.   Doc     Context   78   [Domingos, 2000] P. Domingos and G. Hulten. Mining High-Speed Data Streams. In Proceedings of the Association for Computing Machinery Sixth International Conference on Knowledge Discovery and Data Mining, pages 71--80, 2000.

6886.   Doc     Context   78   [6] Y. Chen and G Medioni. "Object modeling by registration of multiple range images", Image and Vision Computing, 10(3) pp 145--155, 1992.

6887.   Doc     Context   78   [De73] P. Delsarte, An algebraic approach to the association schemes of coding theory, Philips Res. Repts. Suppl. 10 (1973).

6888.   Doc     Context   78   Utgoff, P. (1989). Incremental induction of decision trees. Machine Learning, 4, 161--186.

6889.   Doc     Context   78   Dean, J., and Henzinger, M. R., (1999). "Finding related pages in the World Wide Web." In Proceedings of WWW-8, the Eighth International World Wide Web Conference.

6890.   Doc     Context   78   [14] M. Blum, M. Luby, and R. Rubinfeld. Self-testing/correcting with applications to numerical problems. Journal of Computer and System Sciences, 47:549--595, 1993.

6891.   Doc     Context   78   [Shastri & Ajjanagadde 1993] L. Shastri and V. Ajjanagadde. From simple associations to systematic reasoning: A connectionist representation of rules, variables, and dynamic bindings using temporal synchrony. Behavioral and Brain Sciences, 16(4).

6892.   Doc     Context   78   [22] Scott Pakin, Vijay Karamcheti, and Andrew Chien. Fast Messages (FM): Efficient, portable communication for workstation clusters and massively-parallel processors. IEEE Parallel and Distributed Technology, 1997.

6893.   Doc     Context   78   [39] J. G. Proakis. Digital Signal Processing: Principles, Algorithms, and Applications. Maxwell Macmillan, 1992.

6894.   Doc     Context   78   [7] M. J. C. Gordon. Why higher-order logic is a good formalism for specifying and verifying hardware. In G. Milne and P. A. Subrahmanyam, editors, Formal Aspects of VLSI Design, pages 153--177. North-Holland, 1986.

6895.   Doc     Context   78   [6] A. Aggarwal, L. J. Guibas, J. Saxe, and P. W. Shor. A linear-time algorithm for computing the Voronoi diagram of a convex polygon. Discrete Comput. Geom. 4(6):591--604, 1989.

6896.   Doc     Context   78   [17] K. Muthukumar and M. Hermenegildo. Compile-time derivation of variable dependency using abstract interpretation. Journal of Logic Programming, 13(2&3):315--347, 1992.

6897.   Doc     Context   78   14. D. R. Morrison, PATRICIA---Practical Algorithm To Retrieve Information Coded in Alphanumeric, J. Assoc. Comput. Mach., 15 (1968), pp. 514--534.

6898.   Doc     Context   78   [2] H. Balakrishnan and R. Katz, "Explicit loss notification and wireless web performance," in IEEE Globecom Internet Mini-Conference, Sydney, Oct. 1998.

6899.   Doc     Context   78   [Co87] C.J. Colbourn, The Combinatorics of Network Reliability, Oxford University Press, 1987.

6900.   Doc     Context   78   [17] R. Chen and W. Yeager, "Poblano: A Distributed Trust Model for Peer-to-Peer Networks", Sun Microsystems Technical Paper, 2000, http://www.sun.com/software/jxta/poblano.pdf

6901.   Doc     Context   78   [H] H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero: I, II, Ann. of Math. (2) 79 (1964), 109-326.

6902.   Doc     Context   78   [Pnueli and Shalev, 1991] A. Pnueli and M. Shalev. What is in a step: On the semantics of statecharts. In T. Ito and A. R. Meyer, editors, Intl. Conf. TACS '91: Theoretical Aspects of Computer Software, volume 526 of LNCS, pages 244--264. Springer, 1991.

6903.   Doc     Context   78   [RW92] Rusten T. and Winther R. (1992) A preconditioned iterative method for saddle point problems. SIAM J. Matrix Anal. Appl. 13: 887--904.

6904.   Doc     Context   78   [8] Nordin, J.P. and Banzhaf, W. (1995a) Complexity Compression and Evolution. In Proceedings of Sixth International Conference of Genetic Algorithms, Pittsburgh, 1995. L. Eshelman (ed.). Morgan Kaufmann, San Mateo, CA

6905.   Doc     Context   78   [1] J. P. Anderson. Computer Security Threat Monitoring and Surveillance. Technical report, James P. Anderson Company, Fort Washington, Pennsylvania, April 1980.

6906.   Doc     Context   78   [34] J. Eykholt, S. Kleiman, S. Barton, R. Faulkner, A. Shivalingiah, M. Smith, D. Stein, J. Voll, M. Weeks, and D. Williams, "Beyond Multiprocessing... Multithreading the SunOS Kernel," in Proceedings of the Summer USENIX Conference, (San Antonio, Texas), June 1992.

6907.   Doc     Context   78   Churchland, P.S., & Sejnowski, T.J. (1992). The computational brain.

6908.   Doc     Context   78   [15] I. Hong, D. Kirovski, G. Qu, M. Potkonjak, and M. B. Srivastava, "Power optimization of variable voltage core-based systems," in Proc. Design Automat. Conf., pp. 176--181, June 1998.

6909.   Doc     Context   78   [13] Guarino,N. Formal Ontology and Information Systems. In N. Guarino, editor, Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS'98, Trento, Italy, pages 3-- 15. IOS Press, June 1998.

6910.   Doc     Context   78   [KW94] J. Kivinen and M. K. Warmuth. Exponentiated gradient versus gradient descent for linear predictors. Technical Report UCSCCRL -94-16, University of California, Santa Cruz, Computer Research Laboratory, June 1994. An extended abstract to appeared in the STOC 95, pp. 209-218.

6911.   Doc     Context   78   [45] E. Zitzler, K. Deb, and L. Thiele, "Comparison of multiobjective evolutionary algorithms: Empirical results," Tech. Rep. 70, Computer Engineering and Networks Laboratory (TIK), Swiss Federal Institute of Technology (ETH) Zurich, Gloriastrasse 35, CH-8092 Zurich, Switzerland, February 1999.

6912.   Doc     Context   78   [5] Edelsbrunner, H. (1983) A new approach to rectangle intersections, Part II, Int'l Journal of Computational Mathematics, No. 13, pp. 221-229.

6913.   Doc     Context   78   [4] R.E. Bank, T. Dupont and H. Yserentant, The hierarchical basis multigrid method, Numer. Math., 52 (1988), pp. 427--458.

6914.   Doc     Context   78   9. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. In ACM transactions on software engineering and methodology, Vol 5 No 4 , 1996

6915.   Doc     Context   78   [18] R. Michael Tanner. A recursive approach to low complexity codes. IEEE Trans. on Information Theory, Vol. 27, No. 5, pp. 533--547, September, 1981.

6916.   Doc     Context   78   [Wang and Adelson, 1993] J. Y. A. Wang and E. H. Adelson. Layered representation for motion analysis. In IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'93), pages 361--366, New York, New York, June 1993.

6917.   Doc     Context   78   [LRV96] P. Lorezetti, L. Rizzo, and L. Vicisano. Replacement Policies for a Proxy Cache. 1996. http://www.iet.unipi.it/luigi/caching.ps.gz

6918.   Doc     Context   78   [19] F. Cristian and C. Fetzer, "The timed asynchronous distributed system model," IEEE Transactions on Parallel and Distributed Systems, To appear in 1999. http://www.cs.ucsd.edu/~cfetzer/MODEL.

6919.   Doc     Context   78   [23] M. S. Taqqu, V. Teverovsky, and W. Willinger. Estimators for long-range dependence: an empirical study, 1995. Preprint.

6920.   Doc     Context   78   21. D. Pointcheval and J. Stern. Security Arguments for Digital Signatures and Blind Signatures. Journal of Cryptology, 1998. To appear.

6921.   Doc     Context   78   [21] M. Kay. Functional grammar. In Proceedings of the Fifth Annual Meeting of the Berkeley Linguistics Society, Berkeley, CA, 1979. Berkeley Linguistics Society.

6922.   Doc     Context   78   Utgoff, Paul E. (1986). Shift of Bias for Inductive Concept Learning. In R. Michalski, J. Carbonell, and T.

6923.   Doc     Context   78   Beckers, R., Holland, O. E. & Deneubourg, J. L. (1994), From Local Actions to Global Tasks: Stigmergy and Collective Robotics, in R. Brooks & P. Maes, eds, `Artificial Life IV, Proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems', MIT Press.

6924.   Doc     Context   78   [16] D. C. Schmidt, D. L. Levine, and S. Mungee. The design of the tao real-time object request broker. Computer Communications Journal, Summer 1997.

6925.   Doc     Context   78   [Azuma 94] Azuma, R., Bishop, G. "Improving Static and Dynamic Registration in an Optical See-through HMD," Computer Graphics (Proceedings of Siggraph 1994), pp. 197-204.

6926.   Doc     Context   77   [10] L. L. Scharf, Statistical Signal Processing - Detection, Estimation and Time Series Analysis. Addison-Wesley, 1990.

6927.   Doc     Context   77   [2] A. del Bimbo. Visual Information Retrieval. Morgan Kaufmann Publishers, 1999.

6928.   Doc     Context   77   [42] C. J. Geyer and E. A. Thompson, "Constrained Monte Carlo maximum likelihood for dependent data (with discussion)," Journal of the Royal Statistical Society, Series B, vol. 54, pp. 657--699, 1992.

6929.   Doc     Context   77   [1] Allen, J.F., Kautz, H.A., Pelavin, R.P., and Tenenberg, J.D. Reasoning about Plans, Morgan Kaufmann, San Mateo, CA, 1991.

6930.   Doc     Context   77   [5] M. Aron, D. Sanders, P. Druschel, and W. Zwaenepoel. Scalable Content-aware Request Distribution in Cluster-based Network Servers. In Proceedings of the USENIX 2000 Annual Technical Conference, San Diego, CA, June 2000.

6931.   Doc     Context   77   11. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In PLDI'98 - ACM Conf. on Programming Language Design and Implementation, pages 236--248, 1998.

6932.   Doc     Context   77   [NyRu94] K.Nyberg, R.Rueppel, "Message recovery for signature schemes based on the discrete logarithm problem", Pre-proceedings of Eurocrypt '94, University of Perugia, Italy, (1994), pp. 175 -- 190.

6933.   Doc     Context   77   [Ra] M. O. Rabin, "Probabilistic Algorithms for Testing Primality," J. Number Theory 12 (1980), 128--138.

6934.   Doc     Context   77   [RS2] N. Robertson and P. Seymour, "Graph minors---a survey," in Surveys in Combinatorics (I. Anderson, ed.), Cambridge Univ. Press (1985), 153-171.

6935.   Doc     Context   77   [7] A. Colorni, M. Dorigo, and V. Maniezzo, "Distributed optimization by ant colonies," Proceedings of ECAL91 - European Conference on Artificial Life, Paris, France, 1991, F. Varela and P. Bourgine (Eds.), Elsevier Publishing, pp. 134--142.

6936.   Doc     Context   77   [4] J.L. Bentley, "Fast algorithms for geometric traveling salesman problems," ORSA Journal on Computing , vol. 4, pp. 387--411, 1992.

6937.   Doc     Context   77   [10] Xiao D. He, Kenneth E. Torrance, Francois X. Sillion, and Donald P. Greenberg. A comprehensive physical model for light reflection. Computer Graphics (SIGGRAPH '91 Proceedings), (July 1991), 175--186.

6938.   Doc     Context   77   [GM88] P. Gardenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In M. Vardi, editor, Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 83--95. Morgan Kaufmann, San Francisco, 1988.

6939.   Doc     Context   77   [44] P. J. Angeline, G. M. Saunders, and J. B. Pollack, "An Evolutionary Algorithm That Constructs Recurrent Neural Networks ", IEEE Transactions on Neural Networks, vol. 5, pp. 54--65, 1993.

6940.   Doc     Context   77   [8] F. Borceux. Handbook of Categorical Algebra, volume 1. Cambridge University Press, 1994.

6941.   Doc     Context   77   [7] G. A. Carpenter, S. Grossberg, and D. B. Rosen, "Fuzzy ART: fast stable learning and categorization of analog patterns by an adaptive resonance system," Neural Networks, vol. 4, pp. 759--771, 1991.

6942.   Doc     Context   77   10. W. Stallings, Cryptography and Network Security: Principles and Practice, 2nd Edition, Prentice-Hall, Inc., 1999.

6943.   Doc     Context   77   [Bat88] P. C. Bates. Debugging heterogeneous distributed systems using eventbased models of behavior. In Proceedings of Workshop on Parallel and Distributed Debugging, ACM SIGPLAN Notices, 24(1):11--22, January 1988.

6944.   Doc     Context   77   [4] T. Pavlidis, Structural Pattern Recognition. New York: Springer Verlag, 1977.

6945.   Doc     Context   77   [LM01] Helger Lipmaa, Shiho Moriai. "Efficient Algorithms for Computing Differential Properties of Addition". Accepted to Fast Software Encryption 2001 workshop, Yokohama, Japan, 2-4 April 2001.

6946.   Doc     Context   77   [5] P. Chang, S. Mahlke, and W. Chen. Profile-guided automatic inline expansion for C programs. Software--- Practice & Experience, 22(5):349--369, 1992.

6947.   Doc     Context   77   Green, D. M., & Swets, J. A. (1966). Signal Detection Theory and Psychophysics. New York: Wiley.

6948.   Doc     Context   77   [4] W.L. Buntine and A.S. Weigend. Bayesian back-propagation. Complex Systems, 5:603--643, 1991.

6949.   Doc     Context   77   1. RJ Anderson, `Security Engineering -- a Guide to Building Dependable Distributed Systems', Wiley (2001) ISBN 0-471-38922-6

6950.   Doc     Context   77   [9] H.S. Seung, M. Opper, and H. Sompolinsky. Query by committee. In Proceedings of the Fifth Workshop on Computaional Learning Theory, pages 287--294, San Mateo, California, 1992. Morgan Kaufmann.

6951.   Doc     Context   77   [17] R. Shachter and M. Peot. Simulation approaches to general probabilistic inference on belief networks. In Proc. of the Fifth Workshop on Uncertainty in Artificial Intelligence, pages 311--318, 1989.

6952.   Doc     Context   77   [16] N. McCain and H. Turner. Causal theories of action and change. In Proceedings AAAI-97, 1997.

6953.   Doc     Context   77   [10] M. Herlihy. A quorum-consensus replication method for abstract data types. ACM Trans. Comp. Syst., 4(1):32--53, February 1986.

6954.   Doc     Context   77   Wegner, Peter. 1997. Why Interaction Is More Powerful Than Algorithms, Communications of the ACM.

6955.   Doc     Context   77   [ Kowalski and Sadri, 1990 ] Robert Kowalski and Fariba Sadri. Logic programs with exceptions. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. of the Seventh Int'l Conf., pages 598--613, 1990.

6956.   Book   Context   77   [7] D. Kozen. The Design and Analysis of Algorithms. Springer-Verlag, 1992.

6957.   Doc     Context   77   [Horrocks, 1998] I. Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98), 1998.

6958.   Doc     Context   77   [9] B. Chazelle. Cutting hyperplanes for divide-and-conquer. Discrete Comput. Geom., 9(2):145--158, 1993.

6959.   Doc     Context   77   [28] E. Koutsoupias and C. H. Papadimitriou, "Worst-case Equilibria," Proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, G. Meinel and S. Tison eds., pp. 387--396, Vol. 1563, Lecture Notes in Computer Science, Springer-Verlag, Trier, Germany, March 1999.

6960.   Doc     Context   77   [Ladin90] Rivka Ladin, Barbara Liskov, Liuba Shrira, and Sanjay Ghemawat. Lazy replication: exploiting the semantics of distributed services. Technical report MIT/LCS/TR--484. Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, July 1990.

6961.   Doc     Context   77   and associated techniques, Lecture series 2000--2001, ZSPLITZvon Karman Institute for Fluid Dynamics, Belgium

6962.   Doc     Context   77   [13] M. Allman, D. Glover, and L. Sanchez, "Enhancing TCP Over Satellite Channels using Standard Mechanisms," Internet RFC 2488, 1999.

6963.   Doc     Context   77   [4] H.L. Van Trees. Detection, Estimation, and Modulation Theory. Part 1. John Wiley & Sons, Inc., 1968.

6964.   Doc     Context   77   [78] V.S. Nalwa. A guided tour of computer vision. Addison-Wesley, Reading, Massachusetts, 1993.

6965.   Book   Context   77   [15] Loeve, M., Probability Theory, 4 th edition, Springer-Verlag, New York, 1977.

6966.   Doc     Context   77   W. Kim et al. [1993]. "On Resolving Schematic Heterogeneity in Multidatabase Systems," in Distributed And Parallel Databases, 1:251--279, 1993.

6967.   Doc     Context   77   [19] D. Rafiei and A. Mendelzon. Similarity-based queries for time series data. SIGMOD Record (ACM Special Interest Group on Management of Data), 26(2):13--25, May 1997.

6968.   Doc     Context   77   [PS99] Frank Pfenning and Carsten Schurmann. System description: Twelf --- a meta-logical framework for deductive systems. In H. Ganzinger, editor, Proceedings of the 16th International Conference on Automated Deduction (CADE-16), Trento, Italy, June 1999. Springer-Verlag LNCS. To appear.

6969.   Doc     Context   77   [12] B. Mishra, J. T. Schwartz, and M. Sharir. On the existence and synthesis of multifinger positive grips. Algorithmica, 2:541-- 558, 1987.

6970.   Doc     Context   77   Jutten, C. and Herault, J. (1991). Blind separation of sources, part I: An adaptive algorithm based on neuromimetic architecture. Signal Processing, 24:1--10.

6971.   Doc     Context   77   1. C. Alchourron, P. Gardenfors and D. Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Function. Journal of Symbolic Logic. Vol. 50 (1985) 510-530.

6972.   Doc     Context   77   [1] K. R. Apt and M. Bezem. Acyclic programs. In Proc. of ICLP 90, pages 579--597. MIT Press, 1990.

6973.   Doc     Context   77   [ECS89] L.J. Eshelman, R. Caruna, and J.D. Schaffer. Biases in the crossover landscape. In J.D. Schaffer, editor, Proceedings of the Third International Conference on Genetic Algorithms, pages 10--19. Morgan Kaufmann, 1989.

6974.   Doc     Context   77   [Szeliski, 1994] R. Szeliski. Image Mosaicing for Tele-Reality Applications. Technical Report 94/2, Digital Equipment Corporation, Cambridge Research Lab, June 1994.

6975.   Doc     Context   77   [9] Y. Chawathe, S. McCanne, and E. Brewer. RMX:Reliable Multicast in Heterogeneous Networks. In Proc. IEEE INFOCOM, March 2000.

6976.   Doc     Context   77   [10] M.S. Fox. Constraint-Directed Search: A Case Study of Job-Shop Scheduling. Morgan Kaufmann Publishers, Inc., 1987.

6977.   Doc     Context   77   [10] A. Goldsmith, "Variable-Rate Variable-Power MQAM for Fading Channels," in Proc. IEEE Vehicular Technology Conference, Atlanta, GA, Apr. 1996, pp. 815--819.

6978.   Doc     Context   77   2. R. Ramaswami. Multiwavelength lightwave networks for computer communication. IEEE Communications Magazine, pages 78--88, February 1993.

6979.   Doc     Context   77   [2] G. Banavar, T. Chandra, B. Mukherjee, J. Nagarajarao, R. Storm, and D. Sturman. An efficient multicast protocol for content-based publish-subscribe systems. In To appear in Int'l Conference on Distributed Computing Systems (ICDCS'99), 1999.

6980.   Doc     Context   77   [SP88] James E. Smith and Andrew R. Pleszkun. Implementing precise interrupts in pipelined processors. IEEE Transactions on Computers, 37(5):562--573, May 1988.

6981.   Doc     Context   77   [9] N. Tishby, F.C. Pereira, and W. Bialek. The information bottleneck method. In proceedings of the 37-th Annual Allerton Conference on Communication, Control and Computing, 368-377, 1999.

6982.   Doc     Context   77   P.ZSPLITZvan Beek and R. Dechter, Minimality and Global Consistency of ConstraintNetworks, Journal of ACM, Vol42, 543-561, 1995

6983.   Doc     Context   77   [98] Michael D. Smith, Mike Johnson, and Mark A. Horowitz. Limits on multiple instruction issue. In Proceedings of the Third International Conference on Architecture Support for Programming Languages and Operating Systems, pages 290--302, 1989.

6984.   Doc     Context   77   Mycroft, A. (1984). Polymorphic type schemes and recursive definitions, Proc. of 6th Int. Conf. on Programming , Eindhoven, The Netherlands, Springer Verlag, LNCS 167, pp. 217--239.

6985.   Doc     Context   77   [4] Thomas L. Dean and Mark Boddy. Reasoning about partially ordered events. Artificial Intelligence, 36(3):375--400, October 1988.

6986.   Doc     Context   77   [1] Borel, A., Linear Algebraic Groups, W. A. Benjamin, New York, 1969.

6987.   Doc     Context   77   9. V.R. Basili, G. Caldiera, and H.-D. Rombach. Experience factory. In J. Marciniak, editor, Encyclopedia of Software Engineering, volume 1. John Wiley & Sons, 1994.

6988.   Doc     Context   77   [13] S.-I. Minato. "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems." Proc. 30th ACM/IEEE Design Automation Conference, pp. 272-277, 1993.

6989.   Doc     Context   77   [20] Wielandt, H. Finite permutation groups. Academic Press, 1964.

6990.   Doc     Context   77   15. Fitzmaurice, G., Ishii, H., Buxton, W. Bricks: Laying the Foundations for Graspable User Interfaces. Proceedings of the Conference on Human Factors in Computer Systems (CHI'95). p442-449. 1995.

6991.   Doc     Context   77   Yan, Tak Woon, Matthew Jacobsen, Hector Garcia-Molina, and Umeshwar Dayal. 1996. From user access patterns to dynamic hypertext linking. In Fifth International World Wide Web Conference.

6992.   Doc     Context   77   [4] R. J. Bayardo Jr., W. Bohrer, and et. al., InfoSleuth: Agent-Based Semantic Integration of Information in Open and Dynamic Environments, ACM SIGMOD, 1997.

6993.   Doc     Context   77   2. Y. Chen and G. Medioni. "Object modelling by registration of multiple range images," Image and Vision Computing, Vol. 10, No. 3, pp. 145-155, 1992.

6994.   Doc     Context   77   [Zip79] R. E. Zippel. Probabilistic algorithms for sparse polynomials. In EUROSAM, pages 216--226. Springer Lecture notes in computer science, vol. 72, 1979.

6995.   Doc     Context   77   [3] Y. Adini, Y. Moses, and S. Ullman, "Face recognition: The problem of compensating for changes in illumination direction, " IEEE Trans. on Pattern Analysis and Machine Intelligence, vol. 19, no. 7, pp. 721--732, July 1997.

6996.   Doc     Context   77   Benferhat, S.; Cayrol, C.; Dubois, D.; Lang, J.; and Prade, H. 1993. Inconsistency management and prioritized syntax-based entailment. In Bajcsy, R., ed., Proc. of the 13 th IJCAI, 640--645.

6997.   Doc     Context   77   Goldszmidt, G. and Yemini, Y. (1995). Distributed Management by Delegation. In Proc. of the 15th International Conference on Distributed Computing Systems, pages 333--340, Los Alamitos, CA. IEEE Computer Society, IEEE Computer Society Press.

6998.   Doc     Context   77   [OH86] E. R. Olderog and C. A. R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica, 23(1):9--66, 1986.

6999.   Doc     Context   77   2. Claus, C., Boutilier, C.: The Dynamics of Reinforcement Learning in Cooperative Multiagent Systems. AAAI-97 Workshop on Multiagent Learning, (1997).

7000.   Doc     Context   77   [12] D. Ferguson, C. Nikolaou, J. Sairamesh, and Y. Yemini. Economic models for allocating resources in computer systems. In Scott Clearwater, editor, Market-Based Control: A Paradigm for Distributed Resource Allocation, Scott Clearwater. World Scientific, Hong Kong, 1996.

Next 200     Previous 200

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST