University of Haifa

Filter
Conference contribution

Search results

  • 2007

    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

  • 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

  • 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, ROZA. & 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

  • 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

  • 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

  • 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, ROZA. & 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

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

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

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

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

  • Aggregated Dynamic Background Modeling

    Adam, A., Rivlin, E. & Shimshoni, I., 2006, IEEE International Conference on Image Processing. IEEE, p. 3313 - 3316

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

  • Analysis of queries reaching SHIL on the web - An information system providing citizen information

    Ravid, G., Bar-Ilan, J., Rafaeli, S. & Baruchson-Arbib, S., 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4032 LNCS).

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

  • Analyzing object-oriented design patterns from an object-process viewpoint

    Shlezinger, G., Reinhartz-Berger, I. & Dori, D., 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 186-197 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4032 LNCS).

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

  • A robust APTAS for the classical bin packing problem

    Epstein, L. & Levin, A., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, p. 214-225 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4051 LNCS).

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

  • Balanced Exploration and Exploitation Model Search for Efficient Epipolar Geometry Estimation

    Goshen, L. & Shimshoni, I., 2006, Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Proceedings. Springer Verlag, p. 151-164 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3952 LNCS).

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

    Open Access
  • Bar code labelling for laboratory safety management and experiment planning in plant protection

    Gramazio, T., Schlevin, V., Yashaev, S., Bortoluzzi, L., Kuflik, T., Elad, Y. & Pertot, I., 2006, Computers in Agriculture and Natural Resources - Proceedings of the 4th World Congress. p. 128-133 6 p. (Computers in Agriculture and Natural Resources - Proceedings of the 4th World Congress).

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