التصفية
منشور من مؤتمر

نتائج البحث

  • 2013

    H-wise independence

    Haviv, I. & Langberg, M., 2013, ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science. صفحة 541-551 11 صفحة (ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Information-theoretic study of voting systems

    Yaakobi, E., Langberg, M. & Bruck, J., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 1087-1091 5 صفحة 6620394. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Joint rewriting and error correction in write-once memories

    Jiang, A. A., Li, Y., Gad, E. E., Langberg, M. & Bruck, J., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 1067-1071 5 صفحة 6620390. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Local graph coloring and index coding

    Shanmugam, K., Dimakis, A. G. & Langberg, M., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 1152-1156 5 صفحة 6620407. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • On a capacity equivalence between network and index coding and the edge removal problem

    Wong, M. F., Langberg, M. & Effros, M., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 972-976 5 صفحة 6620371. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • On secure network coding with uniform wiretap sets

    Huang, W., Ho, T., Langberg, M. & Kliewer, J., 2013, 2013 International Symposium on Network Coding, NetCod 2013. 6570814. (2013 International Symposium on Network Coding, NetCod 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • On syntactic anonymity and differential privacy

    Clifton, C. & Tassa, T., 2013, 2013 IEEE 29th International Conference on Data Engineering Workshops, ICDEW 2013. صفحة 88-93 6 صفحة 6547433. (Proceedings - International Conference on Data Engineering).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Outer bounds and a functional study of the edge removal problem

    Lee, E. J., Langberg, M. & Effros, M., 2013, 2013 IEEE Information Theory Workshop, ITW 2013. 6691271. (2013 IEEE Information Theory Workshop, ITW 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Routing for security in networks with adversarial nodes

    Che, P. H., Chen, M., Ho, T., Jaggi, S. & Langberg, M., 2013, 2013 International Symposium on Network Coding, NetCod 2013. 6570834. (2013 International Symposium on Network Coding, NetCod 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Sequence reconstruction for Grassmann graphs and permutations

    Yaakobi, E., Schwartz, M., Langberg, M. & Bruck, J., 2013, 2013 IEEE International Symposium on Information Theory, ISIT 2013. صفحة 874-878 5 صفحة 6620351. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Simple Rectilinear Polygons are Perfect under Rectangular Vision

    Arkin, E., Biro, M., Filtser, O., Katz, M. J., Mitchell, J. S. B. & Schmidt, C., 2013, 23rd Fall Workshop on Computational Geometry 2013.

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Source code management for projectional editing

    Lorenz, D. & Rosenan, B., 2013, SPLASH 2013 - Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, and Applications: Software for Humanity. Association for Computing Machinery, صفحة 83-84 2 صفحة (SPLASH 2013 - Proceedings of the 2013 Companion Publication for Conference on Systems, Programming, and Applications: Software for Humanity).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Transforming computer science in schools

    Stephenson, C., Gal-Ezer, J., Humphreys, S. & King, J., 2013, ITiCSE 2013 - Proceedings of the ACM Conference on Innovation and Technology in Computer Science Education. صفحة 309-310 2 صفحة (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Viewing real-world faces in 3D

    Hassner, T., 2013, Proceedings - 2013 IEEE International Conference on Computer Vision, ICCV 2013. Institute of Electrical and Electronics Engineers Inc., صفحة 3607-3614 8 صفحة 6751560. (Proceedings of the IEEE International Conference on Computer Vision).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • What (else) should CS educators know? - Revisited

    Gal-Ezer, J. & Zur, E., 2013, WiPSCE 2013 - 8th Workshop in Primary and Secondary Computing Education, Proceedings. Association for Computing Machinery, صفحة 83-86 4 صفحة (ACM International Conference Proceeding Series).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Zero vs. ε error in interference channels

    Levi, I., Vilenchik, D., Langberg, M. & Effros, M., 2013, 2013 IEEE Information Theory Workshop, ITW 2013. 6691281. (2013 IEEE Information Theory Workshop, ITW 2013).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 2012

    A characterization of the number of subsequences obtained via the deletion channel

    Liron, Y. & Langberg, M., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. صفحة 503-507 5 صفحة 6284240. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • A Debug Interface for Debugging Multiple Domain Specific Aspect Languages

    Apter, Y., Lorenz, D. & Mishali, O., مارس 2012, Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development (AOSD '12). Potsdam, Germany: Association for Computing Machinery, صفحة 47-58 12 صفحة (AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Approximating minimum power edge-multi-covers

    Cohen, N. & Nutov, Z., 2012, Computer Science - Theory and Applications - 7th International Computer Science Symposium in Russia, CSR 2012, Proceedings. صفحة 64-75 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7353 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Approximating subset k-connectivity problems

    Nutov, Z., 2012, Approximation and Online Algorithms - 9th International Workshop, WAOA 2011, Revised Selected Papers. صفحة 9-20 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7164 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Coded cooperative data exchange problem for general topologies

    Gonen, M. & Langberg, M., 2012, 2012 IEEE International Symposium on Information Theory Proceedings, ISIT 2012. صفحة 2606-2610 5 صفحة 6283990. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Crosscutting Revision Control System

    Ifrah, S. & Lorenz, D., يونيو 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE'12). IEEE Computer Society, صفحة 321-330 10 صفحة 6227182. (Proceedings - International Conference on Software Engineering).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Degree-constrained node-connectivity

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. صفحة 582-593 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7256 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Grand challenges in primary and secondary computing education

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 681-685 5 صفحة 6284300. (IEEE International Symposium on Information Theory - Proceedings).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 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. صفحة 123-128 6 صفحة (SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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, صفحة 218-225 8 صفحة (Olympiads in Informatics; المجلد 6).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 1-2 2 صفحة (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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 طبعة صفحة 256-269 14 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7577 LNCS, رقم PART 6).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • On linear index coding for random graphs

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • On SIFTs and their scales

    Hassner, T., Mayzels, V. & Zelnik-Manor, L., 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012. صفحة 1522-1528 7 صفحة 6247842. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Scheduling of vehicles in transportation networks

    Kowalski, D., Nutov, Z. & Segal, M., 2012, Communication Technologies for Vehicles - 4th International Workshop, Nets4Cars/Nets4Trains 2012, Proceedings. صفحة 124-136 13 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7266 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Source coding for dependent sources

    Langberg, M. & Effros, M., 2012, 2012 IEEE Information Theory Workshop, ITW 2012. صفحة 70-74 5 صفحة 6404766. (2012 IEEE Information Theory Workshop, ITW 2012).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 9-13 5 صفحة (DSAL'12 - Proceedings of the 7th Workshop on Domain-Specific Aspect Languages).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Steiner forest orientation problems

    Cygan, M., Kortsarz, G. & Nutov, Z., 2012, Algorithms, ESA 2012 - 20th Annual European Symposium, Proceedings. صفحة 361-372 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7501 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Survivable network activation problems

    Nutov, Z., 2012, LATIN 2012: Theoretical Informatics - 10th Latin American Symposium, Proceedings. صفحة 594-605 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7256 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 363-364 2 صفحة (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 1-6 6 صفحة 6239348. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 147-157 11 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 6845 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 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. صفحة 199-200 2 صفحة (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 154-165 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 6534 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 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. صفحة 559-564 6 صفحة (SIGCSE'11 - Proceedings of the 42nd ACM Technical Symposium on Computer Science Education).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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, صفحة 569-578 10 صفحة (Proceedings of the Annual ACM Symposium on Theory of Computing).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Beating the Gilbert-Varshamov bound for online channels

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

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Cedalion: A Language for Language Oriented Programming

    Lorenz, D. H. & Rosenan, B., أكتوبر 2011, OOPSLA'11 - Proceedings of the 26th ACM International Conference on Object Oriented Programming Systems Languages and Applications. 10 طبعة المجلد 46. صفحة 733-752 20 صفحة (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Cedalion 101: "I Want My DSL Now"

    Lorenz, D. H. & Rosenan, B., أكتوبر 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. صفحة 29-30 2 صفحة (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Code reuse with language oriented programming

    Lorenz, D. & Rosenan, B., 1 يونيو 2011, Proceedings of the 12th International Conference on Software Reuse (ICSR12). Springer Verlag, المجلد 6727. صفحة 167-182 16 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 6727 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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. صفحة 225-235 11 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 7013 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Dynamic Hook points

    Acherkan, E., Hen-Tov, A., Lorenz, D. H., Schachter, L., Wirfs-Brock, R. & Yoder, J. W., 5 أكتوبر 2011, AsianPLoP 2011 - 2nd Asian Conference on Pattern Languages of Programs, Proceedings. Association for Computing Machinery, a1. (ACM International Conference Proceeding Series; المجلد 2011-October).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 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, صفحة 529-534 6 صفحة 5995566. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء