מדעי המחשב

תוצאות חיפוש

  • 2012

    A practical approximation algorithm for optimal k-anonymity

    Kenig, B. & Tassa, T., יולי 2012, ב-: Data Mining and Knowledge Discovery. 25, 1, עמוד 134-168 35 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Finding all maximally-matchable edges in a bipartite graph

    Tassa, T., 16 מרץ 2012, ב-: Theoretical Computer Science. 423, עמוד 50-58 9 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • f-sensitivity distance oracles and routing schemes

    Chechik, S., Langberg, M., Peleg, D. & Roditty, L., 1 אוג׳ 2012, ב-: Algorithmica. 63, 4, עמוד 861-882 22 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • 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 approximation algorithms for Directed Steiner Forest

    Feldman, M., Kortsarz, G. & Nutov, Z., ינו׳ 2012, ב-: Journal of Computer and System Sciences. 78, 1, עמוד 279-292 14 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • Improved approximation algorithms for maximum lifetime problems in wireless networks

    Nutov, Z. & Segal, M., 28 ספט׳ 2012, ב-: Theoretical Computer Science. 453, עמוד 88-97 10 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית

  • Injecting uncertainty in graphs for identity obfuscation

    Boldi, P., Bonchi, F., Gionis, A. & Tassa, T., יולי 2012, ב-: Proceedings of the VLDB Endowment. 5, 11, עמוד 1376-1387 12 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • K-concealment: An alternative model of k-type anonymity

    Tassa, T., Mazza, A. & Gionis, A., אפר׳ 2012, ב-: Transactions on Data Privacy. 5, 1, עמוד 189-222 34 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Limiting disclosure of sensitive data in sequential releases of databases

    Shmueli, E., Tassa, T., Wasserstein, R., Shapira, B. & Rokach, L., 15 מאי 2012, ב-: Information Sciences. 191, עמוד 98-127 30 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • MISS'12 chairs' welcome

    Borchert, C., Haupt, M., Lohmann, D. & Lorenz, D., 2012, ב-: MISS'12 - Proceedings of the 2012 Workshop on Modularity in Systems Software. עמוד iii

    פרסום מחקרי: פרסום בכתב עת › מאמר מערכת

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית

  • Multi-axis High-order Trajectory Planning

    Ezair, B., Tassa, T. & Shiller, Z., אוק׳ 2012, עמוד 73-78. 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • On the Hausdorff dimension of ultrametric subsets in R n

    Lee, J. R., Mendel, M. & Moharrami, M., 2012, ב-: Fundamenta Mathematicae. 218, 3, עמוד 285-290 6 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • Prize-collecting steiner network problems

    Hajiaghayi, M., Khandekar, R., Kortsarz, G. & Nutov, Z., דצמ׳ 2012, ב-: ACM Transactions on Algorithms. 9, 1, 2.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • Proceedings of the Second AOSD 2012 Workshop on Modularity in Systems Software (MISS'12)

    Borchert, C. (עורך), Haupt, M. (עורך), Lohmann, D. (עורך) & Lorenz, D. H. (עורך), 1 מרץ 2012, New York: Association for Computing Machinery.

    פרסום מחקרי: ספר / דוח › אנתולוגיה › ביקורת עמיתים

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Secure distributed computation of anonymized views of shared databases

    Tassa, T. & Gudes, E., מאי 2012, ב-: ACM Transactions on Database Systems. 37, 2, 11.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • Secure Network Coding: Bounds and Algorithms for Secret and Reliable Communications

    Jaggi, S. & Langberg, M., 2012, Network Coding: Fundamentals and Applications. Elsevier Inc., עמוד 183-215 33 עמוד

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים

  • 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 action similarity labeling challenge

    Kliper-Gross, O., Hassner, T. & Wolf, L., 2012, ב-: IEEE Transactions on Pattern Analysis and Machine Intelligence. 34, 3, עמוד 615-621 7 עמוד, 6042884.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • שפות תכנות

    Lorenz, D., 2012, רעננה: האוניברסיטה הפתוחה.

    פרסום מחקרי: ספר / דוח › ספר

  • שפת פרולוג והיבטים לבינה מלאכותית

    ⁨בס, א.⁩, ⁨גוגנהיימר, י.⁩, Gal-Ezer, J., ⁨קורן, י.⁩ & ⁨רוזנטל, ת.⁩, 2012, האוניברסיטה הפתוחה.

    פרסום מחקרי: ספר / דוח › ספר › ביקורת עמיתים

  • 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 1.5-approximation algorithm for augmenting edge-connectivity of a graph from 1 to 2

    Even, G., Kortsarz, G. & Nutov, Z., 15 פבר׳ 2011, ב-: Information Processing Letters. 111, 6, עמוד 296-300 5 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • A Comparative Case Study of Code Reuse With Language Oriented Programming

    Lorenz, D. H. & Rosenan, B., 1 מרץ 2011, (CoRR).

    פרסום מחקרי: נייר עבודה / גרסה מוקדמת › גרסה מוקדמת

    גישה חופשית

  • Approximate nearest subspace search

    Basri, R., Hassner, T. & Zelnik-Manor, L., 2011, ב-: IEEE Transactions on Pattern Analysis and Machine Intelligence. 33, 2, עמוד 266-278 13 עמוד, 5477422.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • Approximating directed weighted-degree constrained networks

    Nutov, Z., 4 מרץ 2011, ב-: Theoretical Computer Science. 412, 8-10, עמוד 901-912 12 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • Approximating minimum-power degree and connectivity problems

    Kortsarz, G., Mirrokni, V. S., Nutov, Z. & Tsanko, E., אוג׳ 2011, ב-: Algorithmica. 60, 4, עמוד 735-742 8 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

  • Approximating some network design problems with node costs

    Kortsarz, G. & Nutov, Z., 12 אוג׳ 2011, ב-: Theoretical Computer Science. 412, 35, עמוד 4482-4492 11 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • 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).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית

  • Approximating survivable networks with β-metric costs

    David, J. & Nutov, Z., יוני 2011, ב-: Journal of Discrete Algorithms. 9, 2, עמוד 170-175 6 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • 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, ב-: ACM SIGPLAN Notices. 46, 10, עמוד 733–752

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים