University of Haifa

Filter
Conference contribution

Search results

  • 2005

    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

  • Adaptation of Model Based Testing to Industry

    Hartman, A., 2006, Agile and Automated Testing Seminar, Tampere University of Technology.

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

  • Adaptation of practice guidelines for clinical decision support: A case study of diabetic foot care

    Peleg, M., Wang, D., Fodor, A., Keren, S. & Karnieli, E., 2006, Proceeding of the biennial European Conference on Artificial Intelligence (ECAI) 2006 Workshop: AI techniques in healthcare: computerized guidelines and protocols. p. 57-61

    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

    Open Access
  • 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 4 p. 4107279. (Proceedings - International Conference on Image Processing, ICIP).

    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

  • Case-based to content-based user model mediation

    Berkovsky, S., Gorfinkel, A., Kuflik, T. & Manevitz, L., 2006, Proceedings of the Workshop on Ubiquitous User Modeling, held in conjunction with ECAI-2006.

    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, R., 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, R., 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

  • Hierarchical neighborhood topology for privacy enhanced collaborative filtering

    Berkovsky, S., Eytani, Y., Kuflik, T. & Ricci, F., 2006, Proceedings of the CHI2006 Workshop on Privacy-Enhanced Personalization. Montreal, Quebec, Canada, p. 6-13

    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

  • Identifying inter-domain similarities through content-based analysis of hierarchical web-directories

    Berkovsky, S., Goldwasser, D., Kuflik, T. & Ricci, F., 2006, ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). IOS Press BV, p. 789-790 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 141).

    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

    Open Access
  • 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

  • LAKE system at DUC-2006

    D'Avanzo, E., Frixione, M. & Kuflik, T., 2006, Proceedings of Human Language Technology Conference/North American chapter of the Association for Computational Linguistics Annual Meeting (HLT-NAACL 2006). New York City, NY, 4 p.

    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

    Open Access
  • 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

    Open Access
  • 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

  • Making mathematics relevant in Brooklyn

    Rubel, L., 2006, Proceedings of the 28th Annual Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education. Alatorre, S., Cortina, J. L., Sáiz, M. & Méndez, A. (eds.). Mérida, México: Universidad Pedagógica Nacional, p. 530-531 2 p.

    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, R., 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