Department of Computer Science

Filter
Conference contribution

Search results

  • 2006

    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

  • 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

  • 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

  • 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

  • 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

  • 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

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

  • 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

  • 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

  • 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 proceedingConference contributionpeer-review

  • 2005

    A Finite-State Morphological Grammar of Hebrew

    Yona, S. & Wintner, S., 2005, Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages. USA: Association for Computational Linguistics, p. 9-16 8 p. (Semitic '05).

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

  • A geometric approach to quadratic optimization in computerized tomography

    Gordon, D. & Mansour, R., 2005, Proceedings of the Eighth IASTED International Conference on Computer Graphics and Imaging, CGIM 2005. Hamza, M. H. (ed.). p. 60-65 6 p. (Proceedings of the Eighth IASTED International Conference on Computer Graphics and Imaging, CGIM 2005).

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

  • Analyzing symmetry in biological systems

    Milner, D., Hel-Or, H., Keren, D., Raz, S. & Nevo, E., 2005, IEEE International Conference on Image Processing 2005, ICIP 2005. p. 361-364 4 p. 1529762. (Proceedings - International Conference on Image Processing, ICIP; vol. 1).

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

    Open Access
  • Approximation algorithm for the cyclic swap problem

    Ardila, Y. J. P., Iliopoulos, C. S., Landau, G. M. & Mohamed, M., 2005, Proceedings of the Prague Stringology Conference '05. p. 190-200 11 p. (Proceedings of the Prague Stringology Conference '05).

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

  • Computing similarity of run-length encoded strings with affine gap penalty

    Kim, J. W., Amir, A., Landau, G. M. & Park, K., 2005, String Processing and Information Retrieval - 12th International Conference, SPIRE 2005, Proceedings. Springer Verlag, p. 315-326 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3772 LNCS).

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

  • If NP languages are hard on the worst-case then it is easy to find their hard instances

    Gutfreund, D., Shaltiel, R. & Ta-Shma, A., 2005, Proceedings of the 20th Annual IEEE Conference on Computational Complexity. p. 243-257 15 p. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

  • Irregular pattern matching using projections

    Ben-Yehuda, M., Cadany, L., Hel-Or, H. & Hel-Or, Y., 2005, IEEE International Conference on Image Processing 2005, ICIP 2005. IEEE Computer Society, p. 2-834 833 p. 1530185. (Proceedings - International Conference on Image Processing, ICIP; vol. 2).

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

    Open Access
  • Normalized similarity of RNA sequences

    Backofen, R., Hermelin, D., Landau, G. M. & Weimann, O., 2005, String Processing and Information Retrieval - 12th International Conference, SPIRE 2005, Proceedings. p. 360-369 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3772 LNCS).

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

  • On the equivalence of common approaches to lighting insensitive recognition

    Osadchy, M., Jacobs, D. W. & Lindenbaum, M., 2005, Proceedings - 10th IEEE International Conference on Computer Vision, ICCV 2005. p. 1721-1726 6 p. 1544924. (Proceedings of the IEEE International Conference on Computer Vision; vol. II).

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

    Open Access
  • Pseudorandomness for approximate counting and sampling

    Shaltiel, R. & Umans, C., 2005, Proceedings of the 20th Annual IEEE Conference on Computational Complexity. p. 212-226 15 p. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

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

  • 2004

    Learning Hebrew Roots: Machine Learning with Linguistic Constraints

    Daya, E., Roth, D. & Wintner, S., 1 Jan 2004, Proceedings of the 2004 Conference on Empirical Methods in Natural Language Processing (EMNLP 2004) . 8 p.

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

  • Overlapping memory operations with circuit evaluation in reconfigurable computing

    Ben-Asher, Y., Citron, D. & Haber, G., 2004, Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM). p. 2027-2034 8 p. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); vol. 18).

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

  • Permuted and scaled string matching

    Butman, A., Eres, R. & Landau, G. M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Apostolico, A., Apostolico, A. & Melucci, M. (eds.). Springer Verlag, p. 72-73 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3246).

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

  • Rapid prototyping of a transfer-based Hebrew-to-English machine translation system

    Lavie, A., Peterson, E., Probst, K., Wintner, S. & Eytani, Y., 2004, Proceedings of The 10th International Conference on Theoretical and Methodological Issues in Machine Translation. p. 1-10

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

  • The voxel-sweep: A boundary-based algorithm for object segmentation and connected-components detection

    Cohen, I. & Gordon, D., 2004, Vision, Modeling and Visualization 2004, VMV 2004 - Proceedings. Seidel, H.-P., Girod, B. & Magnor, M. (eds.). IOS Press BV, p. 405-411 7 p. (Vision, Modeling and Visualization 2004, VMV 2004 - Proceedings).

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

  • Using a J2EE cluster for parallel computation of join queries in distributed databases

    Ben-Asher, Y., Berkovsky, S., Tammam, A. & Shmueli, E., 2004, Proc. - ISPDC 2004: Third Int. Symp. on Parallel and Distributed Computer/HeteroPar '04: Third Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks. p. 58-63 6 p. (Proceedings - ISPDC 2004: Third International Symposium on Parallel and Distributed Computing/HeteroPar '04: Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Hete).

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

  • 2003

    Computational Implementation of Non-Concatenative Morphology

    Cohen-Sygal, Y., Gerdemann, D. & WINTNER, S., 2003, Proceedings of the Workshop on Finite-State Methods in Natural Language Processing, an EACL’03 Workshop. p. 59-66

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

  • Heuristics for finding concurrent bugs

    Eytani, Y., Farchi, E. & Ben-Asher, Y., 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., p. 8 1 p. 1213514. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

  • Morphological Tagging of the Qur’an

    Talmon, R. & Wintner, S., 2003, Proceedings of the Workshop on Finite-State Methods in Natural Language Processing, an EACL’03 Workshop. p. 67-74

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

  • Resources for processing Israeli Hebrew

    Wintner, S. & Yona, S., 2003, Proceedings of Machine Translation for Semitic Languages: Issues and Approaches, an Mt-Summit IX Workshop.

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

  • 2002

    A sub-quadratic sequence alignment algorithm for unrestricted cost matrices

    Crochemore, M., Landau, G. M. & Ziv-Ukelson, M., 2002, Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2002. Association for Computing Machinery, p. 679-688 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 06-08-January-2002).

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

  • Basic algorithms for the asynchronous reconfigurable mesh

    Ben-Asher, Y. & Stein, E., 2002, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002. Institute of Electrical and Electronics Engineers Inc., p. 152 1 p. 1016546. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002).

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

  • Coloring algorithms for tolerance graphs: Reasoning and scheduling with interval constraints

    Golumbic, M. C. & Siani, A., 2002, Artificial Intelligence, Automated Reasoning and Symbolic Computation - Joint International Conferences AISC 2002 and Calculemus 2002, Proceedings. Henocque, L., Calmet, J., Benhamou, B., Caprotti, O. & Sorge, V. (eds.). Springer Verlag, p. 196-207 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2385).

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

  • Formal Language Theory for Natural Language Processing

    Wintner, S., 1 Jul 2002, Proceedings of the ACL-02 Workshop on Effective Tools and Methodologies for Teaching Natural Language Processing and Computational Linguistics. Philadelphia, Pennsylvania, USA: Association for Computational Linguistics, p. 71-76 6 p.

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

  • Guaranteeing Parsing Termination of Unification Grammars

    Jaeger, E., Francez, N. & Wintner, S., 2002, COLING 2002: The 19th International Conference on Computational Linguistics. p. 397-403

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

  • 2001

    Computational Processing of Spoken North Israeli Arabic

    Talmon, R. & Wintner, S., 23 Jun 2001, ARABIC Language Processing: Status and Prospects, ACL/EACL 2001 Workshop. p. 124-126

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

  • 2000

    Anti-faces for detection

    Keren, D., Osadchy, M. & Gotsman, C., 2000, Computer Vision - ECCV 2000 - 6th European Conference on Computer Vision, Proceedings. Vernon, D. (ed.). Springer Verlag, p. 134-148 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1842).

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

  • Copyright labeling of printed images

    Hel-Or, H. Z., 2000, 21st IEEE Convention of the Electrical and Electronic Engineers in Israel, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 389-392 4 p. 924443. (21st IEEE Convention of the Electrical and Electronic Engineers in Israel, Proceedings).

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

  • On the complexity of the sub-permutation problem

    Ahal, S. & Rabinovich, Y., 2000, Algorithm Theory - SWAT 2000 - 7th Scandinavian Workshop on Algorithm Theory, 2000, Proceedings. Halldórsson, M. M. (ed.). Springer Verlag, p. 490-503 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1851).

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

  • Topology preserving inside-outside functions for simple closed curves

    Ben-Bassat, L. & Keren, D., 2000, 21st IEEE Convention of the Electrical and Electronic Engineers in Israel, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 110-113 4 p. 924337. (21st IEEE Convention of the Electrical and Electronic Engineers in Israel, Proceedings).

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

  • 1999

    Indexing and dictionary matching with one error (extended abstract)

    Amir, A., Keselman, D., Landau, G. M., Lewenstein, M., Lewenstein, N. & Rodeh, M., 1999, Algorithms and Data Structures - 6th International Workshop, WADS 1999, Proceedings. Dehne, F., Sack, J.-R., Gupta, A. & Tamassia, R. (eds.). Springer Verlag, p. 181-192 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1663).

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

  • 1998

    Broadcasting on a budget in the multi-service communication model

    Itkis, G., Newman, I. & Schuster, A., 1998, Proceedings - 5th International Conference on High Performance Computing, HiPC 1998. IEEE Computer Society, p. 163-170 8 p. (Proceedings - Symposium on Computer Architecture and High Performance Computing).

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

  • Definiteness Agreement and Inheritance in Hebrew

    WINTNER, S., 1998, The 14th annual meeting of the Israeli Association for Theoretical Linguistics (IATL-14).

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

  • Efficient special cases of pattern matching with swaps

    Amir, A., Landau, G. M., Lewenstein, M. & Lewenstein, N., 1998, Combinatorial Pattern Matching - 9th Annual Symposium, CPM 1998, Proceedings. Springer Verlag, p. 209-220 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1448 LNCS).

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

  • Parallel solutions of simple indexed recurreno equations

    Ben-Asher, Y. & Haber, G., 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 933-939 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

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

  • Recognizing surfaces using curve invariants and differential properties of curves and surfaces

    Keren, D., Rivlin, E., Shimshoni, I. & Weiss, I., 1998, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 3375-3381 7 p. 680959. (Proceedings - IEEE International Conference on Robotics and Automation; vol. 4).

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

    Open Access
  • Recovering Surface Invariants from Curves

    KEREN, D., Rivlin, E. & SHIMSHONI, I., 1998, Proc. DARPA Image Understanding Workshop. p. 1221–1228

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

  • 1997

    Basic results in automatic transformations of shared memory parallel programs into sequential programs

    Ben-Asher, Y. & Stein, E., 1997, Advances in Computing Science - ASIAN 1997 - 3rd Asian Computing Science Conference, Proceedings. Ueda, K. & Shyamasundar, R. K. (eds.). Springer Verlag, p. 351-366 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1345).

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

  • New Approach to the Arc Length Parameterization Problem

    Gill, J. & Keren, D., 1997, Spring Conference on Computer Graphics. p. 27-35

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