University of Haifa

Filter
Conference contribution

Search results

  • 2007

    Mathematics learning and the development of general deductive reasoning

    Ayalon, M. & Even, R., 2007, Proceedings of the V Congress of the European Society for Research in Mathematics Education (CERME). Pitta – Pantazi, D. & Philippou, G. (eds.). Larnaca, Cyprus, p. 551-560 10 p.

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

  • Maximizing the utility of situated public displays

    Müller, J., Krüger, A. & Kuflik, T., 2007, User Modeling 2007 - 11th International Conference, UM 2007, Proceedings. Springer Verlag, p. 395-399 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4511 LNCS).

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

  • Maximum matching in graphs with an excluded minor

    Yuster, R. & Zwick, U., 2007, Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007. Association for Computing Machinery, p. 108-117 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 07-09-January-2007).

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

  • Mobile application for mobile learning

    Botzer, G. & Yerushalmy, M., 2007, IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2007. p. 313-316 4 p. (IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2007).

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

  • Mobile instant messaging service over cellular networks

    Naor, Z., 2007, IEEE GLOBECOM 2007 - 2007 IEEE Global Telecommunications Conference, Proceedings. p. 5319-5323 5 p. 4411918. (GLOBECOM - IEEE Global Telecommunications Conference).

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

  • Multi-camera topology recovery from coherent motion

    Mandel, Z., Shimshoni, I. & Keren, D., 2007, 2007 1st ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC. p. 243-250 8 p. 4357530. (2007 1st ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC).

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

  • Multicast content distribution over IP networks

    Naor, Z., 2007, IEEE GLOBECOM 2007 - 2007 IEEE Global Telecommunications Conference, Proceedings. p. 2081-2085 5 p. 4411308. (GLOBECOM - IEEE Global Telecommunications Conference).

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

  • Multi-dimensional packing with conflicts

    Epstein, L., Levin, A. & Van Stee, R., 2007, Fundamentals of Computation Theory - 16th International Symposium, FCT 2007, Proceedings. Springer Verlag, p. 288-299 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4639 LNCS).

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

  • Multiple solution tasks as a magnifying glass for observation of mathematical creativity

    LEIKIN, R. & Lev, M., 2007, Proceedings of the 31st International Conference for the Psychology of Mathematics Education. Vol. 3. p. 161-168

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

  • New branch prediction vulnerabilities in OpenSSL and necessary software countermeasures

    Aciiçmez, O., Gueron, S. & Seifert, J. P., 2007, Cryptography and Coding - 11th IMA International Conference, Proceedings. Springer Verlag, p. 185-203 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4887 LNCS).

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

  • On bin packing with conflicts

    Epstein, L. & Levin, A., 2007, Approximation and Online Algorithms - 4th International Workshop, WAOA 2006, Revised Papers. Springer Verlag, p. 160-173 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4368 LNCS).

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

  • Online capacitated interval coloring

    Epstein, L., Erlebach, T. & Levin, A., 2007, Combinatorics, Algorithms, Probabilistic and Experimental Methodologies - First International Symposium, ESCAPE 2007, Revised Selected Papers. Springer Verlag, p. 243-254 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4614 LNCS).

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

    Open Access

  • On numerical solution to the Cauchy-Dirichlet problem for the heat equation

    Kozhevnikov, A. N., 2007, IMECS 2007 - International MultiConference of Engineers and Computer Scientists 2007. p. 605-608 4 p. (Lecture Notes in Engineering and Computer Science).

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

  • Poetry in Motion: Canaanite Rulerships and Minoan Narrative Poetry at Tel Kabri

    Cline, E. H. & Yasur Landau, A., 2007, EPOS: Reconstructing Greek Epic and Aegean Bronze Age Archaeology. Morris, S. P. & Laffineur, R. (eds.). p. 157–166

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

  • Preemptive scheduling on selfish machines

    Epstein, L. & Van Stee, R., 2007, Combinatorial and Algorithmic Aspects of Networking - 4th Workshop, CAAN 2007, Revised Papers. Springer Verlag, p. 57-70 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4852 LNCS).

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

  • Public health affinity domain: A standards-based surveillance system solution

    Carmeli, B., Eshel, T., Ford, D., Greenshpan, O., Kaufman, J., Knoop, S., Ram, R. & Renly, S., 2007, Intelligence and Security Informatics: Biosurveillance - Second NSF Workshop, BioSurveillance 2007, Proceedings. Springer Verlag, p. 147-158 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4506 LNCS).

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

  • Representation of method fragments: A comparative study

    Aharoni, A. & Reinhartz-berger, I., 2007, Situational Method Engineering: Fundamentals and Experiences: Proceedings of the IFIP WG 8.1 Working Conference, 12-14 September 2007, Geneva, Switzerland. Ralyte, J., Brinkkemper, S. & Henderson-Sellers, B. (eds.). p. 130-145 16 p. (IFIP International Federation for Information Processing; vol. 244).

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

    Open Access

  • Researching Teacher Learning: Centering the Teaching of Mathematics on Urban Youth

    Rubel, L., 2007, Proceedings of the 29th Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Lamberg, T. & Wiest, L. R. (eds.). Stateline Lake Tahoe, NV: University of Nevada, Reno, p. 697-707 11 p.

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

  • Semantic analysis of flow patterns in business process modeling

    Soffer, P., Wand, Y. & Kaner, M., 2007, Business Process Management - 5th International Conference, BPM 2007, Proceedings. Springer Verlag, p. 400-407 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4714 LNCS).

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

  • Source level merging of independent programs

    Asher, Y. B. & Yuda, M., 2007, 16th International Conference on Parallel Architecture and Compilation Techniques, PACT 2007. p. 402 1 p. 4336230. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

  • Supporting small groups in the museum by context-aware communication services

    Kuflik, T., Sheidin, J., Jbara, S., Goren-Bar, D., Soffer, P., Stock, O. & Zancanaro, M., 2007, IUI 2007: 2007 International Conference on Intelligent User Interfaces. p. 305-308 4 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

  • Teachers' conceptions of mathematical challenge in school mathematics

    Applebaum, M. & LEIKIN, R., 2007, Proceedings of the 31st International Conference for the Psychology of Mathematics Education. Vol. 2. p. 9-16

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

  • Testing properties of constraint-graphs

    Halevy, S., Lachish, O., Newman, I. & Tsur, D., 2007, Proceedings - Twenty-Second Annual IEEE Conference on Computational Complexity, CCC 2007. p. 264-277 14 p. 4262769. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

  • Testing st-connectivity

    Chakraborty, S., Fischer, E., Lachish, O., Matsliah, A. & Newman, I., 2007, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 10th International Workshop, APPROX 2007 and 11th International Workshop, RANDOM 2007, Proceedings. Springer Verlag, p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4627 LNCS).

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

  • Test theory for assessing IR test collections

    Bodoff, D. & Li, P., 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 367-374 8 p. (Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07).

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

  • Texture-preserving shadow removal in color images containing curved surfaces

    Arbel, E. & Hel-Or, H., 2007, 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR'07. 4270106. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

  • The Discipline of Statistics Education

    Garfield, J. B., Ben-Zvi, D., Chance, B., Medina, E., Roseth, C. J. & Zieffler, A., 2007, Developing Students’ Statistical Reasoning: Connecting Research and Teaching Practice. Garfield, J. B., Ben-Zvi, D., Chance, B., Medina, E., Roseth, C. & Zieffler, A. (eds.). Dordrecht: Springer Netherlands, p. 3-19 17 p.

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

  • The effects of emotional intelligence on visual search of emotional stimuli and emotion identification

    Fellner, A. N., Matthews, G., Funke, G. J., Emo, A. K., Zeidner, M., Pérez-Gonzalez, J. C. & Roberts, R. D., 2007, 51st Annual Meeting of the Human Factors and Ergonomics Society, HFES 2007. p. 845-849 5 p. (Proceedings of the Human Factors and Ergonomics Society; vol. 2).

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

  • The effects of the reliability of an automatic target recognition system on image analyst performance

    Setter, P., Marciano, H., Norman, J. & Hovev, M. M., 2007, ECCE 2007 - European Conference on Cognitive Ergonomics: Invent Explore. p. 299-300 2 p. (ACM International Conference Proceeding Series; vol. 250).

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

  • The effects of time limitations on target identification

    Setter, P., Marciano, H., Norman, J. & Hovev, M. M., 2007, ECCE 2007 - European Conference on Cognitive Ergonomics: Invent Explore. p. 301-302 2 p. (ACM International Conference Proceeding Series; vol. 250).

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

  • The Mycenaean Pottery from Tel Aphek: Chronology and Patterns of Trade

    Guzowska, M. & Yasur Landau, A., 2007, The Synchronization of Civilisations in the Eastern Mediterranean in the Second Millennium B.C. III: Proceedings of the SCIEM 2000—2nd EuroConference Vienna, 28th of May–1st of June 2003., B. M. & , C. E. (eds.). p. 537–545

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

  • The non-associativity of polarized tree-based grammars

    Cohen-Sygal, Y. & Wintner, S., 2007, Computational Linguistics and Intelligent Text Processing - 8th International Conference, CICLing 2007, Proceedings. Springer Verlag, p. 208-217 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4394 LNCS).

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

  • The power of assuming normality

    Raban, D. R. & Rabin, E., 2007, Proceedings of the European and Mediterranean Conference on Information Systems, EMCIS 2007. p. 301-308 8 p. (Proceedings of the European and Mediterranean Conference on Information Systems, EMCIS 2007).

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

  • The Stackelberg minimum spanning tree game

    Cardinal, J., Demaine, E. D., Fiorini, S., Joret, G., Langerman, S., Newman, I. & Weimann, O., 2007, Algorithms and Data Structures - 10th International Workshop, WADS 2007, Proceedings. Springer Verlag, p. 64-76 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4619 LNCS).

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

    Open Access

  • Towards a source level compiler: Source level modulo scheduling

    Ben-Asher, Y. & Meisler, D., 2007, Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer Verlag, p. 328-360 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4444 LNCS).

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

  • Towards Global E-Agriculture: the Challenge of Web-Based Decision Support Systems for Growers

    Kuflik, T., Pertot, I., Frizzi, A., Shtienberg, D., Simon, S., Gafny, Y., Soffer, E. & Hoch, D., 2007, Proceedings of the 2nd Mediterranean Conference on Information Systems (MCIS 2007). AISeL, p. 189-198

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

  • Utilization of data- mining techniques for evaluation of patterns of asthma drugs use by ambulatory patients in a large health maintenance organization

    Last, M., Carel, R. & Barak, D., 2007, ICDM Workshops 2007 - Proceedings of the 17th IEEE International Conference on Data Mining Workshops. p. 169-174 6 p. 4476663. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

  • Video streaming over wireless networks

    Naor, Z., 2007, 2007 IEEE Sarnoff Symposium, SARNOFF. 4567349. (2007 IEEE Sarnoff Symposium, SARNOFF).

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

    Open Access

  • What is hidden beyond the data? Helping young students to reason and argue about some wider universe

    Ben-Zvi, D., Gil, E. & Apel, N., 2007, Reasoning about Informal Inferential Statistical Reasoning: A collection of current research studies. Pratt, D. & Ainley, J. (eds.). Warwick: University of Warwick, p. 29-35 7 p.

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

  • הפיתוי הקודר של האופציה הדו-לאומית

    Translated title of the contribution: The Muddy Lure of the Bi-National Optionסבן, א., 2007, רב תרבותיות ואתגרי האזרחות הדיפרנציאלית בישראל: שולחן עגול. ג'מאל, א. (ed.). תל אביב: מכון וולטר ליבך לחקר הדו-קיום היהודי -ערבי, הפקולטה למדעי החברה ע"ש גרשון גורדון, אוניברסיטת תל אביב, p. 42-48 7 p.

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

  • "כופין אותו עד שיאמר רוצה אני": מהות העיקרון ויישומו בזמננו

    Translated title of the contribution: "He will be Coerced Until he Declares 'I Am Willing'": The Essence of the Principle and Its Implementation in Contemporary Societyקפלן, י. ש., 2007, עיונים במשפט עברי ובהלכה: דיין ודיון. חבה, י. & רדזינר, ע. (eds.). רמת-גן: הוצאת אוניברסיטת בר-אילן, p. 189-248 60 p.

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

  • 2006

    2-Source dispersers for sub-polynomial entropy and ramsay graphs beating the frankl-wilson construction

    Barak, B., Rao, A., Shaltiel, R. & Wigderson, A., 2006, STOC'06: Proceedings of the 38th Annual ACM Symposium on Theory of Computing. p. 671-680 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. 2006).

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

  • 3D shape recovery of smooth surfaces: Dropping the fixed viewpoint assumption

    Moses, Y. & Shimshoni, I., 2006, Computer Vision - ACCV 2006 - 7th Asian Conference on Computer Vision, Proceedings. p. 429-438 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3851 LNCS).

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

  • A combinatorial characterization of the testable graph properties: It's all about regularity

    Alon, N., Fischer, E., Newman, I. & Shapira, A., 2006, STOC'06: Proceedings of the 38th Annual ACM Symposium on Theory of Computing. p. 251-260 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. 2006).

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

  • Adaptation of Model Based Testing to Industry

    Hartman, A., 2006, Agile and Automated Testing Seminar, Tampere University of Technology.

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

  • Adaptation of practice guidelines for clinical decision support: A case study of diabetic foot care

    Peleg, M., Wang, D., Fodor, A., Keren, S. & Karnieli, E., 2006, Proceeding of the biennial European Conference on Artificial Intelligence (ECAI) 2006 Workshop: AI techniques in healthcare: computerized guidelines and protocols. p. 57-61

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

  • Ad-hoc routing using virtual coordinates based on rooted trees

    Ben-Asher, Y., Feldman, M. & Feldman, S., 2006, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. p. 6-13 8 p. 1636153. (Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing; vol. 2006 II).

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

  • A fast block motion estimation algorithm using Gray Code Kernels

    Moshe, Y. & Hel-Or, H., 2006, Sixth IEEE International Symposium on Signal Processing and Information Technology, ISSPIT 2006. Institute of Electrical and Electronics Engineers Inc., p. 185-190 6 p. 4042236. (Sixth IEEE International Symposium on Signal Processing and Information Technology, ISSPIT).

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

    Open Access

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

    Sharfman, I., Schuster, A. & Keren, D., 2006, SIGMOD 2006 - Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 301-312 12 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

  • Aggregated Dynamic Background Modeling

    Adam, A., Rivlin, E. & Shimshoni, I., 2006, IEEE International Conference on Image Processing. IEEE, p. 3313 - 3316 4 p. 4107279. (Proceedings - International Conference on Image Processing, ICIP).

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