Faculty of Exact Sciences

Filter
Conference contribution

Search results

  • 2010

    Incidences in three dimensions and distinct distances in the plane

    Elekes, G. & Sharir, M., 2010, Proceedings of the 26th Annual Symposium on Computational Geometry, SCG'10. Association for Computing Machinery, p. 413-422 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    16 Scopus citations

  • Individual NW chemical composition depth profiling and surface oxidation analyzed by auger electron spectroscopy

    Givan, U., Hammond, J., Paul, D. & Patolsky, F., 2010, Nanotechnology 2010: Advanced Materials, CNTs, Particles, Films and Composites - Technical Proceedings of the 2010 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2010. p. 21-24 4 p. (Nanotechnology 2010: Advanced Materials, CNTs, Particles, Films and Composites - Technical Proceedings of the 2010 NSTI Nanotechnology Conference and Expo, NSTI-Nanotech 2010; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Kinetic stable Delaunay graphs

    Agarwal, P. K., Gao, J., Guibas, L. J., Kaplan, H., Koltun, V., Rubin, N. & Sharir, M., 2010, Proceedings of the 26th Annual Symposium on Computational Geometry, SCG'10. p. 127-136 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    19 Scopus citations

  • K-set tilable surfaces

    Fu, C. W., Lai, C. F., He, Y. & Cohen-Or, D., 26 Jul 2010, SIGGRAPH '10: ACM SIGGRAPH 2010 Papers. Hoppe, H. (ed.). New York, NY: Association for Computing Machinery (ACM), 44. (ACM SIGGRAPH 2010 Papers, SIGGRAPH 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    18 Scopus citations

  • Learning bounds for importance weighting

    Cortes, C., Mansour, Y. & Mohri, M., 2010, Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010, NIPS 2010. Neural Information Processing Systems, (Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010, NIPS 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    218 Scopus citations

  • Learning efficiently with approximate inference via dual losses

    Meshi, O., Sontag, D., Jaakkola, T. & Globerson, A., 2010, ICML 2010 - Proceedings, 27th International Conference on Machine Learning. p. 783-790 8 p. (ICML 2010 - Proceedings, 27th International Conference on Machine Learning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    50 Scopus citations

  • Learning with global cost in stochastic environments

    Even-Dar, E., Mannor, S. & Mansour, Y., 2010, COLT 2010 - The 23rd Conference on Learning Theory. p. 80-92 13 p. (COLT 2010 - The 23rd Conference on Learning Theory).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Local list-decoding with a constant number of queries

    Ben-Aroya, A., Efremenko, K. & Ta-Shma, A., 2010, Proceedings - 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010. IEEE Computer Society, p. 715-722 8 p. 5671342. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations

  • Logics of reasonable information sources

    Avron, A., Ben-Naim, J. & Konikowska, B., 2010, ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic. p. 61-66 6 p. 5489215. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Lower bounds for Howard's algorithm for finding minimum mean-cost cycles

    Hansen, T. D. & Zwick, U., 2010, Algorithms and Computation - 21st International Symposium, ISAAC 2010, Proceedings. PART 1 ed. p. 415-426 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6506 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • Maintaining a large matching and a small vertex cover

    Onak, K. & Rubinfeld, R., 2010, STOC'10 - Proceedings of the 2010 ACM International Symposium on Theory of Computing. p. 457-464 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    97 Scopus citations

  • Maximally paraconsistent three-valued logics

    Arieli, O., Avron, A. & Zamansky, A., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010. Institute of Electrical and Electronics Engineers Inc., p. 310-318 9 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Maximum likelihood detection for single carrier - FDMA: Performance analysis

    Geles, M., Amrani, O., Averbuch, A. & Ezri, D., 2010, 2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010. p. 325-327 3 p. 5662215. (2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Middle infrared fiber - optic sensors

    Katzir, A., 2010, Optical Sensors, Sensors 2010. Optical Society of America (OSA), (Optics InfoBase Conference Papers).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Mid-IR spectroscopy using silver halide planar waveguide sensors for the chemical sensing of hazardous substances

    Dekel, B. & Katzir, A., 2010, Optics and Photonics for Counterterrorism and Crime Fighting VI and Optical Materials in Defence Systems Technology VII. 783806. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7838).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Monotonicity in bargaining networks

    Azar, Y., Devanur, N. R., Jain, K. & Rabani, Y., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. p. 817-826 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Navigating through mashed-up applications with COMPASS

    Deutch, D., Greenshpan, O. & Milo, T., 2010, 26th IEEE International Conference on Data Engineering, ICDE 2010 - Conference Proceedings. p. 1117-1120 4 p. 5447771. (Proceedings - International Conference on Data Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Non-deterministic multi-valued logics - A tutorial

    Avron, A. & Zamansky, A., 2010, ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic. p. 53-60 8 p. 5489216. (Proceedings of The International Symposium on Multiple-Valued Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Non-local scan consolidation for 3D urban scenes

    Zheng, Q., Sharf, A., Wan, G., Li, Y., Mitra, N. J., Cohen-Or, D. & Chen, B., 26 Jul 2010, SIGGRAPH '10: ACM SIGGRAPH 2010 papers. Hoppe, H. (ed.). Association for Computing Machinery (ACM), 94. (ACM SIGGRAPH 2010 Papers, SIGGRAPH 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    32 Scopus citations

  • Obfuscation of hyperplane membership

    Canetti, R., Rothblum, G. N. & Varia, M., 2010, Theory of Cryptography - 7th Theory of Cryptography Conference, TCC 2010, Proceedings. Springer Verlag, p. 72-89 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5978 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    64 Scopus citations

  • On constant time approximation of parameters of bounded degree graphs

    Alon, N., 2010, Property Testing - Current Research and Surveys. p. 234-239 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6390 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • On degrees in random triangulations of point sets

    Sharir, M., Sheffer, A. & Welzl, E., 2010, Proceedings of the 26th Annual Symposium on Computational Geometry, SCG'10. p. 297-306 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Online set packing and competitive scheduling of multi-part tasks

    Emek, Y., Halldórsson, M. M., Mansour, Y., Patt-Shamir, B., Radhakrishnan, J. & Rawitz, D., 2010, PODC'10 - Proceedings of the 2010 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 440-449 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations

  • On probabilistic fixpoint and Markov chain query languages

    Deutch, D., Koch, C. & Milo, T., 2010, PODS'10 - Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. p. 215-225 11 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    20 Scopus citations

  • On strong maximality of paraconsistent finite-valued logics

    Avron, A., Arieli, O. & Zamansky, A., 2010, Proceedings - 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. Institute of Electrical and Electronics Engineers Inc., p. 304-313 10 p. 5571725. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • On strong simulation and composable point obfuscation

    Bitansky, N. & Canetti, R., 2010, Advances in Cryptology - CRYPTO 2010 - 30th Annual Cryptology Conference, Proceedings. Springer Verlag, p. 520-537 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6223 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    66 Scopus citations

  • On symmetric encryption and point obfuscation

    Canetti, R., Tauman Kalai, Y., Varia, M. & Wichs, D., 2010, Theory of Cryptography - 7th Theory of Cryptography Conference, TCC 2010, Proceedings. Springer Verlag, p. 52-71 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5978 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    57 Scopus citations

  • On the equilibria of alternating move games

    Roth, A., Balcan, M. F., Kalai, A. & Mansour, Y., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 805-816 12 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Optimal cover of points by disks in a simple polygon

    Kaplan, H., Katz, M. J., Morgenstern, G. & Sharir, M., 2010, Algorithms, ESA 2010 - 18th Annual European Symposium, Proceedings. PART 1 ed. p. 475-486 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6346 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Parametric reshaping of human bodies in images

    Zhou, S., Fu, H., Liu, L., Cohen-Or, D. & Han, X., 26 Jul 2010, SIGGRAPH '10: ACM SIGGRAPH 2010 papers. Hoppe, H. (ed.). Association for Computing Machinery (ACM), 126. (ACM SIGGRAPH 2010 Papers, SIGGRAPH 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    39 Scopus citations

  • Performance of suboptimal beamforming with full knowledge of part of the channel matrix

    Shilo, S., Weiss, A. J. & Averbuch, A., 2010, 2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010. p. 1-5 5 p. 5662223. (2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Perspective on computer science education

    Yehudai, A., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. p. 35 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5941 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Piecewise smooth affine registration of point-sets with application to DT-MRI brain fiber-data

    Shadmi, R., Mayer, A., Sochen, N. & Greenspan, H., 2010, 2010 7th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2010 - Proceedings. p. 528-531 4 p. 5490292. (2010 7th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2010 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Polyhedral assembly partitioning with infinite translations or The importance of being exact

    Fogel, E. & Halperin, D., 2010, Algorithmic Foundations of Robotics VIII - Selected Contributions of the Eighth International Workshop on the Algorithmic Foundations of Robotics. p. 417-432 16 p. (Springer Tracts in Advanced Robotics; vol. 57).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Pre-collapse detection of failure in cavities by nanoseismic monitoring

    Tsesarsky, M. & Wust-Bloch, H. G., 2010, Rock Engineering in Difficult Ground Conditions - Soft Rocks and Karst - Proceedings of the Regional Symposium of the International Society for Rock Mechanics, EUROCK 2009. p. 583-587 5 p. (Rock Engineering in Difficult Ground Conditions - Soft Rocks and Karst - Proceedings of the Regional Symposium of the International Society for Rock Mechanics, EUROCK 2009).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Progress in the development of a plasma panel detector

    Ball, R., Beene, J. R., Benhammou, Y., Ben Moshe, M., Chapman, J. W., Dai, T., Etzion, E., Ferretti, C., Friedman, P. S., Levin, D. S., Silver, Y., Sherman, G., Varner, R. L., Weaverdyck, C., White, S., Yu, J. & Zhou, B., 2010, IEEE Nuclear Science Symposuim and Medical Imaging Conference, NSS/MIC 2010. p. 1536-1539 4 p. 5874033. (IEEE Nuclear Science Symposium Conference Record).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Promptness in ω-regular automata

    Almagor, S., Hirshfeld, Y. & Kupferman, O., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. p. 22-36 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6252 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Quantitative detection of sediment dust analog over green canopy using airborne hyperspectral imagery

    Brook, A. & Ben-Dor, E., 2010, 2nd Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, WHISPERS 2010 - Workshop Program. 5594842. (2nd Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, WHISPERS 2010 - Workshop Program).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Quasi-linearizability: Relaxed consistency for improved concurrency

    Afek, Y., Korland, G. & Yanovsky, E., 2010, Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Proceedings. p. 395-410 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6490 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    73 Scopus citations

  • Random complex zeroes and random nodal lines

    Nazarov, F. & Sodin, M., 2010, Proceedings of the International Congress of Mathematicians 2010, ICM 2010. p. 1450-1484 35 p. (Proceedings of the International Congress of Mathematicians 2010, ICM 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    25 Scopus citations

  • Regret minimization and job scheduling

    Mansour, Y., 2010, SOFSEM 2010: Theory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. p. 71-76 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5901 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Regret minimization with concept drift

    Crammer, K., Even-Dar, E., Mansour, Y. & Vaughan, J. W., 2010, COLT 2010 - The 23rd Conference on Learning Theory. p. 168-180 13 p. (COLT 2010 - The 23rd Conference on Learning Theory).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations

  • Relativistic jets at high energies

    Levinson, A., Sep 2010, Jets at all Scales. S275 ed. Cambridge University Press, p. 24-31 8 p. (Proceedings of the International Astronomical Union; vol. 6, no. S275).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Revisiting the eccentricities of hot Jupiters

    Husnoo, N., Pont, F., Mazeh, T., Fabrycky, D., Hebrard, G. & Moutou, C., Oct 2010, The Astrophysics of Planetary Systems: Formation, Structure, and Dynamical Evolution. Sozzetti, A., Lattanzi, M. & Boss, A. (eds.). S276 ed. p. 243-247 5 p. (Proceedings of the International Astronomical Union; vol. 6, no. S276).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Sampling-diagram automata: A tool for analyzing path quality in tree planners

    Nechushtan, O., Raveh, B. & Halperin, D., 2010, Algorithmic Foundations of Robotics IX - Selected Contributions of the Ninth International Workshop on the Algorithmic Foundations of Robotics. STAR ed. p. 285-301 17 p. (Springer Tracts in Advanced Robotics; vol. 68, no. STAR).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations

  • Scalable flat-combining based synchronous queues

    Hendler, D., Incze, I., Shavit, N. & Tzafrir, M., 2010, Distributed Computing - 24th International Symposium, DISC 2010, Proceedings. p. 79-93 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6343 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    22 Scopus citations

  • Scalable producer-consumer pools based on elimination-diffraction trees

    Afek, Y., Korland, G., Natanzon, M. & Shavit, N., 2010, Euro-Par 2010 Parallel Processing - 16th International Euro-Par Conference, Proceedings. PART 2 ed. p. 151-162 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6272 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    26 Scopus citations

  • Selective call out and real time bidding

    Chakraborty, T., Even-Dar, E., Guha, S., Mansour, Y. & Muthukrishnan, S., 2010, Internet and Network Economics - 6th International Workshop, WINE 2010, Proceedings. p. 145-157 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6484 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    31 Scopus citations

  • Similarity scores based on background samples

    Wolf, L., Hassner, T. & Taigman, Y., 2010, Computer Vision, ACCV 2009 - 9th Asian Conference on Computer Vision, Revised Selected Papers. PART 2 ed. p. 88-97 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5995 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    102 Scopus citations

  • Single-mode mid-infrared waveguides for spectro-interferometry applications

    Martin, G., Labadie, L., Caballero-Calero, O., Grille, R., Arezki, B., Kern, P., Anheier, N. C., Qiao, H. A., Bernacki, B., Lewi, T., Katzir, A. & De Aldana, J. R. V., 2010, Optical and Infrared Interferometry II. 77343R. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7734).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations