Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-cryptographic-protocols-preventing-%E2%80%9Cman-middle%E2%80%9D-attacks is   [Clear All Filters]
2000
Bhatia R, Khuller S, Naor J(S).  2000.  The Loading Time Scheduling Problem. Journal of Algorithms. 36(1):1-33.
Khuller S, Bhatia R, Pless R.  2000.  On local search and placement of meters in networks. Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. :319-328.
Grant J, Kraus S, Perlis D.  2000.  A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
Minker J.  2000.  Logic-Based Artificial Intelligence.
Grant J, Gryz J, Minker J, Raschid L.  2000.  Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.
Chandra R, Lefever RM, Cukier M, Sanders WH.  2000.  Loki: a state-driven fault injector for distributed systems. :237-242.
Saks M, Srinivasan A, Zhou S, Zuckerman D.  2000.  Low discrepancy sets yield approximate min-wise independent permutation families. Information Processing Letters. 73(1–2):29-32.
Srinivasan A.  2000.  Low-discrepancy sets for high-dimensional rectangles: a survey. Bulletin of the EATCS. 70:67-76.
Kreitzberg CB, Shneiderman B.  2000.  Making Computer and Internet Usability a Priority. Technical Reports from UMIACS.
Resnik P, Diab M.  2000.  Measuring verb similarity. Proceedings of the Twenty-second Annual Conference of the Cognitive Science Society: August 13-15, 2000, Institute for Research in Cognitive Science, University of Pennsylvania, Philadelphia, PA. :399-399.
Purang K, Traum D, Purushothaman D, Chong W, Okamato Y, Perlis D.  2000.  Meta-reasoning for intelligent dialog repair.
Rodrıguez-Martinez M, Roussopoulos N, McGann JM, Keyley S, Katz V, Song Z, JaJa JF.  2000.  MOCHA: a database middleware system featuring automatic deployment of application-specific functionality. Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, Dallas, Texas.
Rodríguez-Martínez M, Roussopoulos N.  2000.  MOCHA: a self-extensible database middleware system for distributed data sources. ACM SIGMOD Record. 29:213-224.
Korman CE, Adly AA, Mayergoyz ID, Rugkwamsook P.  2000.  A model for magnetic aftereffect in the presence of time varying demagnetizing fields. Magnetics, IEEE Transactions on. 36(5):3182-3184.
Fermüller C, Aloimonos Y, Baker P, Pless R, Neumann J, Stuart B.  2000.  Multi-camera networks: eyes from eyes. IEEE Workshop on Omnidirectional Vision, 2000. Proceedings. :11-18.
Zitzler E, Teich J, Bhattacharyya SS.  2000.  Multidimensional exploration of software implementations for DSP algorithms. The Journal of VLSI Signal Processing. 24(1):83-98.
Dorr BJ, Voss CR.  2000.  A multi-level approach to interlingual machine translation: defining the interface between representational languages. Natural language processing and knowledge representation. :207-248.
Arya S, Malamatos T, Mount D.  2000.  Nearly optimal expected-case planar point location. Foundations of Computer Science, 2000. Proceedings. 41st Annual Symposium on. :208-218.
Wong HS, Wu M, Joyce RA, Guan L, Kung SY.  2000.  A Neural Network Approach for Predicting Network Resource Requirements in Video Transmission Systems. Proc. IEEE Pacific RIM Conference on Multimedia, Sydney, Australia.
Fermüller C, Aloimonos Y, Brodský T.  2000.  New eyes for building models from video. Computational Geometry. 15(1–3):3-23.
Baker P, Pless R, Fermüller C, Aloimonos Y.  2000.  New Eyes for Shape and Motion Estimation. Biologically Motivated Computer VisionBiologically Motivated Computer Vision. 1811:23-47.
Neumann J, Fermüller C, Aloimonos Y.  2000.  A New Framework for Multi-camera Structure from Motion. Mustererkennung 2000, 22. DAGM-Symposium. :75-82.
Li R-C, Stewart G.W.  2000.  A new relative perturbation theorem for singular subspaces. Linear Algebra and its Applications. 313(1–3):41-51.
Vishkin U.  2000.  A no-busy-wait balanced tree parallel algorithmic paradigm. Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures. :147-155.
Huang M, Mayergoyz ID, Goldsman N.  2000.  Numerical simulation of small-signal microwave performance of 4H–SiC MESFET. Solid-State Electronics. 44(7):1281-1287.

Pages