Department of Mathematics and Computer Science

Filter
Conference contribution

Search results

  • 2012

    Degree-constrained node-connectivity

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. p. 582-593 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

  • Grand challenges in primary and secondary computing education

    Gal-Ezer, J., 2012, Proceedings - 7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012. p. 1-2 2 p. (ACM International Conference Proceeding Series).

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

  • Improved upper bounds on the capacity of binary channels with causal adversaries

    Dey, B. K., Jaggi, S., Langberg, M. & Sarwate, A. D., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. p. 681-685 5 p. 6284300. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • Integrating video components in CS1

    Vilner, T., Zur, E. & Sagi, R., 2012, SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education. p. 123-128 6 p. (SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education).

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

  • Israel: The regional competition and teacher involvement

    Zur, E., Benaya, T., Becker, O. & Ginat, D., 2012, Olympiads in Informatics - Selected Papers of the International Conference Joint with the 24th International Olympiad in Informatics, IOI 2012. Vilnius University, p. 218-225 8 p. (Olympiads in Informatics; vol. 6).

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

  • Language-oriented modularity through awesome DSALs: Summary of invited talk

    Lorenz, D. H., 2012, DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages. p. 1-2 2 p. (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

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

  • Motion interchange patterns for action recognition in unconstrained videos

    Kliper-Gross, O., Gurovich, Y., Hassner, T. & Wolf, L., 2012, Computer Vision, ECCV 2012 - 12th European Conference on Computer Vision, Proceedings. PART 6 ed. p. 256-269 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7577 LNCS, no. PART 6).

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

    Open Access

  • On linear index coding for random graphs

    Haviv, I. & Langberg, M., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. p. 2231-2235 5 p. 6283850. (IEEE International Symposium on Information Theory - Proceedings).

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

    Open Access

  • On SIFTs and their scales

    Hassner, T., Mayzels, V. & Zelnik-Manor, L., 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012. p. 1522-1528 7 p. 6247842. (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

  • Scheduling of vehicles in transportation networks

    Kowalski, D., Nutov, Z. & Segal, M., 2012, Communication Technologies for Vehicles - 4th International Workshop, Nets4Cars/Nets4Trains 2012, Proceedings. p. 124-136 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7266 LNCS).

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

  • Source coding for dependent sources

    Langberg, M. & Effros, M., 2012, 2012 IEEE Information Theory Workshop, ITW 2012. p. 70-74 5 p. 6404766. (2012 IEEE Information Theory Workshop, ITW 2012).

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

  • SPECTACKLE: Toward a specification-based DSAL composition process

    Lorenz, D. H. & Mishali, O., 2012, DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages. p. 9-13 5 p. (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

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

  • 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

  • Absenteeism as a major cause of bottlenecks in serial production processes

    Cohen, Y., 2011, 21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings. Krause, T., Spath, D. & Ilg, R. (eds.). Fraunhofer-Verlag, (21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings).

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

  • 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 route card modeling technique for complex assembly

    Cohen, Y., 2011, 21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings. Krause, T., Spath, D. & Ilg, R. (eds.). Fraunhofer-Verlag, (21st International Conference on Production Research: Innovation in Product and Production, ICPR 2011 - Conference Proceedings).

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

  • 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

  • Estimation of a normal process variance from measurements with large round-off errors

    Diamanta, B. K., Ellite, D., Itai, R. & Edna, S., 2011, Recent Advances in Manufacturing Engineering - Proceedings of the 4th International Conference on Manufacturing Engineering, Quality and Production Systems, MEQAPS'11. p. 297-302 6 p. (International Conference on Manufacturing Engineering, Quality and Production Systems, MEQAPS - Proceedings).

    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

  • Hyper-spectral and thermal images for evaluating nitrogen and water status in potato fields

    Cohen, Y., Alchanati, V., Rud, R., Rozen, C., Levi, O., Cohen, S. & Mhabari, Z., 2011, proceeding of the 8th European Conference on Precision Agriculture (ECPA): ECPA 2011. p. 99-108 10 p.

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

  • 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

  • Multimodal remote sensing for enhancing detection of spatial variability in agricultural fields

    Alchanatis, V., Cohen, A., Cohen, Y., Levi, O. & Naor, A., 2011, Spatial2 Conference: Spatial Data Methods for Environmental and Ecological Processes. Cafarelli, B. (ed.). Bergamo, p. 1-4 4 p.

    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

  • Automatic translation of a process level Petri-net to a ladder diagram

    Cohen, Y., Wang, M. E. & Bidanda, B., 2010, Advanced Techniques in Computing Sciences and Software Engineering. Springer Publishing Company, p. 25-29 5 p. (Advanced Techniques in Computing Sciences and Software Engineering).

    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