University of Haifa

Filter
Conference contribution

Search results

  • 2007

    Estimating the required code inspection team size

    Kantorowitz, E., Kuflik, T. & Raginsky, A., 2007, Proceedings - IEEE International Conference on Software - Science, Technologyand Engineering, SwSTE'07. p. 104-115 12 p. 4384090. (Proceedings - IEEE International Conference on Software - Science, Technology and Engineering, SwSTE'07).

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

  • Existence and approximation of solutions for Fredholm equations of the first kind

    Butnariu, D. & Shklyar, B., 2007, WMSCI 2007 - The 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 13th International Conference on Information Systems Analysis and Synthesis, ISAS 2007 - Proc.. p. 181-185 5 p. (WMSCI 2007 - The 11th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 13th International Conference on Information Systems Analysis and Synthesis, ISAS 2007 - Proc.; vol. 4).

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

  • Facilitating Reuse by Specialization of Reference Models for Business Process Design

    Soffer, P., Reinhartz-Berger, I. & Sturm, A., 2007, Workshop on Business Process Modeling, Design and Support (BPMDS’07), Proceedings of CAiSE’07 Workshops. p. 339-348

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

  • Fast algorithms for maximum subset matching and all-pairs shortest paths in graphs with a (not so) small vertex cover

    Alon, N. & Yustcr, R., 2007, Algorithms - ESA 2007 - 15th Annual European Symposium, Proceedings. Springer Verlag, p. 175-186 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4698 LNCS).

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

    Open Access
  • Finite-state technology as a programming environment

    Wintner, S., 2007, Computational Linguistics and Intelligent Text Processing - 8th International Conference, CICLing 2007, Proceedings. Springer Verlag, p. 97-106 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 proceedingConference contributionpeer-review

  • Habits of mind associated with advanced mathematical thinking and solution spaces of mathematical tasks

    LEIKIN, R., 2007, The Fifth Conference of the European Society for Research in Mathematics Education - CERME-5. p. 2330-2339

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

  • Hard metrics from Cayley graphs of abelian groups

    Newman, I. & Rabinovich, Y., 2007, STACS 2007 - 24th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Springer Verlag, p. 157-162 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4393 LNCS).

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

  • Health Literacy, Empowerment and Cultural Competency

    Levin-Zamir, D., 2007, Culturally Appropriate Health Care by Culturally Competent Health Professionals: International Workshop Report. Epstein, L. (ed.). The Israel National Institute for Health Policy and Health Services Research, p. 101-111 11 p.

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

  • Hertz’s methodology and its influence on Einstein

    Hon, G. & Goldstein, B. R., 2007, Proceedings of the conference "Heinrich Hertz (1857–1894) and the Development of Communication". Wolfschmidt, G. (ed.). Vol. 10. p. 95–105

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

  • High-accuracy Annotation and Parsing of CHILDES Transcripts

    Sagae, K., Davis, E., Lavie, A., MacWhinney, B. & Wintner, S., 1 Jun 2007, Proceedings of the Workshop on Cognitive Aspects of Computational Language Acquisition. Prague, Czech Republic: Association for Computational Linguistics, p. 25-32 8 p.

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

  • How Can Hybrid Courses Designed with Socio-Constructivist Design-Principles Promote Learning in Higher Education?

    Kali, Y., Levin-Peled, R. & Dori, Y. J., 1 Oct 2007, Proceedings of E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2007. Bastiaens, T. & Carliner, S. (eds.). Quebec City, Canada: Association for the Advancement of Computing in Education (AACE), p. 6071-6078 8 p.

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

  • Improved results for a memory allocation problem

    Epstein, L. & Van Stee, R., 2007, Algorithms and Data Structures - 10th International Workshop, WADS 2007, Proceedings. Springer Verlag, p. 362-373 12 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 proceedingConference contributionpeer-review

    Open Access
  • Indexing a dictionary for subset matching queries

    Landau, G. M., Tsur, D. & Weimann, O., 2007, String Processing and Information Retrieval - 14th International Symposium, SPIRE 2007, Proceedings. Springer Verlag, p. 195-204 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4726 LNCS).

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

  • Interactive technologies for autism

    Gillette, D. R., Hayes, G. R., Abowd, G. D., Cassell, J., El Kaliouby, R., Strickland, D. & Weiss, P., 2007, SIGCHI Conference on Human Factors in Computing Systems 2007, CHI 2007 Extended Abstracts. Association for Computing Machinery, p. 2109-2112 4 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

  • LAKE system at DUC-2007

    D'Avanzo, E., Elia, A., Kuflik, T. & Vietri, S., 2007, Proceedings of Human Language Technology Conference/North American chapter of the Association for Computational Linguistics Annual Meeting (HLT-NAACL 2007). Rochester, New York, 6 p.

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

  • Learning mathematics with interactive diagrams

    Yerushalmy, M. & Naftaliev, E., 2007, IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2007. p. 123-130 8 p. (IADIS International Conference on Cognition and Exploratory Learning in Digital Age, CELDA 2007).

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

  • Learning through Teaching: Development of teachers' knowledge in practice – Research forum

    LEIKIN, R. & Zazkis, R., 2007, Proceedings of the 31st International Conference for the Psychology of Mathematics Education. Vol. 1. p. 121-150

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

  • Low-end uniform hardness vs. randomness tradeoffs for AM

    Shaltiel, R. & Umans, C., 2007, STOC'07: Proceedings of the 39th Annual ACM Symposium on Theory of Computing. p. 430-439 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  • L’abattage rituel et les femmes: tradition, lois et réalité à la fin du Moyen Age

    Perry, M., 2007, Donne nella storia degli ebrei d’Italia: Proceedings of the 9th international conference., M. L. & , C. G. (eds.). p. 171-179

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

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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, p. 3-19 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review