University of Haifa

Filter
Conference contribution

Search results

  • 2010

    Max-min online allocations with a reordering buffer

    Epstein, L., Levin, A. & Van Stee, R., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 1 ed. p. 336-347 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6198 LNCS, no. PART 1).

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

  • Mirror, mirror on the wall, can I count on you at all? Exploring data inaccuracy in business processes

    Soffer, P., 2010, Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010 and 15th International Conference, EMMSAD 2010, Held at CAiSE 2010, Proceedings. Springer Verlag, p. 14-25 12 p. (Lecture Notes in Business Information Processing; vol. 50 LNBIP).

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

  • Online clustering with variable sized clusters

    Csirik, J., Epstein, L., Imreh, C. & Levin, A., 2010, Mathematical Foundations of Computer Science 2010 - 35th International Symposium, MFCS 2010, Proceedings. p. 282-293 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6281 LNCS).

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

  • On the boolean-width of a graph: Structure and applications

    Adler, I., Bui-Xuan, B. M., Rabinovich, Y., Renault, G., Telle, J. A. & Vatshelle, M., 2010, Graph-Theoretic Concepts in Computer Science - 36th International Workshop, WG 2010, Revised Papers. p. 159-170 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6410 LNCS).

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

  • Property testing of massively parametrized problems - A survey

    Newman, I., 2010, Property Testing - Current Research and Surveys. p. 142-157 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6390 LNCS).

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

  • Reconstructing approximate phylogenetic trees from quartet samples

    Snir, S. & Yuster, R., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 1035-1044 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    Open Access
  • Replacement paths via fast matrix multiplication

    Weimann, O. & Yuster, R., 2010, Proceedings - 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010. IEEE Computer Society, p. 655-662 8 p. 5671330. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

  • Restricted LCS

    Gotthilf, Z., Hermelin, D., Landau, G. M. & Lewenstein, M., 2010, String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010, Proceedings. p. 250-257 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6393 LNCS).

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

  • Scheduling and load balancing

    Yahyapour, R., Perego, R., Desprez, F., Epstein, L. & Bernat, F. G., 2010, Euro-Par 2010 Parallel Processing - 16th International Euro-Par Conference, Proceedings. PART 1 ed. p. 156 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6271 LNCS, no. PART 1).

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

    Open Access
  • Scientific writings in Aramaic and Hebrew at Qumran: Translation and concealment

    Ben-Dov, J., 2010, Aramaica Qumranica - Proceedings of the Conference on the Aramaic Texts from Qumran in Aix-en-Provence 30 June-2 July 2008. Stokl Ben Ezra, D., Martinez, F. G. & Berthelot, K. (eds.). Brill Academic Publishers, p. 379-399 21 p. (Studies on the Texts of the Desert of Judah; vol. 94).

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

  • SCiFI - A system for secure face identification

    Osadchy, M., Pinkas, B., Jarrous, A. & Moskovich, B., 2010, 2010 IEEE Symposium on Security and Privacy, SP 2010 - Proceedings. p. 239-254 16 p. 5504789. (Proceedings - IEEE Symposium on Security and Privacy).

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

  • Sharable appropriateness criteria in GLIF3 using standards and the knowledge-data ontology mapper

    Peleg, M., 2010, Knowledge Representation for Health-Care: Data, Processes and Guidelines, AIME 2009, Workshop KR4HC 2009, Revised Selected and Invited Papers. p. 64-75 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5943 LNAI).

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

  • Smallest odd holes in claw-free graphs (extended abstract)

    Shrem, S., Stern, M. & Golumbic, M. C., 2010, Graph-Theoretic Concepts in Computer Science - 35th International Workshop, WG 2009, Revised Papers. p. 329-340 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5911 LNCS).

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

  • Social signal processing: Detecting small group interaction in leisure activity

    Dim, E. & Kuflik, T., 2010, IUI 2010 - Proceedings of the 14th ACM International Conference on Intelligent User Interfaces. p. 309-312 4 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

  • Solving linear systems through nested dissection

    Alon, N. & Yuster, R., 2010, Proceedings - 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010. IEEE Computer Society, p. 225-234 10 p. 5671172. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

  • Stability and topology in reservoir computing

    Manevitz, L. & Hazan, H., 2010, Advances in Soft Computing - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Proceedings. PART 2 ed. p. 245-256 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6438 LNAI, no. PART 2).

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

  • Synchronized-TSP as a model for multilocus genetic consensus mapping

    Mester, D., Ronin, Y., Minkov, D., Belotzerkovsky, R., Frenkel, Z. & Korol, A., 2010, Proceedings - 2010 6th International Conference on Natural Computation, ICNC 2010. p. 4310-4317 8 p. 5583617. (Proceedings - 2010 6th International Conference on Natural Computation, ICNC 2010; vol. 8).

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

  • Tame complex analysis and o-minimality

    Peterzil, Y. & Starchenko, S., 2010, Proceedings of the International Congress of Mathematicians 2010, ICM 2010. p. 58-81 24 p. (Proceedings of the International Congress of Mathematicians 2010, ICM 2010).

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

  • Taming the Revisionist State: The Effects of Military Defeats on the War-Proneness of Germany vs. Iraq.

    Miller, B. & Mandelbaum, M., 24 Sep 2010, CIPSS Workshop on International Security and Political Economy. Montreal: McGill University, p. 1-50 50 p.

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

  • Teaching social competence: In search of design patterns

    Zancanaro, M., Gal, E., Parsons, S., Weiss, T., Bauminger, N. & Cobb, S., 2010, Proceedings of IDC2010: The 9th International Conference on Interaction Design and Children. p. 270-273 4 p. (Proceedings of IDC2010: The 9th International Conference on Interaction Design and Children).

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

  • The effect of weather on migrating bee-eaters studied by radio-telemetry and numeric atmospheric model

    Sapir, N., Nathan, R., Wikelski, M. & Avissar, R., 2010, Integrative and Comparative Biology: Proceedings of the 2010 meeting of the Society for Integrative and Comparative Biology. 1 ed. Vol. 50.

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

  • The liquid state machine is not robust to problems in its components but topological constraints can restore robustness

    Hazan, H. & Manevitz, L., 2010, ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation. p. 258-264 7 p. (ICFC 2010 ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation).

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

  • Themes and genres in the Aramaic texts from Qumran

    Dimant, D., 2010, Aramaica Qumranica - Proceedings of the Conference on the Aramaic Texts from Qumran in Aix-en-Provence 30 June-2 July 2008. Stokl Ben Ezra, D., Martinez, F. G. & Berthelot, K. (eds.). Brill Academic Publishers, p. 15-43 29 p. (Studies on the Texts of the Desert of Judah; vol. 94).

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

  • The nature of the transformational activities addressed in different classes of the same teacher

    Ayalon, M. & Even, R., 2010, Proceedings of the 32nd Annual Conference of the North American Chapter of the International Group for the Psychology of Mathematics Education (PMENA). Brosnan, P., Erchick, D. B. & Flevares, L. (eds.). Columbus, Ohio, US: Columbus : The Ohio State University Press, p. 178-185 8 p.

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

  • The Role of Domain Knowledge in Requirements Elicitation: an Exploratory Study

    Kenzi, K., Soffer, P. & Hadar, I., 1 Jan 2010, Proceedings of Mediterranean Conference on Information Systems (MCIS 2010). Vol. 19.

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

  • Third Workshop on Domain Engineering (DE@ER 2010)

    Reinhartz-Berger, I., Sturm, A., Bettin, J., Clark, T. & Cohen, S., 2010, Advances in Conceptual Modeling - Applications and Challenges, ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Proceedings. p. 210 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6413 LNCS).

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

    Open Access
  • Towards one-class pattern recognition in brain activity via neural networks

    Boehm, O., Hardoon, D. R. & Manevitz, L. M., 2010, Advances in Soft Computing - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Proceedings. PART 2 ed. p. 126-137 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6438 LNAI, no. PART 2).

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

  • Two-phase algorithms for the parametric shortest path problem

    Chakraborty, S., Fischer, E., Lachish, O. & Yuster, R., 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. p. 167-178 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 5).

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

  • Universal sequencing on a single machine

    Epstein, L., Levin, A., Marchetti-Spaccamela, A., Megow, N., Mestre, J., Skutella, M. & Stougie, L., 2010, Integer Programming and Combinatorial Optimization - 14th International Conference, IPCO 2010, Proceedings. p. 230-243 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6080 LNCS).

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

  • Urban Postwar Transformation and Municipal Elections in Tel Aviv of the 1950s

    GOLAN, ARNON., 2010, Proceedings of the 14th International Conference of Historical Geographers. Kyoto : Kyoto university press, p. 200-201

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

  • What to assess in large scale Web-based instruction: Student satisfaction vs. performance

    Sagy, O., Kali, Y., Zilberstein, D., Tsaushu, M., Tal, T. & Gepstein, S., 10 Feb 2010, Proceedings of the 5th Chais conference on instructional technologies research. Ra'anana: האוניברסיטה הפתוחה, p. 111-113 3 p.

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

  • Workshop on information heterogeneity and fusion in recommender systems (HetRec 2010)

    Brusilovsky, P., Cantador, I., Koren, Y., Kuflik, T. & Weimer, M., 2010, RecSys'10 - Proceedings of the 4th ACM Conference on Recommender Systems. p. 375 1 p. (RecSys'10 - Proceedings of the 4th ACM Conference on Recommender Systems).

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

  • Изучение творчества М. Булгакова в Израиле (Заметки преподавателя)

    Translated title of the contribution: Teaching M.A. Bulgakov in Israel: Notes of a LecturerFialkova, L., 2010, Личность и творчество М.А. Булгакова в соуциокультурном контексте 20-21 веков: К 120-летию со дня рождения мастера. Vol. 1. p. 5-13

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

  • 2009

    Addressing challenges of Ubiquitous User Modeling: Between mediation and semantic integration

    Berkovsky, S., Heckmann, D. & Kuflik, T., 2009, Advances in Ubiquitous User Modelling, Revised Selected Papers. Kuflik, T., Berkovsky, S., Carmagnola, F., Heckmann, D. & Kruger, A. (eds.). p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5830 LNCS).

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

  • Advanced mathematical Knowledge: How is it used in teaching?

    Zazkis, R. & LEIKIN, ROZA., 2009, The Sixth Conference of the European Society for Research in Mathematics Education - CERME-6.

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

  • A new derandomization of auctions

    Ben-Zwi, O., Newman, I. & Wolfovitz, G., 2009, Algorithmic Game Theory - Second International Symposium, SAGT 2009, Proceedings. p. 233-237 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5814 LNCS).

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

  • An exact almost optimal algorithm for target set selection in social networks

    Ben-Zwi, O., Hermelin, D., Lokshtanov, D. & Newman, I., 2009, EC'09 - Proceedings of the 2009 ACM Conference on Electronic Commerce. p. 355-362 8 p. (Proceedings of the ACM Conference on Electronic Commerce).

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

  • Architecture in an agile world

    Fraser, S., Hadar, E., Hadar, I., Mancl, D., Miller, G. & Opdyke, B., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 841-843 3 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Architecture in an agile world

    Mancl, D., Fraser, S., Opdyke, B., Hadar, E. & Hadar, I., 2009, OOPSLA 2009 Companion - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 719-720 2 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Are they equivalent?

    Ayalon, M. & Even, R., Jul 2009, Proceedings of the 33rd Conference of the International Group for the Psychology of Mathematics Education (PME). Tzekaki, M., Kaldrimidou, M. & Sakonidis, H. (eds.). Thessaloniki, Greece: Aristotle University of Thessaloniki University of Macedonia, Vol. 2. p. 81-88 8 p.

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

  • A tale of two lessons during Lesson Study process

    Robinson, N. & LEIKIN, ROZA., 2009, The Proceedings of the 33rd International Conference for the Psychology of Mathematics Education. Vol. 4. p. 489-496

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

  • A unified algorithm for accelerating edit-distance computation via text-compression

    Hermelin, D., Landau, G. M., Landau, S. & Weimann, O., 2009, STACS 2009 - 26th International Symposium on Theoretical Aspects of Computer Science. p. 529-540 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 3).

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

  • Binary synthesis with multiple memory banks targeting array references

    Ben Asher, Y. & Rotem, N., 2009, FPL 09: 19th International Conference on Field Programmable Logic and Applications. p. 600-603 4 p. 5272381. (FPL 09: 19th International Conference on Field Programmable Logic and Applications).

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

  • Characteristics of proton CT images reconstructed with filtered backprojection and iterative projection algorithms

    Penfold, S. N., Schulte, R. W., Censor, Y., Bashkirov, V. & Rosenfeld, A. B., 2009, 2009 IEEE Nuclear Science Symposium Conference Record, NSS/MIC 2009. p. 4176-4180 5 p. 5402282. (IEEE Nuclear Science Symposium Conference Record).

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

  • Collaborative puzzle game: A tabletop interactive game for fostering collaboration in children with Autism Spectrum Disorders (ASD)

    Battocchi, A., Pianesi, F., Tomasini, D., Zancanaro, M., Esposito, G., Venuti, P., Ben Sasson, A., Gal, E. & Weiss, P. L., 2009, ITS 2009 - The ACM International Conference on Interactive Tabletops and Surfaces, Proceedings. p. 197-204 8 p. (ITS 2009 - The ACM International Conference on Interactive Tabletops and Surfaces, Proceedings).

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

  • Collaborative puzzle game: Fostering collaboration in children with Autistic Spectrum Disorder (ASD) and with typical development

    Battocchi, A., Pianesi, F., Venuti, P., Ben-Sasson, A., Gal, E. & Weiss, P. L., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 204 1 p. 5174242. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • Computing the girth of a planar graph in O(n logn) time

    Weimann, O. & Yuster, R., 2009, Automata, Languages and Programming - 36th International Colloquium, ICALP 2009, Proceedings. PART 1 ed. p. 764-773 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5555 LNCS, no. PART 1).

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

  • Consensus optimizing both distance sum and radius

    Amir, A., Landau, G. M., Na, J. C., Park, H., Park, K. & Sim, J. S., 2009, String Processing and Information Retrieval - 16th International Symposium, SPIRE 2009, Proceedings. p. 234-242 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5721 LNCS).

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

  • Construct validity of the Virtual Action Planning-SupermarketVAP-S: Comparison between healthy controls and 3 clinical populations

    Josman, N., Klinger, E. & Kizony, R., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 208 1 p. 5174246. (2009 Virtual Rehabilitation International Conference, VR 2009).

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

  • e-Empowerment of young adults with special needs: Behind the computer screen I am not disabled

    Shpigelman, C. N., Weiss, P. L. & Reiter, S., 2009, 2009 Virtual Rehabilitation International Conference, VR 2009. p. 65-69 5 p. 5174207. (2009 Virtual Rehabilitation International Conference, VR 2009).

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