University of Haifa

Filter
Conference contribution

Search results

  • 2006

    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

  • Partially specified signatures: A vehicle for grammar modularity

    Cohen-Sygal, Y. & 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. p. 145-152 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

  • Performance within a virtual supermarket and its relationship to executive functions in post-stroke patients

    Josman, N., Hof, E., Klinger, E., Marié, R. M., Goldenberg, K., Weiss, P. L. & Kizony, R., 2006, Fifth International Workshop on Virtual Rehabilitation, IWVR 2006. IEEE Computer Society, p. 106-109 4 p. 1707536. (Fifth International Workshop on Virtual Rehabilitation, IWVR 2006).

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

  • Producing scheduling that causes concurrent programs to fail

    Ben-Asher, Y., Eytani, Y., Farchi, E. & Ur, S., 2006, Proceeding of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06. p. 37-39 3 p. (Proceeding of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06; vol. 2006).

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

  • Resource Allocation among Development Phases: An Economic Approach

    Yiftachel, P., Peled, D., Hadar, I. & Goldwasser, D., 2006, Proceedings of the 2006 International Workshop on Economics Driven Software Engineering Research. New York, NY, USA: Association for Computing Machinery, p. 43–48 (EDSER '06).

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

  • Robust fragments-based tracking using the integral histogram

    Adam, A., Rivlin, E. & Shimshoni, I., 2006, Proceedings - 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2006. p. 798-805 8 p. 1640835. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 1).

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

  • Semantic data management in Peer-to-Peer E-commerce applications

    Ben-Asher, Y. & Berkovsky, S., 2006, Journal on Data Semantics VI - Special Issue on Emergent Semantics. Springer Verlag, p. 115-142 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4090 LNCS).

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

  • Solving problems in different ways: Teachers' knowledge situated in practice

    Levav-Waynberg, A. & LEIKIN, ROZA., 2006, Proceedings of the 30th International Conference for the Psychology of Mathematics Education. Vol. 4. p. 57-64

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

  • SONET ADMs minimization with divisible paths

    Epstein, L. & Levin, A., 2006, Approximation and Online Algorithms - Third International Workshop, WAOA 2005, Revised Selected Papers. p. 119-132 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3879 LNCS).

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

  • Space complexity vs. query complexity

    Lachish, O., Newman, I. & Shapira, A., 2006, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 a. Springer Verlag, p. 426-437 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4110 LNCS).

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

  • Speak *now* or forever hold your peace: power law chronemics of turn-taking and response in asynchronous CMC

    Raban, D., Rafaeli, S., Kalman, Y. M. & Ravid, G., 2006, 56th Annual Conference of the International Communication Association. Dresden, Germany, ICA, 23 p.

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

  • Spline-based robot navigation

    Magid, E., Keren, D., Rivlin, E. & Yavneh, I., 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006. p. 2296-2301 6 p. 4058728. (IEEE International Conference on Intelligent Robots and Systems).

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

  • Street crossing by typically developed children in real and virtual environments

    Bart, O., Katz, N., Weiss, P. L. & Josman, N., 2006, Fifth International Workshop on Virtual Rehabilitation, IWVR 2006. IEEE Computer Society, p. 42-46 5 p. 1707525. (Fifth International Workshop on Virtual Rehabilitation, IWVR 2006).

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

  • The composition refactoring triangle (CRT) practical toolkit: From spaghetti to lasagna

    Hadar, E. & Hadar, I., 2006, Companion to the 21st ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, OOPSLA 2006. p. 786-797 12 p. 1176725. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 2006).

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

  • The conference call search problem in wireless networks

    Epstein, L. & Levin, A., 2006, Approximation and Online Algorithms - Third International Workshop, WAOA 2005, Revised Selected Papers. p. 133-146 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3879 LNCS).

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