Computer Science

Filter
Conference contribution

Search results

  • 2012

    Steiner forest orientation problems

    Cygan, M., Kortsarz, G. & Nutov, Z., 2012, Algorithms, ESA 2012 - 20th Annual European Symposium, Proceedings. p. 361-372 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7501 LNCS).

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

    Open Access

  • Survivable network activation problems

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. p. 594-605 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7256 LNCS).

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

  • The new CSTA K - 12 computer science standards

    Cooper, S., Boucher Owens, B., Stephenson, C. & Gal-Ezer, J., 2012, ITiCSE'12 - Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education. p. 363-364 2 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

  • Violent flows: Real-time detection of violent crowd behavior

    Hassner, T., Itcher, Y. & Kliper-Gross, O., 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2012. p. 1-6 6 p. 6239348. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

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

  • 2011

    A (1 + ln 2)-approximation algorithm for minimum-cost 2-edge-connectivity augmentation of trees with constant radius

    Cohen, N. & Nutov, Z., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. p. 147-157 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6845 LNCS).

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

    Open Access

  • A Case Study of Language Oriented Programming with Cedalion: (Extended Abstract)

    Lorenz, D. H. & Rosenan, B., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 199-200 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Approximating survivable networks with minimum number of Steiner points

    Kamma, L. & Nutov, Z., 2011, Approximation and Online Algorithms - 8th International Workshop, WAOA 2010, Revised Papers. p. 154-165 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6534 LNCS).

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

    Open Access

  • A study on attitudes and emphases in computer science teacher preparation

    Ragonis, N., Hazzan, O. & Gal-Ezer, J., 2011, SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education. p. 559-564 6 p. (SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education).

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

  • A unified framework for approximating and clustering data

    Feldman, D. & Langberg, M., 2011, STOC'11 - Proceedings of the 43rd ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 569-578 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

  • Beating the Gilbert-Varshamov bound for online channels

    Haviv, I. & Langberg, M., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. p. 1392-1396 5 p. 6033767. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Cedalion: A Language for Language Oriented Programming

    Lorenz, D. H. & Rosenan, B., Oct 2011, OOPSLA'11 - Proceedings of the 26th ACM International Conference on Object Oriented Programming Systems Languages and Applications. 10 ed. Vol. 46. p. 733-752 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Cedalion 101: "I Want My DSL Now"

    Lorenz, D. H. & Rosenan, B., Oct 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 29-30 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Code reuse with language oriented programming

    Lorenz, D. & Rosenan, B., 1 Jun 2011, Proceedings of the 12th International Conference on Software Reuse (ICSR12). Springer Verlag, Vol. 6727. p. 167-182 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6727 LNCS).

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

  • Criteria for writing exams which reflect the K12 CS foundations study material

    Averbuch, H., Benaya, T. & Zur, E., 2011, Informatics in Schools: Contributing to 21st Century Education - 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Proceedings. p. 225-235 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7013 LNCS).

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

  • Dynamic Hook points

    Acherkan, E., Hen-Tov, A., Lorenz, D. H., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 5 Oct 2011, AsianPLoP 2011 - 2nd Asian Conference on Pattern Languages of Programs, Proceedings. Association for Computing Machinery, a1. (ACM International Conference Proceeding Series; vol. 2011-October).

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

  • Face recognition in unconstrained videos with matched background similarity

    Wolf, L., Hassner, T. & Maoz, I., 2011, 2011 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2011. IEEE Computer Society, p. 529-534 6 p. 5995566. (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

  • Finding sparse solutions for the index coding problem

    Chaudhry, M. A. R., Asad, Z., Sprintson, A. & Langberg, M., 2011, 2011 IEEE Global Telecommunications Conference, GLOBECOM 2011. 6134497. (GLOBECOM - IEEE Global Telecommunications Conference).

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

  • Generalized Gray codes for local rank modulation

    En Gad, E., Langberg, M., Schwartz, M. & Bruck, J., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. p. 874-878 5 p. 6034262. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Identity obfuscation in graphs through the information theoretic lens

    Bonchi, F., Gionis, A. & Tassa, T., 2011, 2011 IEEE 27th International Conference on Data Engineering, ICDE 2011. p. 924-935 12 p. 5767905. (Proceedings - International Conference on Data Engineering).

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

  • Index coding with outerplanar side information

    Berliner, Y. & Langberg, M., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. p. 806-810 5 p. 6034247. (IEEE International Symposium on Information Theory - Proceedings).

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

  • Integrating greenfoot into CS1 - A case study

    Vilner, T., Zur, E. & Tavor, S., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. p. 350 1 p. (ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science).

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

  • Network coding: Is zero error always possible?

    Langberg, M. & Effros, M., 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011. p. 1478-1485 8 p. 6120342. (2011 49th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2011).

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

    Open Access

  • Network-design with degree constraints

    Khandekar, R., Kortsarz, G. & Nutov, Z., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6845 LNCS).

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

  • One shot similarity metric learning for action recognition

    Kliper-Gross, O., Hassner, T. & Wolf, L., 2011, Similarity-Based Pattern Recognition - First International Workshop, SIMBAD 2011, Proceedings. p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7005 LNCS).

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

    Open Access

  • On the complementary Index Coding problem

    Chaudhry, M. A. R., Asad, Z., Sprintson, A. & Langberg, M., 2011, 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011. p. 244-248 5 p. 6034005. (IEEE International Symposium on Information Theory - Proceedings).

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

  • Pluggable aspect instantiation models

    Lorenz, D. & Trakhtenberg, V., 2011, Proceedings of the 10th International Symposium on Software Composition (SC'11). Springer Verlag, Vol. 6708. p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6708 LNCS).

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

  • The ink language meta-metamodel for adaptive object-model frameworks

    Acherkan, E., Hen-Tov, A., Lorenz, D. & Schachter, L., 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 181-182 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

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

  • Toward debugging programs written in multiple domain specific aspect languages

    Apter, Y., Lorenz, D. & Mishali, O., 1 Mar 2011, Proceedings of the 6th Annual Workshop on Domain-Specific Aspect Languages, DSAL 2011. Association for Computing Machinery, p. 5-8 4 p. (Aspect-Oriented Software Development).

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

  • Using greenfoot in teaching inheritance in CS1

    Vilner, T., Zur, E. & Tavor, S., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. p. 342 1 p. (ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science).

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

  • 2010

    A survey of computer science teacher preparation programs in Israel tells us: Computer science deserves a designated high school teacher preparation!

    Ragonis, N., Hazzan, O. & Gal-Ezer, J., 2010, SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education. p. 401-405 5 p. (SIGCSE'10 - Proceedings of the 41st ACM Technical Symposium on Computer Science Education).

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

  • Coding against delayed adversaries

    Dey, B. K., Jaggi, S., Langberg, M. & Sarwate, A. D., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. p. 285-289 5 p. 5513325. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Communicating the sum of sources in a 3-sources/3-terminals network; revisited

    Langberg, M. & Ramamoorthy, A., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. p. 1853-1857 5 p. 5513422. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Compressed sensing-based pooling experiments using next generation sequencing

    Shental, N., Amir, A. & Zuk, O., 2010, 2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings. p. 446-447 2 p. 5454087. (2010 Information Theory and Applications Workshop, ITA 2010 - Conference Proceedings).

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

  • Data movement and aggregation in flash memories

    Jiang, A., Langberg, M., Mateescu, R. & Bruck, J., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. p. 1918-1922 5 p. 5513391. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Didactics of introduction to computer science in high school

    Armoni, M., Benaya, T., Ginat, D. & Zur, E., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. p. 36-48 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5941 LNCS).

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

  • Dynamic model evolution

    Hen-Tov, A., Lorenz, D., Nikolaev, L., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 2010, PLoP 2010 - 17th Conference on Pattern Languages of Programs, Proceedings. 16. (ACM International Conference Proceeding Series).

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

  • f-Sensitivity distance oracles and routing schemes

    Chechik, S., Langberg, M., Peleg, D. & Roditty, L., 2010, Algorithms, ESA 2010 - 18th Annual European Symposium, Proceedings. PART 1 ed. p. 84-96 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6346 LNCS, no. PART 1).

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

  • Individual and group seminars and workshops in the Computer Science curriculum

    Benaya, T., Herman, M., Shahak, D. & Zur, E., 2010, ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. p. 53-57 5 p. (ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education).

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

  • Network codes resilient to jamming and eavesdropping

    Yao, H., Silva, D., Jaggi, S. & Langberg, M., 2010, 2010 IEEE International Symposium on Network Coding, NetCod 2010. p. 31-36 6 p. 5487669. (2010 IEEE International Symposium on Network Coding, NetCod 2010).

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

    Open Access

  • On a construction for constant-weight gray codes for local rank modulation

    Gad, E. E., Langberg, M., Schwartz, M. & Bruck, J., 2010, 2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010. p. 996 1 p. 5661923. (2010 IEEE 26th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2010).

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

    Open Access

  • One-shot capacity of discrete channels

    Costa, R. A., Langberg, M. & Barros, J., 2010, 2010 IEEE International Symposium on Information Theory, ISIT 2010 - Proceedings. p. 211-215 5 p. 5513244. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Prize-collecting Steiner network problems

    Hajiaghayi, M. T., Khandekar, R., Kortsarz, G. & Nutov, Z., 2010, Integer Programming and Combinatorial Optimization - 14th International Conference, IPCO 2010, Proceedings. Springer Verlag, p. 71-84 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 proceeding › Conference contribution › peer-review

    Open Access

  • Professional associations in K-12 computer science

    Stephenson, C., Gal-Ezer, J., Philipps, M. & Vahrenhold, J., 2010, ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education. p. 329-330 2 p. (ITiCSE'10 - Proceedings of the 2010 ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education).

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

  • Realtime classification for encrypted traffic

    Bar-Yanai, R., Langberg, M., Peleg, D. & Roditty, L., 2010, Experimental Algorithms - 9th International Symposium, SEA 2010, Proceedings. p. 373-385 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6049 LNCS).

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

  • Similarity scores based on background samples

    Wolf, L., Hassner, T. & Taigman, Y., 2010, Computer Vision, ACCV 2009 - 9th Asian Conference on Computer Vision, Revised Selected Papers. PART 2 ed. p. 88-97 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5995 LNCS, no. PART 2).

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

    Open Access

  • Software design course for leading CS in-service teachers

    Brandes, O., Vilner, T. & Zur, E., 2010, Teaching Fundamental Concepts of Informatics - 4th International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2010, Proceedings. p. 49-60 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5941 LNCS).

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

  • Towards a calculus for non-linear spectral gaps

    Mendel, M. & Naor, A., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. p. 236-255 20 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

  • Universal ε-approximators for integrals

    Langberg, M. & Schulman, L. J., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery (ACM), p. 598-607 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

  • 2009

    A general framework for approximate nearest subspace search

    Basri, R., Hassner, T. & Zelnik-Manor, L., 2009, 2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009. p. 109-116 8 p. 5457710. (2009 IEEE 12th International Conference on Computer Vision Workshops, ICCV Workshops 2009).

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

    Open Access

  • An almost O(log k)-approximation for k-connected subgraphs

    Nutov, Z., 2009, Proceedings of the 20th Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery, p. 912-921 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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