University of Haifa

Filter
Conference contribution

Search results

  • 2004

    The AGEDIS tools for model based testing

    Hartman, A. & Nagin, K., 2004, ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery (ACM), Vol. 3297. p. 129-132 4 p.

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

  • The Dead Sea Fault and its Effect on Civilization

    Ben-Avraham, Z., Lazar, M., Schattner, U. & Marco, S., 2004, Lecture Notes in Earth Sciences: Perspectives in Modern Seismology, Springer Verlag Heidelberg.

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

  • The emergence of reasoning about variability in comparing distributions: A case study of two seventh grade students

    Ben-Zvi, D. & Garfield, J., 2004, Reasoning about variability: A collection of current research studies - Proceedings of the Third International Research Forum on Statistical Reasoning, Thinking, and Literacy (SRTL3). Lee, C. (ed.). Lincoln, Nebraska: University of Nebraska Press, p. 4-6 3 p.

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

  • The voxel-sweep: A boundary-based algorithm for object segmentation and connected-components detection

    Cohen, I. & Gordon, D., 2004, Vision, Modeling and Visualization 2004, VMV 2004 - Proceedings. Seidel, H.-P., Girod, B. & Magnor, M. (eds.). IOS Press BV, p. 405-411 7 p. (Vision, Modeling and Visualization 2004, VMV 2004 - Proceedings).

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

  • Towards High Quality Geometrical Tasks: Reformulation of A Proof Problem

    LEIKIN, R., 2004, Proceedings of the 28th International Conference for the Psychology of Mathematics Education. Vol. 3. p. 209-216

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

  • Using a J2EE cluster for parallel computation of join queries in distributed databases

    Ben-Asher, Y., Berkovsky, S., Tammam, A. & Shmueli, E., 2004, Proc. - ISPDC 2004: Third Int. Symp. on Parallel and Distributed Computer/HeteroPar '04: Third Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks. p. 58-63 6 p. (Proceedings - ISPDC 2004: Third International Symposium on Parallel and Distributed Computing/HeteroPar '04: Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Hete).

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

  • Zeitgenössische Musik in Israel – jüdisch? – mediterran? – neu?

    Translated title of the contribution: Contemporary Music in Israel – Jewish? – Mediterranean? – New?Shaked, Y., 2004, Jüdische Musik? – Fremdbilder – Eigenbilder. John, E. & Zimmermann, H. (eds.). Köln: Bohlau Verlag, p. 269-288 20 p.

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

  • רשות התקשורת החדשה: מודלים של ביקורת שיפוטית

    Translated title of the contribution: The New Broadcasting Agency: Models of Judicial Reviewרייכמן, א., 2004, רשות תקשורת חדשה? המשפט, השוק והשיח הציבורי: סיכום ערב עיון. חיפה: המרכז למשפט וטכנולוגיה, p. 61-66 6 p.

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

  • 2005

    A domain engineering approach to specifying and applying reference models

    Reinhartz-Berger, I., Soffer, P. & Sturm, A., 2005, Proceedings of the Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2005. p. 50-63 14 p. (Proceedings of the Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2005).

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

  • A Finite-State Morphological Grammar of Hebrew

    Yona, S. & Wintner, S., 2005, Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages. USA: Association for Computational Linguistics, p. 9-16 8 p. (Semitic '05).

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

  • A geometric approach to quadratic optimization in computerized tomography

    Gordon, D. & Mansour, R., 2005, Proceedings of the Eighth IASTED International Conference on Computer Graphics and Imaging, CGIM 2005. Hamza, M. H. (ed.). p. 60-65 6 p. (Proceedings of the Eighth IASTED International Conference on Computer Graphics and Imaging, CGIM 2005).

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

  • Analyzing symmetry in biological systems

    Milner, D., Hel-Or, H., Keren, D., Raz, S. & Nevo, E., 2005, IEEE International Conference on Image Processing 2005, ICIP 2005. p. 361-364 4 p. 1529762. (Proceedings - International Conference on Image Processing, ICIP; vol. 1).

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

    Open Access

  • Answering distance queries in directed graphs using fast matrix multiplication

    Yuster, R. & Zwick, U., 2005, Proceedings - 46th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2005. p. 389-396 8 p. 1530731. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2005).

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

  • Applications of the montgomery exponent

    Gueron, S. & Zuk, O., 2005, Proceedings ITCC 2005 - International Conference on Information Technology: Coding and Computing. Institute of Electrical and Electronics Engineers Inc., p. 620-625 6 p. (International Conference on Information Technology: Coding and Computing, ITCC; vol. 1).

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

  • Applying a Model for Virtual Reality Intervention to Stroke Rehabilitation

    Josman, N., Katz, N., Kizony, R., Rand, D. & Weiss, P. L., 2005, Proceedings of the 11th International Conference on Human-Computer Interaction. Lawrence Erlbaum Associates Publishers, p. 22-27

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

  • Approximation algorithm for the cyclic swap problem

    Ardila, Y. J. P., Iliopoulos, C. S., Landau, G. M. & Mohamed, M., 2005, Proceedings of the Prague Stringology Conference '05. p. 190-200 11 p. (Proceedings of the Prague Stringology Conference '05).

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

  • A Unified RE Approach for Software Product Evolution: Challenges and Research Agenda

    Soffer, P., Goldin, L. & Kuflik, T., 2005, Proceedings of Situational Requirements Engineering Processes Workshop (SREP’05). p. 200-210

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

  • Broken mammal bones: taphonomy and food sharing at the Ohalo II submerged prehistoric camp

    Rabinovich, R. & Nadel, D., 2005, Archaeozoology of the Near East VI, Proceedings of the sixth international symposium on the archaeozoology of southwestern Asia and adjacent areas., H. B., , A. M. C., , L. M., , L. B. & , M. M. (eds.). ARC Publicaties , p. 34-50

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

  • Cambios estructurales y economicos en la orden de San Juan de Jerusalén en la mitad del siglo XIII

    Bronstein, J., 2005, As Ordens Militares e as Ordens de Cavalaria na Construçāo do Mundo Ocidental: Actas do IV Encontro sobre Ordens Militares., L. A. D. F. & , F. O. (eds.). Edições Colibri, p. 227-235

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

  • Combining intention-oriented and state-based process modeling

    Soffer, P. & Rolland, C., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 47-62 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3716 LNCS).

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

  • Computing similarity of run-length encoded strings with affine gap penalty

    Kim, J. W., Amir, A., Landau, G. M. & Park, K., 2005, String Processing and Information Retrieval - 12th International Conference, SPIRE 2005, Proceedings. Springer Verlag, p. 315-326 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3772 LNCS).

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

  • Conceptual modeling of structure and behavior with UML - The Top Level Object-Oriented Framework (TLOOF) approach

    Reinhartz-Berger, I., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3716 LNCS).

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

  • Conventional and open source software reuse at orbotech - An industrial experience

    Morad, S. & Kuflik, T., 2005, Proceedings - IEEE International Conference on Software - Science, Technology and Engineering 2005, SwSTE '05. p. 110-117 8 p. 1421071. (Proceedings - IEEE International Conference on Software - Science, Technology and Engineering 2005, SwSTE '05; vol. 2005).

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

  • Cycles of Modernity in the Holy Land

    Fuchs, R. & Epstein-Pliouchtch, M., Jun 2005, Re-thinking and Re-constructing Modern Asian Architecture: Proceedings of the Modern Asian Architecture Network 5th International Conference. Istanbul: Technical University of Istanbul, p. 37-47 11 p.

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

  • Effectiveness of the forms of treatment in positive symptomatology in Schizophrenia

    Josman, N., 2005, National Congress on "Mental Care is of Everyone’s Interest". 12 p.

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

  • Enhancing social communication through story-telling among high-functioning children with Autism

    Gal, E., Goren-Bar, D., Gazit, E., Bauminger, N., Cappelletti, A., Pianesi, F., Stock, O., Zancanaro, M. & Weiss, P. L., 2005, Intelligent Technologies for Interactive Entertainment - First International Conference, INTETAIN 2005, Proceedings. p. 320-323 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3814 LNAI).

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

  • Entertainment personalization mechanism through cross-domain user modeling

    Berkovsky, S., Kuflik, T. & Ricci, F., 2005, Intelligent Technologies for Interactive Entertainment - First International Conference, INTETAIN 2005, Proceedings. p. 215-219 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3814 LNAI).

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

  • Erinnerung und Normalisierung: Israelische Reaktion auf die österreichische De-facto-Anerkennung

    Translated title of the contribution: Memory and Normalization: Israeli Reaction to the Austrian De-Facto RecognitionHotam, Y., 2005, Israel - Österreich: von den Anfängen bis zum Eichmann-Prozess. Falch, S. & Zimmermann, M. (eds.). Studien Verlag, p. 145-166 22 p. (Österreich-Israel-Studien).

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

  • Family environment, program quality, and children social-emotional development in Head Start and kindergarten

    Alva, S., Ziv, Y. & Zill, N., 2005, Annual Meetings of the Population Association of America. Philadelphia, PA, US

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

  • How do primary school students begin to reason about distributions?

    Ben-Zvi, D. & Sharett-Amir, Y., 2005, Reasoning about distribution: A collection of current research studies. Proceedings of the Fourth International Research Forum on Statistical Reasoning, Thinking, and Literacy (SRTL-4). University of Queensland Press, 22 p.

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

  • If NP languages are hard on the worst-case then it is easy to find their hard instances

    Gutfreund, D., Shaltiel, R. & Ta-Shma, A., 2005, Proceedings of the 20th Annual IEEE Conference on Computational Complexity. p. 243-257 15 p. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

  • Imported Pottery of LH IIIC Style from Israel: Style, Provenance, and Chronology

    D'Agata, A., Goren, Y., Mommsen, H., Schwadt, A. & Yasur Landau, A., 2005, Emporia: Aegeans in the Central and Eastern Mediterranean: Proceedings of the 10th International Aegean Conference. L. R. & G. E. (eds.). Universite de Liege, p. 371–379

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

  • Influence of the Russo-Japanese War in European History

    Kowner, R., 2005, Centenary International Symposium on the Russo-Japanese War and the Portsmouth Peace Treaty. JAPAN, p. 56-57

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

  • Irregular pattern matching using projections

    Ben-Yehuda, M., Cadany, L., Hel-Or, H. & Hel-Or, Y., 2005, IEEE International Conference on Image Processing 2005, ICIP 2005. IEEE Computer Society, p. 2-834 833 p. 1530185. (Proceedings - International Conference on Image Processing, ICIP; vol. 2).

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

    Open Access

  • Linguistic Summaries on Small Screens

    D'Avanzo, E. & Kuflik, T., 2005, Data Mining 2005: Sixth International Conference on Data Mining, Text Mining and their Business Applications. Skiathos, Greece: WITPress, p. 195-204

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

  • Normalized similarity of RNA sequences

    Backofen, R., Hermelin, D., Landau, G. M. & Weimann, O., 2005, String Processing and Information Retrieval - 12th International Conference, SPIRE 2005, Proceedings. p. 360-369 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3772 LNCS).

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

  • On-line search for mobile users

    Naor, Z., 2005, Proceedings - IEEE INFOCOM 2005. The Conference on Computer Communications - 24th Annual Joint Conference of the IEEE Computer and Communications Societies. Makki, K. & Knightly, E. (eds.). p. 1186-1195 10 p. (Proceedings - IEEE INFOCOM; vol. 2).

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

  • On the equivalence of common approaches to lighting insensitive recognition

    Osadchy, M., Jacobs, D. W. & Lindenbaum, M., 2005, Proceedings - 10th IEEE International Conference on Computer Vision, ICCV 2005. p. 1721-1726 6 p. 1544924. (Proceedings of the IEEE International Conference on Computer Vision; vol. II).

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

    Open Access

  • On the Notion of Flexibility in Business Processes

    SOFFER, P., 2005, Workshop on Business Process Modeling, Design and Support (BPMDS’05), Proceedings of CAiSE’05 Workshops. p. 35-42

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

  • Open-source publishing of medical knowledge for creation of computer-interpretable guidelines

    Peleg, M., Steele, R., Thomson, R., Patkar, V., Rose, T. & Fox, J., 2005, Artificial Intelligence in Medicine - 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Proceedings. Springer Verlag, p. 156-160 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3581 LNAI).

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

  • Pattern-based design recovery from object-oriented languages to object process methodology

    Dori, D., Perelman, V., Shlezinger, G. & Reinhartz-Berger, I., 2005, Proceedings - IEEE International Conference on Software - Science, Technology and Engineering 2005, SwSTE '05. p. 77-82 6 p. 1421067. (Proceedings - IEEE International Conference on Software - Science, Technology and Engineering 2005, SwSTE '05; vol. 2005).

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

  • Privacy-enhanced collaborative filtering

    Berkovsky, S., Eytani, Y., Kuflik, T. & Ricci, F., 1 Jan 2005, Proceedings of the UM 2005 Workshop on Privacy-Enhanced Personalization. Edinburgh, Scotland, p. 75-83

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

  • Pseudorandomness for approximate counting and sampling

    Shaltiel, R. & Umans, C., 2005, Proceedings of the 20th Annual IEEE Conference on Computational Complexity. p. 212-226 15 p. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

    Open Access

  • Segmented ROI analysis of DTI in Stroke

    KAFRI, M., BOVA, I., PIANKA, P., Aizenstein, O., HENDLER, T. & BORNSTEIN, N., 2005, Proceedings of the International Society for Magnetic Resonance in Medicine. Vol. 12. p. 1373 1 p.

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

  • Social and Economic Incentives in Google Answers

    Raban, D. & Rafaeli, S., 2005, American Computing Machinery – SIGGROUP Annual Conference. Sanibel Island, FL

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

  • Teachers’ learning in teaching: Developing teachers’ mathematical knowledge through instructional interactions

    LEIKIN, R., 2005, The 15th ICMI Study: The Professional Education and Development of Teachers of Mathematics.

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

  • The Wellbeing of the Self's Personality: A Structural Facet Analysis

    Sabbagh, C. & Levy, S., Jan 2005, Facet Theory: Design, Analysis and Applications. Bilsky, W. & Elizur, D. (eds.). Rome, p. 91-102 12 p.

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

  • Tutorial 3: Domain engineering - Using domain concepts to guide software design

    Reinhartz-Berger, I., Sturm, A. & Wand, Y., 2005, Perspectives in Conceptual Modeling - ER 2005 Workshops CAOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Proceedings. p. 461-463 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3770 LNCS).

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

  • Virtual environments in design and evaluation: An aid for accessible design of home and work settings for people with physical disabilities

    Palmon, O., Oxman, R., Shahar, M. & Weiss, P. L., 2005, Computer Aided Architectural Design Futures 2005 - Proceedings of the 11th International CAAD Futures Conference. p. 145-154 10 p. (Computer Aided Architectural Design Futures 2005 - Proceedings of the 11th International CAAD Futures Conference).

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

  • What does one mean when saying that learning mathematics improves deductive reasoning?

    Ayalon, M. & Even, R., 1 Jan 2005, Multiple perspectives on effective learning environments: Abstracts. Nicosia: University of Nicosia, p. 480-481 2 p.

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