University of Haifa

Filter
Conference contribution

Search results

  • 2009

    Offering proof ideas in algebra lesson in different classes taught by the same teacher and by different teachers

    Ayalon, M. & Even, R., 2009, Proceedings of the VI Congress of the European Society for Research in Mathematics Education. Durand-Guerrier, V., Soury-Lavergne, S. & Arzarello, F. (eds.). Lyon, France, p. 430-439 10 p.

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

  • On cartesian trees and range minimum queries

    Demaine, E. D., Landau, G. M. & Weimann, O., 2009, Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Proceedings. PART 1 ed. p. 341-353 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5555 LNCS, no. PART 1).

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

  • On edge detection on surfaces

    Kolomenkin, M., Shimshoni, I. & Tal, A., 2009, 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2009. IEEE Computer Society, p. 2767-2774 8 p. 5206517. (2009 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2009).

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

  • On equilibria for ADM minimization games

    Epstein, L. & Levin, A., 2009, Algorithmic Game Theory - Second International Symposium, SAGT 2009, Proceedings. p. 347-358 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5814 LNCS).

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

  • On the (Im)possibility of arthur-merlin witness hiding protocols

    Haitner, I., Rosen, A. & Shaltiel, R., 2009, Theory of Cryptography - 6th Theory of Cryptography Conference, TCC 2009, Proceedings. p. 220-237 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5444 LNCS).

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

    Open Access

  • On the impossibility of detecting Virtual Machine monitors

    Gueron, S. & Seifert, J. P., 2009, Emerging Challenges for Security, Privacy and Trust - 24th IFIP TC 11 International Information Security Conference, SEC 2009, Proceedings. Gritzalis, D. & Lopez, J. (eds.). Springer New York LLC, p. 143-151 9 p. (IFIP Advances in Information and Communication Technology; vol. 297).

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

    Open Access

  • On the surprisingly prolonged developmental trajectory of (central) auditory processing

    BANAI, KAREN., 2009, Proceedings of the 9th Congress of the European Federation of Audiological Societies. 3 p.

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

  • Parametric packing of selfish items and the subset sum algorithm

    Epstein, L., Kleiman, E. & Mestre, J., 2009, Internet and Network Economics - 5th International Workshop, WINE 2009, Proceedings. p. 67-78 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5929 LNCS).

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

  • Path-bicolorable graphs (Extended Abstract)

    Brandstädt, A., Golumbic, M. C., Le, V. B. & Lipshteyn, M., 2009, Graph Theory, Computational Intelligence and Thought - Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday. Lipshteyn, M., Levit, V. E. & McConnell, R. M. (eds.). p. 172-182 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5420 LNCS).

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

  • Pattern mining in system logs: Opportunities for process improvement

    Mezebovsky, D., Soffer, P. & Shimshoni, I., 2009, Enterprise, Business-Process and Information Systems Modeling - 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Proceedings. Springer Verlag, p. 162-173 12 p. (Lecture Notes in Business Information Processing; vol. 29 LNBIP).

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

  • Place Your Bets! Information Aggregation and Prediction Markets in MBA Courses

    Raban, D. & Geifman, D., 2009, Chais Conference for Research in Learning Technologies. Ra'anana: רעננה : האוניברסיטה הפתוחה, p. 153-158

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

  • PlayCubes: Monitoring constructional ability in children using a tangible user interface and a playful virtual environment

    Jacoby, S., Gutwillig, G., Jacoby, D., Josman, N., Weiss, P. L., Koike, M., Itoh, Y., Kawai, N., Kitamura, Y. & Sharlin, E., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 42-49 8 p. 5174203. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • Preemptive online scheduling with reordering

    Dósa, G. & Epstein, L., 2009, Algorithms - ESA 2009 - 17th Annual European Symposium, Proceedings. p. 456-467 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5757 LNCS).

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

  • Probing the behavioral and physiological correlates underlying projection of the body via 3D virtual haptic environments as a basis for developing novel therapeutic interventions

    Raz, L., Weiss, P. L. & Reiner, M., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 201 1 p. 5174239. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • Prominent field for shape processing of archaeological artifacts

    Kolomenkin, M., Shimshoni, I. & Tal, A., 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. p. 915-922 8 p. 5457604. (2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009).

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

  • Pseudorandom generators and typically-correct derandomization

    Kinne, J., Van Melkebeek, D. & Shaltiel, R., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 574-587 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5687 LNCS).

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

  • Research Forum - Mathematical gift and promise: Exploring and developing

    Karp, A. & LEIKIN, ROZA., 2009, The Proceedings of the 33rd International Conference for the Psychology of Mathematics Education. Vol. 1. p. 185-206

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

  • Sensory mapping algorithm and enhanced product development

    Makov, U. E., Ben-Assor, M. & Sam Saguy, I., 2009, Proceedings - 2009 International Conference on Computer Engineering and Technology, ICCET 2009. p. 180-184 5 p. 4769583. (Proceedings - 2009 International Conference on Computer Engineering and Technology, ICCET 2009; vol. 2).

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

  • Strong parallel repetition theorem for free projection games

    Barak, B., Rao, A., Raz, R., Rosen, R. & Shaltiel, R., 2009, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 12th International Workshop, APPROX 2009 and 13th International Workshop, RANDOM 2009, Proceedings. p. 352-365 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5687 LNCS).

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

  • SYnchronous online discussions participation in a group audio conferencing and textual chat as affected by communicator's personality characteristics and discussion topics

    Blau, I. & Barak, A., 2009, CSEDU 2009 - Proceedings of the 1st International Conference on Computer Supported Education. p. 19-24 6 p. (CSEDU 2009 - Proceedings of the 1st International Conference on Computer Supported Education; vol. 1).

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

  • The effect of unrolling and inlining for python bytecode optimizations

    Asher, Y. B. & Rotem, N., 2009, Proceedings of the Israeli Experimental Systems Conference, SYSTOR 2009. p. 14 1 p. (ACM International Conference Proceeding Series).

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

  • The impact of personality traits on the experience of presence

    Samana, R., Wallach, H. S. & Safir, M. P., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 1-7 7 p. 5174197. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • The intel AES instructions set and the SHA-3 candidates

    Benadjila, R., Billet, O., Gueron, S. & Robshaw, M. J. B., 2009, Advances in Cryptology - ASIACRYPT 2009 - 15th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. p. 162-178 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5912 LNCS).

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

    Open Access

  • The meal-maker: A functional virtual environment for children with cerebral palsy

    Kirshner, S., Blum, S., Weiss, T. & Tirosh, E., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 218 1 p. 5174256. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • The stackelberg minimum spanning tree game on planar and bounded-treewidth graphs

    Cardinal, J., Demaine, E. D., Fiorini, S., Joret, G., Newman, I. & Weimann, O., 2009, Internet and Network Economics - 5th International Workshop, WINE 2009, Proceedings. p. 125-136 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5929 LNCS).

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

  • User model on a key

    Kuflik, T. & Poteriaykina, K., 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, HT'09. p. 371-372 2 p. (Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, HT'09).

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

  • Using phyllotaxis for date palm tree 3D reconstruction from a single image

    Dror, R. & Shimshoni, I., 2009, VISAPP 2009 - Proceedings of the 4th International Conference on Computer Vision Theory and Applications. p. 288-296 9 p.

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

  • Virtual Environments for the study of the effect of context on dual tasking

    Kizony, R., Elion, O., Bahat, Y., Siev-Ner, I., Katz, N. & Fung, J., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 211 1 p. 5174249. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • Weak derandomization of weak algorithms: Explicit versions of Yao's lemma

    Shaltiel, R., 2009, Proceedings of the 2009 24th Annual IEEE Conference on Computational Complexity, CCC 2009. p. 114-125 12 p. 5231257. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

  • 2010

    AAC Continuing Education Programs for Multi-Disciplinary Teams: Does it Make a Difference?

    Hetzroni, O. & Neeman, A., 2010, ISAAC'2010 Biennial Conference. Barcelona: RESNA Press

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

  • A formal model for process context learning

    Ghattas, J., Soffer, P. & Peleg, M., 2010, Business Process Management Workshops - BPM 2009 International Workshops, Revised Papers. Springer Verlag, p. 140-157 18 p. (Lecture Notes in Business Information Processing; vol. 43 LNBIP).

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

  • A general method for creating a bilingual transliteration dictionary

    Kirschenbaum, A. & Wintner, S., 2010, Proceedings of the 7th International Conference on Language Resources and Evaluation, LREC 2010. Tapias, D., Russo, I., Hamon, O., Piperidis, S., Calzolari, N., Choukri, K., Mariani, J., Mazo, H., Maegaard, B., Odijk, J. & Rosner, M. (eds.). European Language Resources Association (ELRA), p. 273-276 4 p. (Proceedings of the 7th International Conference on Language Resources and Evaluation, LREC 2010).

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

  • A geometric approach to monitoring threshold functions over distributed data streams

    Sharfman, I., Schuster, A. & Keren, D., 2010, Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications. May, M. & Saitta, L. (eds.). p. 163-186 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6202 LNAI).

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

  • A morphologically-Analyzed CHILDES corpus of Hebrew

    Nir, B., MacWhinney, B. & Wintner, S., 2010, Proceedings of the 7th International Conference on Language Resources and Evaluation, LREC 2010. Tapias, D., Russo, I., Hamon, O., Piperidis, S., Calzolari, N., Choukri, K., Mariani, J., Mazo, H., Maegaard, B., Odijk, J. & Rosner, M. (eds.). European Language Resources Association (ELRA), p. 1487-1490 4 p. (Proceedings of the 7th International Conference on Language Resources and Evaluation, LREC 2010).

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

  • An empirical study of critical mass and online community survival

    Raban, D. R., Moldovan, M. & Jones, Q., 2010, 2010 ACM Conference on Computer Supported Cooperative Work, CSCW 2010. p. 71-80 10 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

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

  • An empirical study of requirements model understanding: Use Case vs. Tropos models

    Hadar, I., Kuflik, T., Perini, A., Reinhartz-Berger, I., Ricca, F. & Susi, A., 2010, APPLIED COMPUTING 2010 - The 25th Annual ACM Symposium on Applied Computing. p. 2324-2329 6 p. (Proceedings of the ACM Symposium on Applied Computing).

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

  • A PTAS for the square tiling problem

    Amir, A., Apostolico, A., Landau, G. M. & Shalom, O. S., 2010, String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010, Proceedings. p. 118-126 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6393 LNCS).

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

  • Arm path fragmentation and spatiotemporal features of hand reaching in healthy subjects and stroke patients

    Liebermann, D. G., Levin, M. F., McIntyre, J., Weiss, P. L. & Berman, S., 2010, 2010 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC'10. p. 5242-5245 4 p. 5626297. (2010 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC'10).

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

  • A sublogarithmic approximation for highway and tollbooth pricing

    Gamzu, I. & Segev, D., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 1 ed. p. 582-593 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6198 LNCS, no. PART 1).

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

  • Automatic acquisition of parallel corpora from websites with dynamic content

    Tsvetkov, Y. & Wintner, S., 2010, Proceedings of the 7th International Conference on Language Resources and Evaluation, LREC 2010. Tapias, D., Russo, I., Hamon, O., Piperidis, S., Calzolari, N., Choukri, K., Mariani, J., Mazo, H., Maegaard, B., Odijk, J. & Rosner, M. (eds.). European Language Resources Association (ELRA), p. 3389-3392 4 p. (Proceedings of the 7th International Conference on Language Resources and Evaluation, LREC 2010).

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

  • Automatic memory partitioning: Increasing memory parallelism via data structure partitioning

    Asher, Y. B. & Rotem, N., 2010, Embedded Systems Week 2010 - Proceedings of the 8th IEEE/ACM/IFIP International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CODES+ISSS'10. p. 155-161 7 p. (Embedded Systems Week 2010 - Proceedings of the 8th IEEE/ACM/IFIP International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CODES+ISSS'2010).

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

  • Classification and clustering of brain injuries from motion data of patients in a virtual reality environment

    Feintuch, U., Manevitz, L. & Silnitsky, N., 2010, ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation. p. 246-252 7 p. (ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation).

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

  • Collaborative future event recommendation

    Minkov, E., Charrow, B., Ledlie, J., Teller, S. & Jaakkola, T., 2010, CIKM'10 - Proceedings of the 19th International Conference on Information and Knowledge Management and Co-located Workshops. p. 819-827 9 p. (International Conference on Information and Knowledge Management, Proceedings).

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

  • Communication Dyads: A Model Representing Interactions between Parents and their Child with Communication Disorders

    Hetzroni, O. & Neeman, A., 2010, ISAAC'2010 Biennial Conference. Barcelona: RESNA Press

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

  • Computational models of language acquisition

    Wintner, S., 2010, Computational Linguistics and Intelligent Text Processing - 11th International Conference, CICLing 2010, Proceedings. p. 86-99 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6008 LNCS).

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

  • Constant approximation algorithms for embedding graph metrics into trees and outerplanar graphs

    Chepoi, V., Dragan, F. F., Newman, I., Rabinovich, Y. & Vaxès, Y., 2010, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 13th International Workshop, APPROX 2010 and 14th International Workshop, RANDOM 2010, Proceedings. p. 95-109 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6302 LNCS).

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

  • Derandomized parallel repetition theorems for free games

    Shaltiel, R., 2010, Proceedings - 25th Annual IEEE Conference on Computational Complexity, CCC 2010. p. 28-37 10 p. 5497902. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

  • Detecting Mutual Awareness Events

    Cohen, M., Shimshoni, I., Rivlin, E. & Adam, A., 2010, Face Detection: Where we are, and what next? ECCV Workshop. 12 ed. Vol. 34.

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

  • eHeritage 2010: 2nd ACM workshop on eHeritage and digital art preservation

    Bellon, O. P., Shimshoni, I. & Dellepiane, M., 2010, MM'10 - Proceedings of the ACM Multimedia 2010 International Conference. p. 1729-1730 2 p. (MM'10 - Proceedings of the ACM Multimedia 2010 International Conference).

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

  • Enhancing software architecture review process via knowledge management

    Sherman, S., Hadar, I. & Levy, M., 2010, 16th Americas Conference on Information Systems 2010, AMCIS 2010. p. 4616-4625 10 p. (16th Americas Conference on Information Systems 2010, AMCIS 2010; vol. 6).

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