University of Haifa

Filter
Conference contribution

Search results

  • 2006

    Model driven testing--as an infrastructure for custom made solutions

    Hartman, A., Kirshin, A. & Olvovsky, S., 2006, Proceedings of the 4th Workshop on System Testing and Validation (STV’06).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access

  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • Optimal Pricing and Capacity Planning at Product Rollover

    Nov, Y., Bassamboo, A. & Plambeck, E., 2006, Proceedings of the MSOM (Manufacturing and Service Operations Management) Conference, Atlanta, Georgia, USA. INFORMS Institute for Operations Research and the Management Sciences, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • Parental criminality among Head Start children: associations with children problem behaviors

    Alva, S., Zill, N. & Ziv, Y., 2006, Annual Meetings of the Population Association of America. Los Angeles, CA, US

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • Preparing personalized multimedia presentations for a mobile museum visitors guide - a methodological approach

    Katz, S., Kahanov, Y., Kashtan, N., Kuflik, T., Graziola, I., Rocchi, C., Stock, O. & Zancanaro, M., 2006, Proceedings of Museums and the Web 2006. 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    Open Access

  • Residence ownership and continuity: from the Early Epipalaeolithic unto the Neolithic

    Nadel, D., 2006, Domesticating Space, Construction, Community, and Cosmology in the Late Prehistoric Near East., E. B. B. & , M. C. (eds.). Berlin: ex oriente, p. 25-34

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • Scaffolding students’ informal inference and argumentation

    Ben-Zvi, D., 2006, Proceedings of the Seventh International Conference on Teaching Statistics. Rossman, A. & Chance, B. (eds.). Voorburg: International Statistical Institute, p. 1-6 6 p.

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

  • Scanning the environment with two independent cameras - Biologically motivated approach

    Avni, O., Borrelli, F., Katzir, G., Rivlin, E. & Rotstein, H., 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006. p. 5297-5302 6 p. 4059268. (IEEE International Conference on Intelligent Robots and Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

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

    Levav-Waynberg, A. & LEIKIN, R., 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • The Influence of Color on Graphic Symbols Acquisition by Children with Autism

    Hetzroni, O. & Neeman, A., 2006, ISAAC'2006 Biennial Conference. Düsseldorf: RESNA Press

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

  • The Mobilization of Hospitallers’ Manpower from Europe to the Latin East in the Thirteenth century

    Bronstein, J., 2006, International Mobility in the Military Orders: Twelfth to Fifteenth Centuries: Travelling on Christ's Business., H. J. N. & , J. B. (eds.). University of Wales Press, p. 11-25

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

  • Towards a source level compiler: Source level modulo scheduling

    Ben-Asher, Y. & Meisler, D., 2006, Proceedings of the 2006 International Conference on Parallel Processing Workshops, ICPP 2006. p. 298-305 8 p. 1690714. (Proceedings of the International Conference on Parallel Processing Workshops).

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

  • Transactional contention management as a non-clairvoyant scheduling problem

    Attiya, H., Epstein, L., Shachnai, H. & Tamir, T., 2006, Proceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing 2006. Association for Computing Machinery (ACM), p. 308-315 8 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; vol. 2006).

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

  • Use of Computer-Based Intervention for Enhancing Basic Concept-Learning by Children with Autism

    Hetzroni, O. & Israeli, M., 2006, ISAAC'2006 Biennial Conference. Düsseldorf: RESNA Press

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

  • Using dynamic optimization for reproducing the chameleon visual system

    Avni, O., Borrellit, F., Katzir, G., Rivlin, E. & Rotstein, H., 2006, Proceedings of the 45th IEEE Conference on Decision and Control 2006, CDC. Institute of Electrical and Electronics Engineers Inc., p. 1770-1775 6 p. 4177642. (Proceedings of the IEEE Conference on Decision and Control).

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

    Open Access

  • Variable sized online interval coloring with bandwidth

    Epstein, L., Erlebach, T. & Levin, A., 2006, Biomedical Simulation - Third International Symposium, ISBMS 2006, Proceedings. Springer Verlag, p. 29-40 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 proceeding › Conference contribution › peer-review

  • Weighted sum coloring in batch scheduling of conflicting jobs

    Epstein, L., Halldórsson, M. M., Levin, A. & Shachnai, H., 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. 116-127 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 proceeding › Conference contribution › peer-review

  • Wiki uses in teaching and learning

    Rafaeli, S., 2006, Proceedings of WikiSym'06 - 2006 International Symposium on Wikis. p. 15-16 2 p. (Proceedings of WikiSym'06 - 2006 International Symposium on Wikis; vol. 2006).

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

  • Zionist Education at the Crossroads

    Alexander, H., 2006, From Altneuland to Tel Aviv: Of Dreams and Deeds. Feldstein, A. & Breakstone, D. (eds.). Jerusalem: The Zionist Library, p. 61-77 17 p.

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

  • "היסטוריה כנתינת משמעות לחסר משמעות": על הרלטיביזם של ההיסטוריה, ההיסטוריון והזמן

    Translated title of the contribution: On the Relativity of History, Time and the Historianחותם, י., 2006, היסטוריה כשליחות: אסופת מאמרים לכבודו של משה צימרמן במלאת לו שישים. זדוף, נ., חותם, י. & שמידט, מ. (eds.). ירושלים: הוצאת ספרים ע"ש י"ל מאגנס, האוניברסיטה העברית, p. 22-26 5 p.

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

  • 2007

    Aggregate threshold queries in sensor networks

    Sharfman, I., Schuster, A. & Keren, D., 2007, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 4228025. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

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

    Open Access

  • All-pairs bottleneck paths for general graphs in truly sub-cubic time

    Vassilevska, V., Williams, R. & Yuster, R., 2007, STOC'07: Proceedings of the 39th Annual ACM Symposium on Theory of Computing. p. 585-589 5 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access

  • All-Pairs Bottleneck Paths in vertex weighted graphs

    Shapira, A., Yuster, R. & Zwick, U., 2007, Proceedings of the 18th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007. Association for Computing Machinery, p. 978-985 8 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 07-09-January-2007).

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

  • Almost exact matchings

    Yuster, R., 2007, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 10th International Workshop, APPROX 2007 and 11th International Workshop, RANDOM 2007, Proceedings. Springer Verlag, p. 286-295 10 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 proceeding › Conference contribution › peer-review

  • An Agent-Based Architecture for Museum Visitors' Guide Systems

    Kuflik, T., Albertini, A., Busetta, P., Rocchi, C., Stock, O. & Zancanaro, M., 2007, Proceedings of the International Workshop on Ubiquitous and Decentralized User Modeling, co-located with UM 2007. Vienna, p. 57-57

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

  • Analyzing museum visitors' behavior patterns

    Zancanaro, M., Kuflik, T., Boger, Z., Goren-Bar, D. & Goldwasser, D., 2007, User Modeling 2007 - 11th International Conference, UM 2007, Proceedings. Springer Verlag, p. 238-246 9 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 proceeding › Conference contribution › peer-review

  • Anterograde and Retrograde Degeneration of White Matter Tracts Following Stroke

    Ben-Moshe, Z., KAFRI, M., BORNSTEIN, N., BOVA, I. & Assaf, Y., 2007, Proceedings of the International Society for Magnetic Resonance in Medicine. Vol. 15. p. 2271 1 p.

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

  • A retrospective study on the interaction between faculty and administrators in technology-oriented environments

    Peled, Y., Kali, Y. & Dori, Y. J., Jul 2007, Proceedings of the International Conference on Information Communication Technologies in Education (ICICTE).

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

  • Are you still waiting for an answer? The Chronemics of Asynchronous Written CMC

    Raban, D., Rafaeli, S., Ravid, G. & Kalman, Y. M., 2007, Chais Conference on Instructional Technologies Research. p. 78-84

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

  • Bar code labelling system for managing and tracking microbial culture collections and experiments in labs

    Gramazio, T., Schlevin, V., Yashaev, S., Bortoluzzi, L., Micheli , S., Kuflik, T., Elad, Y. & Pertot, I., 2007, Proceedings of IOBC/WPRS Working Group: Biological control of fungal and bacterial plant pathogens Fundamental and practical approaches to increase biocontrol efficacy. SPA, Belgium, Vol. 30. p. 491-495

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

  • Bin packing with rejection revisited

    Epstein, L., 2007, Approximation and Online Algorithms - 4th International Workshop, WAOA 2006, Revised Papers. Springer Verlag, p. 146-159 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 proceeding › Conference contribution › peer-review

  • Boosting unsupervised grammar induction by splitting complex sentences on function words

    Berant, J., Gross, Y., Mussel, M., Sandbank, B., Ruppin, E. & Edelman, S., 2007, Proceedings of the Boston University Conference on Language Development. 12 p.

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