Faculty of Exact Sciences

Filter
Conference contribution

Search results

  • 1995

    Vertical decomposition of shallow levels in 3-dimensional arrangements and its applications

    Agarwal, P. K., Efrat, A. & Sharir, M., 1 Sep 1995, Proceedings of the 11th Annual Symposium on Computational Geometry, SCG 1995. Association for Computing Machinery, p. 39-50 12 p. (Proceedings of the Annual Symposium on Computational Geometry; vol. Part F129372).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Voronoi diagrams in higher dimensions under certain polyhedral distance functions

    Boissonnat, J. D., Sharir, M., Tagansky, B. & Yvinec, M., 1 Sep 1995, Proceedings of the 11th Annual Symposium on Computational Geometry, SCG 1995. Association for Computing Machinery, p. 79-88 10 p. (Proceedings of the Annual Symposium on Computational Geometry; vol. Part F129372).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Voronoi diagrams of lines in 3-space under polyhedral convex distance functions

    Chew, L. P., Kedem, K., Sharir, M., Tagansky, B. & Welzin, E., 22 Jan 1995, Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995. Association for Computing Machinery, p. 197-204 8 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Wait-Free Made Fast

    Afek, Y., Dauber, D. & Touitou, D., 1995, Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing. New York, NY, USA: Association for Computing Machinery, p. 538–547 (STOC '95).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 1994

    Activation-oriented specification of real-time systems

    Gafni, V., Yehudai, A. & Feldman, Y. A., 1994, Formal Techniques in Real-Time and Fault-Tolerant Systems - 3rd International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Proceedings. Langmaack, H., de Roever, W-P., Vytopil, J. & Vytopil, J. (eds.). Springer Verlag, p. 268-287 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 863 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A fast algorithm for deciding bisimilarity of normed context-free processes

    Hirshfeld, Y. & Moller, F., 1994, CONCUR 1994: Concurrency Theory - 5th International Conference, Proceedings. Jonsson, B. & Parrow, J. (eds.). Springer Verlag, p. 48-63 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 836 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Algorithms and complexity of sandwich problems in graphs

    Golumbic, M. C., Kaplan, H. & Shamir, R., 1994, Graph-Theoretic Concepts in Computer Science - 19th International Workshop, WG 1993, Proceedings. van Leeuwen, J. (ed.). Springer Verlag, p. 57-69 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 790 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A lower bound on the expected length of one-to-one codes

    Alon, N. & Orlitsky, A., 1994, Proceedings - 1994 IEEE International Symposium on Information Theory, ISIT 1994. p. 203 1 p. 394765. (IEEE International Symposium on Information Theory - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • An optimal randomized logarithmic time connectivity algorithm for the EREW PRAM (extended abstract)

    Halperin, S. & Zwick, U., 1 Aug 1994, Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1994. Association for Computing Machinery, Inc, p. 1-10 10 p. (Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1994).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A simple constructive computability theorem for wait-free computation

    Herlihy, M. & Shavit, N., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 243-252 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Averaged and decorrelated neural networks as a time-series predictor

    Naftaly, U., Ginzburg, I., Horn, D. & Intrator, N., 1994, Proceedings of the 12th IAPR International Conference on Pattern Recognition - Conference B: Pattern Recognition and Neural Networks, ICPR 1994. Institute of Electrical and Electronics Engineers Inc., p. 429-432 4 p. (Proceedings - International Conference on Pattern Recognition; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Balanced allocations

    Azar, Y., Broder, A. Z., Karlin, A. R. & Upfal, E., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 593-602 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Broadcast encryption

    Fiat, A. & Naor, M., 1994, Advances in Cryptology ─ CRYPT0 1993 - 13th Annual International Cryptology Conference, Proceedings. Stinson, D. R. (ed.). Springer Verlag, p. 480-491 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 773 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Color-coding: A new method for finding simple paths, cycles and other small subgraphs within large graphs

    Alon, N., Yuster, R. & Zwick, U., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 326-335 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Competitive non-preemptive call control

    Awerbuch, B., Bartal, Y., Fiat, A. & Rosen, A., 1994, SODA '94: Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms. Society for Industrial and Applied Mathematics (SIAM), p. 312-320 9 p. (Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Computing depth orders and related problems

    Agarwal, P. K., Katz, M. J. & Sharir, M., 1994, Algorithm Theory – SWAT 1994 - 4th Scandinavian Workshop on Algorithm Theory, Proceedings. Schmidt, E. M. & Skyum, S. (eds.). Springer Verlag, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 824 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Consensus power makes (some) sense!

    Borowsky, E., Gafni, E. & Afek, Y., 14 Aug 1994, Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994. Association for Computing Machinery, p. 363-372 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129432).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Delimiting the power of bounded size synchronization objects

    Afek, Y. & Stupp, G., 14 Aug 1994, Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, PODC 1994. Association for Computing Machinery, p. 42-51 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. Part F129432).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Detecting ionic currents in single channels using wavelet analysis, part I: zero mean Gaussian noise

    Averbuch, A., Eisenberg, R. S., Israeli, M. & Schuss, Z., 1994, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 76-90 15 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 2303).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Diffracting trees (preliminary version)

    Shavit, N. & Zemach, A., 1 Aug 1994, Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1994. Association for Computing Machinery, Inc, p. 167-176 10 p. (Proceedings of the 6th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 1994).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Disjoint systems

    Alon, N. & Sudakov, B., 1994, Algebraic Coding - 1st French-Israeli Workshop, Proceedings. Cohen, G., Lobstein, A., Zemor, G. & Litsyn, S. (eds.). Springer Verlag, p. 159-163 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 781 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Docking of protein molecules

    Fischer, D., Lin, S. L., Nussinov, R. & Wolfson, H., 1994, Proceedings of the 12th IAPR International Conference on Pattern Recognition - Conference B: Pattern Recognition and Neural Networks, ICPR 1994. Institute of Electrical and Electronics Engineers Inc., p. 145-149 5 p. (Proceedings - International Conference on Pattern Recognition; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Domain decomposition methods with local Fourier basis for parabolic problems

    Israeli, M., Vozovoi, L. & Averbuch, A., 1994, Domain decomposition methods in science and engineering : The Sixth International Conference on Domain Decomposition, June 15-19, 1992, Como, Italy. Quarteroni, A., Periaux, J., Kuznetsov, Y. A. & Widlund, O. B. (eds.). Amer. Math. Soc., Providence, RI, Vol. 157. p. 223-230 8 p. (Contemp. Math.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Exploring with a foveated robot eye system

    Baron, T., Levine, M. D. & Yeshurun, Y., 1994, Proceedings - International Conference on Pattern Recognition. Institute of Electrical and Electronics Engineers Inc., p. 377-380 4 p. (Proceedings - International Conference on Pattern Recognition; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Face recognition using a hybrid supervised/unsupervised neural network

    Intrator, N., Reisfeld, D. & Yeshurun, Y., 1994, Proceedings of the 12th IAPR International Conference on Pattern Recognition - Conference B: Pattern Recognition and Neural Networks, ICPR 1994. Institute of Electrical and Electronics Engineers Inc., p. 50-54 5 p. (Proceedings - International Conference on Pattern Recognition; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Finding and counting given length cycles

    Alon, N., Yusfer, R. & Zwick, U., 1994, Algorithms - ESA'94 - 2nd Annual European Symposium, Proceedings. van Leeuwen, J. (ed.). Springer Verlag, p. 354-364 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 855 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Finding even cycles even faster

    Yuster, R. & Zwick, U., 1994, Automata, Languages and Programming - 21st International Colloquium, ICALP 1994, Proceedings. Abiteboul, S. & Shamir, E. (eds.). Springer Verlag, p. 532-543 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 820 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Infrared fiber optic radiometric thermometry for biomedical applications

    Belotserkovsky, E., Mesh, M., Shlifer, A., Eyal, O. & Katzir, A., 1994, Proceedings of SPIE - The International Society for Optical Engineering. Wolfbeis, O. S., Wolfbeis, O. S. & Wolfbeis, O. S. (eds.). Publ by Society of Photo-Optical Instrumentation Engineers, p. 109-115 7 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 2085).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Local optimization of global objectives: Competitive distributed deadlock resolution and resource allocation

    Awerbuch, B. & Azar, Y., 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science. IEEE Computer Society, p. 240-249 10 p. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Logical bilattices and inconsistent data

    Arieli, O. & Avron, A., 1994, Proceedings - Symposium on Logic in Computer Science. Publ by IEEE, p. 468-476 9 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Matching nuts and bolts

    Alon, N., Blum, M., Fiat, A., Kannan, S., Naor, M. & Ostrovsky, R., 1994, Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 690-696 7 p. (Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • More on Updating the File

    Abiteboul, S., Cluet, S. & Milo, T., 1994, Dixièmes Journées Bases de Données Avancées, 30 Août - 2 Septembre 1994, Clermont-Ferrand, France (Informal Proceedings). Bidoit, N. (ed.). INRIA

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Multi-domain Fourier algorithms for parallel solution of the Navier-Stokes equations

    Vozovoi, L., Israeli, M. & Averbuch, A., 1994, Domain decomposition methods in scientific and engineering computing : proceedings of the Seventh International Conference on Domain Decomposition, October 27-30, 1993, the Pennsylvania State University . Keyes, D. E. & Xu, J. (eds.). Amer. Math. Soc., Providence, RI, Vol. 180. p. 539-546 8 p. (Contemp. Math.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Near-linear algorithm for the planar segment center problem

    Efrat, A. & Sharir, M., 1994, Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 87-97 11 p. (Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On construction of k-wise independent random variables howard

    Karloff, H. & Mansour, Y., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 564-573 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • On the learnability of discrete distributions

    Kearns, M., Rubinfeld, R., Mansour, Y., Schapire, R. E., Ron, D. & Univemity, H., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 273-282 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Orthogonal polynomials over Hilbert modules

    Ben-Artzi, A. & Gohberg, I., 1994, Nonselfadjoint operators and related topics: workshop on operator theory and its applications, Beersheva, Febuary 24-28, 1992. Feintuch, A. & Gohberg, I. (eds.). 1 ed. Birkhäuser Basel, Vol. 73. p. 96-126 31 p. (Oper. Theory Adv. Appl.).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Partial surface and volume matching in three dimensions

    Barequet, G. & Sharir, M., 1994, Proceedings of the 12th IAPR International Conference on Pattern Recognition - Conference B: Pattern Recognition and Neural Networks, ICPR 1994. Institute of Electrical and Electronics Engineers Inc., p. 610-614 5 p. (Proceedings - International Conference on Pattern Recognition; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Petri nets and the equivalence problem

    Hirshfeld, Y., 1994, Computer Science Logic - 7th Workshop, CSL 1993, Selected Papers. Borger, E., Gurevich, Y. & Meinke, K. (eds.). Springer Verlag, p. 165-174 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 832 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Piecewise-linear interpolation between polygonal slices

    Barequet, G. & Sharir, M., 1994, Proceedings of the Annual Symposium on Computational Geometry. Association for Computing Machinery (ACM), p. 93-102 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Repeated communication and Ramsey graphs

    Alon, N. & Orlitsky, A., 1994, Proceedings - 1994 IEEE International Symposium on Information Theory, ISIT 1994. p. 315 1 p. 394703. (IEEE International Symposium on Information Theory - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Summer Episodes of Pollution Dispersion over the Coastal Area of Israel - A Numerical Study

    GOLDSTEIN, J., TOKAR, Y., BALMOR, Y., GLASER, E. & ALPERT, P., 1994, Air Pollution Modeling and Its Application X. Gryning, S-E. & Millán, M. M. (eds.). Boston, MA: Springer US, Vol. 18. p. 45-52 8 p. (NATO - CHALLENGES OF MODERN SOCIETY).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • TAUVEX UV imager on the SRG

    Brosch, N., Shemi, A., Netzer, H., Blasberger, A. & Topaz, J. M., 1994, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 469-478 10 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 2279).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Tracing traitors

    Chor, B., Fiat, A. & Naor, M., 1994, Advances in Cryptology — CRYPTO 1994 - 14th Annual International Cryptology Conference, Proceedings. Desmedt, Y. G. (ed.). Springer Verlag, p. 257-270 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 839 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Trade-offs between communication throughput and parallel time

    Mansour, Y., Nisan, N. & Vishkin, U., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 372-381 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Weakly learning DNF and characterizing statistical query learning using fourier analysis

    Blum, A., Furst, M., Jackson, J., Kearns, M., Mansour, Y. & Rudich, S., 23 May 1994, Proceedings of the 26th Annual ACM Symposium on Theory of Computing, STOC 1994. Association for Computing Machinery, p. 253-262 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F129502).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 1993

    3-D docking of protein molecules

    Fischer, D., Norel, R., Nussinov, R. & Wolfson, H. J., 1993, Combinatorial Pattern Matching - 4th Annual Symposium, CPM 1993, Proceedings. Apostolico, A., Apostolico, A., Crochemore, M., Galil, Z., Galil, Z. & Manber, U. (eds.). Springer Verlag, p. 20-34 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 684 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Almost tight upper bounds for lower envelopes in higher dimensions

    Sharir, M., 1993, Annual Symposium on Foundatons of Computer Science (Proceedings). Anon (ed.). Publ by IEEE, p. 498-507 10 p. (Annual Symposium on Foundatons of Computer Science (Proceedings)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Analysis and control of polling systems

    Yechiali, U., 1993, Performance Evaluation of Computer and Communication Systems - Joint Tutorial Papers of Performance 1993 and Sigmetrics 1993. Donafiello, L. & Nelson, R. (eds.). Springer Verlag, p. 630-650 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 729 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Benign failure models for shared memory

    Afek, Y., Merritt, M. & Taubenfeld, G., 1993, Distributed Algorithms - 7th International Workshop, WDAG 1993, Proceedings. Schipe, A. (ed.). Springer Verlag, p. 69-83 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 725 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review