University of Haifa

Filter
Conference contribution

Search results

  • 2005

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

  • XFST2FSA: Comparing Two Finite-State Toolboxes

    Cohen-Sygal, Y. & Wintner, S., 1 Jun 2005, Proceedings of The ACL-2005 Workshop on Software. Ann Arbor, Michigan: Association for Computational Linguistics, p. 100-117 18 p.

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

  • Can dist tables be merged in linear time an open problem (invited talk)

    Landau, G. M., 2006, Proceedings of the Prague Stringology Conference '06. p. 1-2 2 p. (Proceedings of the Prague Stringology Conference '06).

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

  • Collaborative filtering based on content addressing

    Berkovsky, S., Eytani, Y. & Manevitz, L., 2006, ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings. p. 91-98 8 p. (ICEIS 2006 - 8th International Conference on Enterprise Information Systems, Proceedings; vol. AIDSS).

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

  • Creating consistent diagnoses list for developmental disorders using UMLS

    Asbeh, N., Peleg, M., Schertz, M. & Kuflik, T., 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 333-336 4 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

  • Creative Mathematical Tasks in MOFET classes

    Schneiderman, O., Applebaum, M. & LEIKIN, ROZA., 2006, Proceedings of the 4th Conference on Creativity in Mathematics Education and the Education of Gifted Students. p. 98-101

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

  • Cross-technique mediation of user models

    Berkovsky, S., Kuflik, T. & Ricci, F., 2006, Adaptive Hypermedia and Adaptive Web-Based Systems - 4th International Conference, AH 2006. Springer Verlag, p. 21-30 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4018 LNCS).

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

  • Cyberterrorism

    Weimann, G., 2006, ISC 2005 Security, Terrorism and Privacy in Information Society: Proceedings of the Third International Security Conference. Von Knop, K., Neisser, H., Salnikov, A. & Ganor, B. (eds.). Bielfeld: Bertelsmann Verlag, p. 41-52

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

  • Data and computational fault detection mechanism for devices that perform modular exponentiation

    Gueron, S., 2006, Fault Diagnosis and Tolerance in Cryptography - Third International Workshop, FDTC 2006, Proceedings. Springer Verlag, p. 80-87 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4236 LNCS).

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

  • Efficient search and verification for function based classification from real range images

    Shimshoni, I., Rivlin, E. & Soldea, O., 2006, Proceedings - 18th International Conference on Pattern Recognition, ICPR 2006. p. 1118-1121 4 p. 1699405. (Proceedings - International Conference on Pattern Recognition; vol. 2).

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

  • Enhancing domain engineering with aspect-orientation

    Reinhartz-Berger, I. & Gold, A., 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 337-340 4 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

  • Finding intersection models of weakly chordal graphs

    Golumbic, M. C., Lipshteyn, M. & Stern, M., 2006, Graph-Theoretic Concepts in Computer Science - 32nd International Workshop, WG 2006, Revised Papers. Springer Verlag, p. 241-255 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4271 LNCS).

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

  • Finding the smallest H-subgraph in real weighted graphs and related problems

    Vassilevska, V., Williams, R. & Yuster, R., 2006, Automata, Languages and Programming - 33rd International Colloquium, ICALP 2006, Proceedings. Springer Verlag, p. 262-273 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

  • Finite-state registered automata and their uses in natural languages

    Cohen-Sygal, Y. & Wintner, S., 2006, Finite-State Methods and Natural Language Processing - 5th InternationalWorkshop, FSMNLP 2005, Revised Papers. Yli-Jyra, A., Karttunen, L. & Karhumaki, J. (eds.). Springer Verlag, p. 43-54 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4002 LNAI).

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

  • Getting Aware: Secondary school teachers learn about 'Mathematics Challenges in Education'

    LEIKIN, ROZA., 2006, the 16th ICMI Study: Mathematical challenges in and out of the classroom.

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

  • Graph coloring with rejection

    Epstein, L., Levin, A. & Woeginger, G. J., 2006, Algorithms, ESA 2006 - 14th Annual European Symposium, Proceedings. Springer Verlag, p. 364-375 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4168 LNCS).

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

  • Hierarchical decision and control for cooperative multi-UAV systems using ad-hoc communication

    Ben-Asher, Y., Feldman, S., Gurfil, P. & Feldman, M., 2006, Technion Israel Institute of Technology - 46th Israel Annual Conference on Aerospace Sciences 2006. p. 238-269 32 p. (Technion Israel Institute of Technology - 46th Israel Annual Conference on Aerospace Sciences 2006; vol. 1).

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

  • Hierarchical decision and control of cooperative UAVs using ad-hoc communication

    Ben-Asher, Y., Feldman, S. & Gurfil, F., 2006, Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2006. American Institute of Aeronautics and Astronautics Inc., p. 1348-1379 32 p. (Collection of Technical Papers - AIAA Guidance, Navigation, and Control Conference 2006; vol. 2).

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

  • Highly constrained unification grammars

    Feinstein, D. & Wintner, S., 2006, COLING/ACL 2006 - 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1089-1096 8 p. (COLING/ACL 2006 - 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference; vol. 1).

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

    Open Access
  • How to get more mileage from randomness extractors

    Shaltiel, R., 2006, Proceedings - Twenty-First Annual IEEE Conference on Computational Complexity, CCC 2006. p. 46-60 15 p. 1663725. (Proceedings of the Annual IEEE Conference on Computational Complexity; vol. 2006).

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

  • Image matching using photometric information

    Kolomenkin, M. & Shimshoni, I., 2006, Proceedings - 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2006. p. 2508-2513 6 p. 1641061. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2).

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

  • Incorporating the Boltzmann prior in object detection using SVM

    Osadchy, M. & Keren, D., 2006, Proceedings - 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2006. p. 2095-2101 7 p. 1641010. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2).

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

  • Invisible participants: How cultural capital relates to lurking behavior

    Soroka, V. & Rafaeli, S., 2006, Proceedings of the 15th International Conference on World Wide Web. p. 163-172 10 p. (Proceedings of the 15th International Conference on World Wide Web).

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

  • Is it wise to publish your public RSA keys?

    Gueron, S. & Seifert, J. P., 2006, Fault Diagnosis and Tolerance in Cryptography - Third International Workshop, FDTC 2006, Proceedings. Springer Verlag, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4236 LNCS).

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

  • Landmark selection for task-oriented navigation

    Lerner, R., Rivlin, E. & Shimshoni, I., 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006. p. 2785-2791 7 p. 4058814. (IEEE International Conference on Intelligent Robots and Systems).

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

  • Learning and Assessment in IT-based Environments: Design Principles for Hybrid Courses in Higher Education

    Dori, Y. J., Levin-Peled, R. & Kali, Y., 1 Oct 2006, Proceedings of E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2006. Reeves, T. & Yamashita, S. (eds.). Honolulu, Hawaii, USA: Association for the Advancement of Computing in Education (AACE), p. 1933-1939 7 p.

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

  • Learning to discriminate terrorists: The effects of emotional intelligence and emotive cues

    Fellner, A. N., Matthews, G., Warm, J. S., Zeidner, M. & Roberts, R. D., 2006, Proceedings of the Human Factors and Ergonomics Society 50th Annual Meeting, HFES 2006. Human Factors an Ergonomics Society Inc., p. 1249-1253 5 p. (Proceedings of the Human Factors and Ergonomics Society).

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

  • Local alignment of RNA sequences with arbitrary scoring schemes

    Backofen, R., Hermelin, D., Landau, G. M. & Weimann, O., 2006, Combinatorial Pattern Matching - 17th Annual Symposium, CPM 2006, Proceedings. Springer Verlag, p. 246-257 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4009 LNCS).

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

  • Low-cost haptic-aural virtual environments for way-finding by children with congenital blindness: Feasibility study

    Feintuch, U., Haj, J. & Weiss, P. L., 2006, Fifth International Workshop on Virtual Rehabilitation, IWVR 2006. IEEE Computer Society, p. 78-81 4 p. 1707531. (Fifth International Workshop on Virtual Rehabilitation, IWVR 2006).

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

  • Management of unspecified semi-structured data in multi-agent environment

    Ben-Asher, Y., Berkovsky, S. & Eytani, Y., 2006, Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 101-105 5 p. (Proceedings of the ACM Symposium on Applied Computing; vol. 1).

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

  • Mathematical Tasks and Teaching Mathematics in MOFET classes

    LEIKIN, ROZA., 2006, Electronic proceedings of the 16th ICMI Study: Challenging Mathematics in and Beyond the Classroom.

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

  • Metrical routing using ad-hoc networks in hierarchical environment

    Ben-Asher, Y., Feldman, M., Feldman, S. & Gurfil, P., 2006, ITRE 2006 - 4th International Conference on Information Technology: Research and Education, Proceedings. IEEE Computer Society, p. 61-68 8 p. 4266296. (ITRE 2006 - 4th International Conference on Information Technology: Research and Education, Proceedings).

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

  • Multi-valued quantum logic

    Katz, M., 2006, 36th International Symposium on Multiple-Valued Logic, 2006. ISMVL 2006. p. 32 1 p. 1623984. (Proceedings of The International Symposium on Multiple-Valued Logic).

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

  • Noise makers need to know where to be silent - Producing schedules that find bugs

    Ben-Asher, Y., Eytani, Y., Farchi, E. & Ur, S., 2006, Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. IEEE Computer Society, p. 458-465 8 p. 4463749

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

  • Online privacy, tailoring, and persuasion

    Zarsky, T. Z., 2006, Privacy and Technologies of Identity: A Cross-Disciplinary Conversation. Springer Science and Business Media, LLC, p. 209-224 16 p. (Privacy and Technologies of Identity: A Cross-Disciplinary Conversation).

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

  • OPOSSUM: Bridging the gap between web services and the semantic web

    Toch, E., Reinhartz-Berger, I., Gal, A. & Dori, D., 2006, Next Generation Information Technologies and Systems - 6th International Conference, NGITS 2006, Proceedings. Springer Verlag, p. 357-358 2 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

  • Optimal algorithmic debugging and reduced coverage using search in structured domains

    Ben-Asher, Y., Breger, I., Farchi, E. & Gordon, I., 2006, Hardware and Software, Verification and Testing - First International Haifa Verification Conference, Revised Selected Papers. p. 149-157 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3875 LNCS).

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

  • Paging with request sets

    Epstein, L., Van Stee, R. & Tamir, T., 2006, Biomedical Simulation - Third International Symposium, ISBMS 2006, Proceedings. Springer Verlag, p. 124-135 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4059 LNCS).

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