University of Haifa

Filter
Conference contribution

Search results

  • 2007

    Source level merging of independent programs

    Asher, Y. B. & Yuda, M., 2007, 16th International Conference on Parallel Architecture and Compilation Techniques, PACT 2007. p. 402 1 p. 4336230. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

  • Supporting small groups in the museum by context-aware communication services

    Kuflik, T., Sheidin, J., Jbara, S., Goren-Bar, D., Soffer, P., Stock, O. & Zancanaro, M., 2007, IUI 2007: 2007 International Conference on Intelligent User Interfaces. p. 305-308 4 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

  • Teachers' conceptions of mathematical challenge in school mathematics

    Applebaum, M. & LEIKIN, R., 2007, Proceedings of the 31st International Conference for the Psychology of Mathematics Education. Vol. 2. p. 9-16

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

  • Testing properties of constraint-graphs

    Halevy, S., Lachish, O., Newman, I. & Tsur, D., 2007, Proceedings - Twenty-Second Annual IEEE Conference on Computational Complexity, CCC 2007. p. 264-277 14 p. 4262769. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

  • Testing st-connectivity

    Chakraborty, S., Fischer, E., Lachish, O., Matsliah, A. & Newman, I., 2007, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 10th International Workshop, APPROX 2007 and 11th International Workshop, RANDOM 2007, Proceedings. Springer Verlag, p. 380-394 15 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

  • Test theory for assessing IR test collections

    Bodoff, D. & Li, P., 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 367-374 8 p. (Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07).

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

  • Texture-preserving shadow removal in color images containing curved surfaces

    Arbel, E. & Hel-Or, H., 2007, 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR'07. 4270106. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

  • The Discipline of Statistics Education

    Garfield, J. B., Ben-Zvi, D., Chance, B., Medina, E., Roseth, C. J. & Zieffler, A., 2007, Developing Students’ Statistical Reasoning: Connecting Research and Teaching Practice. Garfield, J. B., Ben-Zvi, D., Chance, B., Medina, E., Roseth, C. & Zieffler, A. (eds.). Dordrecht: Springer Netherlands, p. 3-19 17 p.

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

  • The effects of emotional intelligence on visual search of emotional stimuli and emotion identification

    Fellner, A. N., Matthews, G., Funke, G. J., Emo, A. K., Zeidner, M., Pérez-Gonzalez, J. C. & Roberts, R. D., 2007, 51st Annual Meeting of the Human Factors and Ergonomics Society, HFES 2007. p. 845-849 5 p. (Proceedings of the Human Factors and Ergonomics Society; vol. 2).

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

  • The effects of the reliability of an automatic target recognition system on image analyst performance

    Setter, P., Marciano, H., Norman, J. & Hovev, M. M., 2007, ECCE 2007 - European Conference on Cognitive Ergonomics: Invent Explore. p. 299-300 2 p. (ACM International Conference Proceeding Series; vol. 250).

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

  • The effects of time limitations on target identification

    Setter, P., Marciano, H., Norman, J. & Hovev, M. M., 2007, ECCE 2007 - European Conference on Cognitive Ergonomics: Invent Explore. p. 301-302 2 p. (ACM International Conference Proceeding Series; vol. 250).

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

  • The Mycenaean Pottery from Tel Aphek: Chronology and Patterns of Trade

    Guzowska, M. & Yasur Landau, A., 2007, The Synchronization of Civilisations in the Eastern Mediterranean in the Second Millennium B.C. III: Proceedings of the SCIEM 2000—2nd EuroConference Vienna, 28th of May–1st of June 2003., B. M. & , C. E. (eds.). p. 537–545

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

  • The non-associativity of polarized tree-based grammars

    Cohen-Sygal, Y. & Wintner, S., 2007, Computational Linguistics and Intelligent Text Processing - 8th International Conference, CICLing 2007, Proceedings. Springer Verlag, p. 208-217 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4394 LNCS).

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

  • The power of assuming normality

    Raban, D. R. & Rabin, E., 2007, Proceedings of the European and Mediterranean Conference on Information Systems, EMCIS 2007. p. 301-308 8 p. (Proceedings of the European and Mediterranean Conference on Information Systems, EMCIS 2007).

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

  • The Stackelberg minimum spanning tree game

    Cardinal, J., Demaine, E. D., Fiorini, S., Joret, G., Langerman, S., Newman, I. & Weimann, O., 2007, Algorithms and Data Structures - 10th International Workshop, WADS 2007, Proceedings. Springer Verlag, p. 64-76 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4619 LNCS).

    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., 2007, Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer Verlag, p. 328-360 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4444 LNCS).

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

  • Towards Global E-Agriculture: the Challenge of Web-Based Decision Support Systems for Growers

    Kuflik, T., Pertot, I., Frizzi, A., Shtienberg, D., Simon, S., Gafny, Y., Soffer, E. & Hoch, D., 2007, Proceedings of the 2nd Mediterranean Conference on Information Systems (MCIS 2007). AISeL, p. 189-198

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

  • Utilization of data- mining techniques for evaluation of patterns of asthma drugs use by ambulatory patients in a large health maintenance organization

    Last, M., Carel, R. & Barak, D., 2007, ICDM Workshops 2007 - Proceedings of the 17th IEEE International Conference on Data Mining Workshops. p. 169-174 6 p. 4476663. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

  • Video streaming over wireless networks

    Naor, Z., 2007, 2007 IEEE Sarnoff Symposium, SARNOFF. 4567349. (2007 IEEE Sarnoff Symposium, SARNOFF).

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

    Open Access

  • What is hidden beyond the data? Helping young students to reason and argue about some wider universe

    Ben-Zvi, D., Gil, E. & Apel, N., 2007, Reasoning about Informal Inferential Statistical Reasoning: A collection of current research studies. Pratt, D. & Ainley, J. (eds.). Warwick: University of Warwick, p. 29-35 7 p.

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

  • הפיתוי הקודר של האופציה הדו-לאומית

    Translated title of the contribution: The Muddy Lure of the Bi-National Optionסבן, א., 2007, רב תרבותיות ואתגרי האזרחות הדיפרנציאלית בישראל: שולחן עגול. ג'מאל, א. (ed.). תל אביב: מכון וולטר ליבך לחקר הדו-קיום היהודי -ערבי, הפקולטה למדעי החברה ע"ש גרשון גורדון, אוניברסיטת תל אביב, p. 42-48 7 p.

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

  • "כופין אותו עד שיאמר רוצה אני": מהות העיקרון ויישומו בזמננו

    Translated title of the contribution: "He will be Coerced Until he Declares 'I Am Willing'": The Essence of the Principle and Its Implementation in Contemporary Societyקפלן, י. ש., 2007, עיונים במשפט עברי ובהלכה: דיין ודיון. חבה, י. & רדזינר, ע. (eds.). רמת-גן: הוצאת אוניברסיטת בר-אילן, p. 189-248 60 p.

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

  • 2008

    A 2.1GHz 6.5mW 64-bit unified PopCount/BitScan datapath unit for 65nm high-performance microprocessor execution cores

    Ramanarayanan, R., Mathew, S., Erraguntla, V., Krishnamurthy, R. & Gueron, S., 2008, Proceedings - 21st International Conference on VLSI Design, VLSI DESIGN 2008. p. 273-278 6 p. 4450514. (Proceedings of the IEEE International Frequency Control Symposium and Exposition).

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

  • A co-located interface for narration to support reconciliation in a conflict: Initial results from Jewish and palestinian youth

    Stock, O., Zancanaro, M., Rocchi, C., Tomasini, D., Koren, C., Eisikovits, Z., Goren-Bar, D. & Weiss, P. L., 2008, 26th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings, CHI 2008. p. 1583-1591 9 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

  • Adaptive retrieval of semi-structured data

    Ben-Asher, Y., Berkovsky, S., Busetta, P., Eytani, Y., Jbara, S. & Kuflik, T., 2008, Adaptive Hypermedia and Adaptive Web-Based Systems - 5th International Conference, AH 2008, Proceedings. p. 32-41 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5149 LNCS).

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

  • A domain engineering approach for situational method engineering

    Aharoni, A. & Reinhartz-Berger, I., 2008, Conceptual Modeling - ER 2008 - 27th International Conference on Conceptual Modeling, Proceedings. Springer Verlag, p. 455-468 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5231 LNCS).

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

  • Algorithms for satisfying dose-volume constraints in intensity-modulated radiation therapy

    Chen, W., Herman, G. T. & Censor, Y., 2008, Mathematical Methods in Biomedical Imaging and Intensity-Modulated Radiation Therapy (IMRT). Censor, Y., Jiang, M. & Louis, A. K. (eds.). 1 ed. Pisa: Scuola Normale Superiore Edizioni della Normale, p. 97-106 10 p. (Publications of the Scuola Normale Superiore; vol. 7).

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

  • An Online Linguistic Journalism Agency–Starting Up Project

    Elia, A., D'Avanzo, E., Kuflik, T., Catapano, G. & Gruber, M., 2008, Proceedings of LangTech 2008. p. 106-109

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

  • Applying two-pixel features to face detection

    Ido, N., Daniel, K. & Werman, M., 2008, SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems. p. 65-69 5 p. 4725788. (SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems).

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

  • Approximate runs - revisited

    Landau, G. M., 2008, String Processing and Information Retrieval - 15th International Symposium, SPIRE 2008, Proceedings. Turpin, A., Moffat, A. & Amir, A. (eds.). Springer Verlag, p. 2 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5280 LNCS).

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

    Open Access

  • Approximation schemes for packing splittable items with cardinality constraints

    Epstein, L. & Van Stee, R., 2008, Approximation and Online Algorithms - 5th International Workshop, WAOA 2007, Revised Papers. p. 232-245 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4927 LNCS).

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

  • Arm and trunk kinematic features during reaching in virtual and real world environments

    Liebermann, D. G., Berman, S., Levin, M. F. & Weiss, P. L., 2008, 2008 Virtual Rehabilitation, IWVR. IEEE Computer Society, p. 73 1 p. 4625136. (2008 Virtual Rehabilitation, IWVR).

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

  • Assigning ontology-based semantics to process models: The case of Petri Nets

    Soffer, P., Kaner, M. & Wand, Y., 2008, Advanced Information Systems Engineering - 20th International Conference, CAiSE 2008, Proceedings. p. 16-31 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5074 LNCS).

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

    Open Access

  • A technique for accelerating characteristic 2 elliptic curve cryptography

    Gueron, S. & Kounavis, M., 2008, Proceedings - International Conference on Information Technology: New Generations, ITNG 2008. p. 265-272 8 p. 4492490. (Proceedings - International Conference on Information Technology: New Generations, ITNG 2008).

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

  • A virtual reality paradigm for the assessment and rehabilitation of executive function deficits post stroke: Feasibility study

    Carelli, L., Morganti, F., Weiss, P. L., Kizony, R. & Riva, G., 2008, 2008 Virtual Rehabilitation, IWVR. p. 99-104 6 p. 4625144. (2008 Virtual Rehabilitation, IWVR).

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

    Open Access

  • COACH - Cumulative online algorithm for classification of handwriting deficiencies

    Richardson, A., Kraus, S., Weiss, P. L. & Rosenblum, S., 2008, AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference. p. 1725-1730 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 3).

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

  • Conservative string covering of indeterminate strings

    Antoniou, P., Crochemore, M., Iliopoulos, C. S., Jayasekera, I. & Landau, G. M., 2008, Proceedings of the Prague Stringology Conference 2008. p. 108-115 8 p. (Proceedings of the Prague Stringology Conference 2008).

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

  • Counting ordered patterns in words generated by morphisms

    Kitaev, S., Mansour, T. & Séébold, P., 2008, Language and Automata Theory and Applications - Second International Conference, LATA 2008, Revised Papers. p. 287-298 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5196 LNCS).

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

  • Declarative and procedural approaches for modelling clinical guidelines: Addressing flexibility issues

    Mulyar, N., Pesic, M., Van Der Aalst, W. M. P. & Peleg, M., 2008, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. p. 335-346 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4928 LNCS).

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

  • Demarcating curves for shape illustration

    Kolomenkin, M., Shimshoni, I. & Tal, A., 2008, ACM SIGGRAPH Asia 2008 Papers, SIGGRAPH Asia'08. 157. (ACM SIGGRAPH Asia 2008 Papers, SIGGRAPH Asia'08).

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

  • Dynamic multipath allocation in Ad Hoc networks

    Ben-Asher, Y., Feldman, S. & Feldman, M., 2008, Proceedings - 2nd Int. Conf. Sensor Technol. Appl., SENSORCOMM 2008, Includes: MESH 2008 Conf. Mesh Networks; ENOPT 2008 Energy Optim. Wireless Sensors Networks; UNWAT 2008 Under Water Sensors Sys.. p. 824-832 9 p. 4622762. (Proceedings - 2nd Int. Conf. Sensor Technol. Appl., SENSORCOMM 2008, Includes: MESH 2008 Conf. Mesh Networks; ENOPT 2008 Energy Optim. Wireless Sensors Networks, UNWAT 2008 Under Water Sensors Systems).

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

  • Emergence of terminological conventions as an author-searcher coordination game

    Bodoff, D. & Rafaeli, S., 2008, Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08. p. 1033-1034 2 p. (Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08).

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

  • Empirical evidence of information overload constraining chat channel community interactions

    Jones, Q., Moldovan, M., Raban, D. & Butler, B., 2008, CSCW 08 - Conference Proceedings, 2008 ACM Conference on Computer Supported Cooperative Work. p. 323-332 10 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

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

  • Extending Booth algorithm to multiplications of three numbers on FPGAs

    Asher, Y. B. & Stein, E., 2008, Proceedings of the 2008 International Conference on Field-Programmable Technology, ICFPT 2008. p. 333-336 4 p. 4762411. (Proceedings of the 2008 International Conference on Field-Programmable Technology, ICFPT 2008).

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

  • Finding the best compromise in compiling compound loops to Verilog

    Ben-Asher, Y. & Shochat, E., 2008, Proceedings - IEEE Computer Society Annual Symposium on VLSI: Trends in VLSI Technology and Design, ISVLSI 2008. p. 495-498 4 p. 4556849. (Proceedings - IEEE Computer Society Annual Symposium on VLSI: Trends in VLSI Technology and Design, ISVLSI 2008).

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

  • First-principles modeling of LaMnO3 SOFC cathode material

    Kotomin, E. A., Mastrikov, Y. A., Heifets, E., Merkle, R., Fleig, J., Maier, J., Gordon, A. & Felsteiner, J., 2008, ECS Transactions - Ionic and Mixed Conducting Ceramics 6 - 213th ECS Meeting. 26 ed. Electrochemical Society Inc., p. 301-306 6 p. (ECS Transactions; vol. 13, no. 26).

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

  • Generating and optimizing graphical user interfaces for semantic service compositions

    Toch, E., Reinhartz-Berger, I., Gal, A. & Dori, D., 2008, Conceptual Modeling - ER 2008 - 27th International Conference on Conceptual Modeling, Proceedings. Springer Verlag, p. 528-529 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5231 LNCS).

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

  • Generic Communication Service Agents for Mobile Applications in Cultural Heritage Sites

    Jbara, S., Kuflik, T., Soffer, P. & Stock, O., 2008, 2008 IEEE International Conference on Distributed Human-Machine Systems. p. 353-359

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

  • Hardness amplification proofs require majority

    Shaltiel, R. & Viola, E., 2008, STOC'08: Proceedings of the 2008 ACM Symposium on Theory of Computing. Association for Computing Machinery (ACM), p. 589-598 10 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

  • Hard to Handle: Aspects of Organization in Aegean and Near Eastern feasts

    Yasur Landau, A., Mar 2008, DAIS, The Aegean Feast: Proceedings of the Aegaeum Conference, Melbourne, 25–29 ., H. L., , L. R. & , C. J. (eds.). p. 353–358

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