מדעי המחשב

2016

Deterministic (δ + 1)-Coloring in Sublinear (in δ) Time in Static, Dynamic, and faulty networks

Barenboim, L., نوفمبر 2016, في: Journal of the ACM. 63, 5, 47.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

Distributed signaling games

Feldman, M., Tennenholtz, M. & Weinstein, O., 1 أغسطس 2016, 24th Annual European Symposium on Algorithms, ESA 2016. Zaroliagis, C. & Sankowski, P. (المحررون). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 41. (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 57).

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

Do we really need to collect millions of faces for effective face recognition?

Masi, I., Trân, A. T., Hassner, T., Leksut, J. T. & Medioni, G., 2016, Computer Vision - 14th European Conference, ECCV 2016, Proceedings. Leibe, B., Matas, J., Sebe, N. & Welling, M. (المحررون). Springer Verlag, صفحة 579-596 18 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 9909 LNCS).

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

دخول حر

Efficient Constrained Combinatorial Auctions

Lerner, A. & Gonen, R., 1 سبتمبر 2016, في: International Game Theory Review. 18, 3, 1650007.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

Efficient distinct heavy hitters for DNS DDoS attack detection

Afek, Y., Bremler-Barr, A., Cohen, E., Landau Feibish, S. & Shagam, M., 2016, (نَشْر مسبق في الإنترنت) 9 صفحة (arXiv preprint arXiv:1612.02636).

نتاج البحث: ورقة عمل / طبعة اولية › نسخة اولية

Face recognition using deep multi-pose representations

Abdalmageed, W., Wu, Y., Rawls, S., Harel, S., Hassner, T., Masi, I., Choi, J., Lekust, J., Kim, J., Natarajan, P., Nevatia, R. & Medioni, G., مارس 2016, 2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016. Institute of Electrical and Electronics Engineers Inc., صفحة 1 9 صفحة 7477555. (2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016).

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

Highly efficient de novo mutant identification in a Sorghum bicolor TILLING population using the ComSeq approach

Nida, H., Blum, S., Zielinski, D., Srivastava, D. A., Elbaum, R., Xin, Z., Erlich, Y., Fridman, E. & Shental, N., 1 مايو 2016, في: Plant Journal. 86, 4, صفحة 349-359 11 صفحة

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Identification and addressing reduction-related misconceptions

Gal-Ezer, J. & Trakhtenbrot, M., 2 يوليو 2016, في: Computer Science Education. 26, 2-3, صفحة 89-103 15 صفحة

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

Improved approximation algorithms for min-cost connectivity augmentation problems

Nutov, Z., 2016, Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. Woeginger, G. J. & Kulikov, A. S. (المحررون). Springer Verlag, صفحة 324-339 16 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 9691).

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

Individual privacy in social influence networks

Hajian, S., Tassa, T. & Bonchi, F., 1 ديسمبر 2016, في: Social Network Analysis and Mining. 6, 1, صفحة 1-14 14 صفحة, 2.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

In search of the role’s footprints in client-therapist dialogues

Lerner, A., Silber-Varod, V., Batista, F. & Moniz, H., 2016, في: Proceedings of the International Conference on Speech Prosody. 2016-January, صفحة 400-404 5 صفحة

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

دخول حر

LATCH: Learned arrangements of three patch codes

Levi, G. & Hassner, T., 23 مايو 2016, 2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016. Institute of Electrical and Electronics Engineers Inc., 7477723. (2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016).

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

دخول حر

LP-relaxations for tree augmentation

Kortsarz, G. & Nutov, Z., 1 سبتمبر 2016, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 19th International Workshop, APPROX 2016 and 20th International Workshop, RANDOM 2016. Jansen, K., Mathieu, C., Rolim, J. D. P. & Umans, C. (المحررون). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 60).

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

Mechanism design with strategic mediators

Babaioff, M., Feldman, M. & Tennenholtz, M., يناير 2016, في: ACM Transactions on Economics and Computation. 4, 2, 7.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Memory-Aware Management for Heterogeneous Main Memory Using an Optimization of the Aging Paging Algorithm

Oren, G., Barenboim, L. & Amar, L., 23 سبتمبر 2016, Proceedings - 45th International Conference on Parallel Processing Workshops, ICPPW 2016. Institute of Electrical and Electronics Engineers Inc., صفحة 98-105 8 صفحة 7576458. (Proceedings of the International Conference on Parallel Processing Workshops; المجلد 2016-September).

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

On Fixed Cost k-Flow Problems

Hajiaghayi, M. T., Khandekar, R., Kortsarz, G. & Nutov, Z., 1 يناير 2016, في: Theory of Computing Systems. 58, 1, صفحة 4-18 15 صفحة

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

Pooling Faces: Template Based Face Recognition with Pooled Face Images

Hassner, T., Masi, I., Kim, J., Choi, J., Harel, S., Natarajan, P. & Medioni, G., 16 ديسمبر 2016, Proceedings - 29th IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2016. IEEE Computer Society, صفحة 127-135 9 صفحة 7789513. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

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

دخول حر

Preserving privacy in region optimal DCOP algorithms

Tassa, T., Zivan, R. & Grinshpoun, T., 2016, في: IJCAI International Joint Conference on Artificial Intelligence. 2016-January, صفحة 496-502 7 صفحة

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

Privacy preserving computations for viral marketing: The case of rational players

Gonen, R. & Tassa, T., 14 ديسمبر 2016, Proceedings - 2016 11th International Conference on Availability, Reliability and Security, ARES 2016. Institute of Electrical and Electronics Engineers Inc., صفحة 677-686 10 صفحة 7784633. (Proceedings - 2016 11th International Conference on Availability, Reliability and Security, ARES 2016).

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

Proceedings of the Modularity 2016 Workshop on Language Modularity À La Mode (LaMOD'16)

Khatchadourian, R. (محرر), Lorenz, D. H. (محرر) & Noyé, J. (محرر), 1 مارس 2016, Association for Computing Machinery.

نتاج البحث: كتاب / تقرير › مقتطفات

P-SyncBB: A privacy preserving branch and bound DCOP algorithm

Grinshpoun, T. & Tassa, T., 1 ديسمبر 2016, في: Journal of Artificial Intelligence Research. 57, صفحة 621-660 40 صفحة

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Reduction patterns - A practical tool for proving undecidability

Gal-Ezer, J., 11 يوليو 2016, ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, صفحة 355 1 صفحة (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; المجلد 11-13-July-2016).

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

Speech prosody as a biosignal for physical pain detection

Oshrat, Y., Bloch, A., Lerner, A., Cohen, A., Avigal, M. & Zeilig, G., 2016, في: Proceedings of the International Conference on Speech Prosody. 2016-January, صفحة 420-424 5 صفحة

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

Texture instance similarity via dense correspondences

Hassner, T., Saban, G. & Wolf, L., 23 مايو 2016, 2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016. Institute of Electrical and Electronics Engineers Inc., 7477724. (2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016).

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

The CUDA LATCH binary descriptor: Because sometimes faster means better

Parker, C., Daiter, M., Omar, K., Levi, G. & Hassner, T., 2016, Computer Vision – ECCV 2016 Workshops, Proceedings. Hua, G. & Jegou, H. (المحررون). Springer Verlag, صفحة 685-697 13 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 9915 LNCS).

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

دخول حر

The locality of distributed symmetry breaking

Barenboim, L., Elkin, M., Pettie, S. & Schneider, J., يونيو 2016, في: Journal of the ACM. 63, 3, 20.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Toward disposable domain-specific aspect languages

Hadas, A. & Lorenz, D. H., 14 مارس 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Batory, D., Fuentes, L. & Czarnecki, K. (المحررون). Association for Computing Machinery, Inc, صفحة 83-85 3 صفحة (MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity).

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

Toward practical language oriented modularity

Hadas, A. & Lorenz, D. H., 14 مارس 2016, MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity. Batory, D., Fuentes, L. & Czarnecki, K. (المحررون). Association for Computing Machinery, Inc, صفحة 94-98 5 صفحة (MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity).

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

Universal dependencies v1: A multilingual treebank collection

Nivre, J., De Marneffe, M. C., Ginter, F., Goldberg, Y., Hajič, J., Manning, C. D., McDonald, R., Petrov, S., Pyysalo, S., Silveira, N., Tsarfaty, R. & Zeman, D., 2016, Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016. Calzolari, N., Choukri, K., Mazo, H., Moreno, A., Declerck, T., Goggi, S., Grobelnik, M., Odijk, J., Piperidis, S., Maegaard, B. & Mariani, J. (المحررون). European Language Resources Association (ELRA), صفحة 1659-1666 8 صفحة (Proceedings of the 10th International Conference on Language Resources and Evaluation, LREC 2016).

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

פרויקט מסכם בהנדסת תוכנה: מדריך למידה

Lorenz, D. H. & Meshali, O., 2016, רעננה: Open Univeristy of Israel. 139 صفحة

نتاج البحث: كتاب / تقرير › كتاب

2015

A 3/2-approximation algorithm for augmenting the edge-connectivity of a graph from 1 to 2 using a subset of a given edge set (Extended abstract)

Even, G., Feldman, J., Kortsarz, G. & Nutov, Z., 2015, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 4th International Workshop on Approximation, Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Proceedings. Trevisan, L., Jansen, K., Goemans, M. & Rolim, J. D. P. (المحررون). Springer Verlag, صفحة 90-101 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 2129).

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

A Characterization of the Number of Subsequences Obtained via the Deletion Channel

Liron, Y. & Langberg, M., 1 مايو 2015, في: IEEE Transactions on Information Theory. 61, 5, صفحة 2300-2312 13 صفحة, 7061929.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

A fast network-decomposition algorithm and its applications to constant-time distributed computation: (Extended abstract)

Barenboim, L., Elkin, M. & Gavoille, C., 2015, Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Post-Proceedings. Scheideler, C. (محرر). Springer Verlag, صفحة 209-223 15 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 9439).

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

دخول حر

Age and gender classification using convolutional neural networks

Levi, G. & Hassncer, T., 19 أكتوبر 2015, 2015 IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2015. IEEE Computer Society, صفحة 34-42 9 صفحة 7301352. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops; المجلد 2015-October).

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

A language workbench for implementing your favorite extension to AspectJ

Hadas, A. & Lorenz, D. H., 16 مارس 2015, 14th International Conference on Modularity, MODULARITY Companion 2015 - Proceedings. Association for Computing Machinery, صفحة 19-20 2 صفحة (ACM International Conference Proceeding Series; المجلد 2015-March).

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

An Equivalence Between Network Coding and Index Coding

Effros, M., El Rouayheb, S. & Langberg, M., 1 مايو 2015, في: IEEE Transactions on Information Theory. 61, 5, صفحة 2478-2487 10 صفحة, 7064720.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

A node-capacitated Okamura–Seymour theorem

Lee, J. R., Mendel, M. & Moharrami, M., 22 نوفمبر 2015, في: Mathematical Programming. 153, 2, صفحة 381-415 35 صفحة

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Approximating minimum power edge-multi-covers

Cohen, N. & Nutov, Z., 1 أكتوبر 2015, في: Journal of Combinatorial Optimization. 30, 3, صفحة 563-578 16 صفحة

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Approximating Steiner trees and forests with minimum number of Steiner points

Cohen, N. & Nutov, Z., 2015, Approximation and Online Algorithms - 12th International Workshop, WAOA 2014, Revised Selected Papers. Svensson, O. & Bampis, E. (المحررون). Springer Verlag, صفحة 95-106 12 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 8952).

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

دخول حر

A simplified 1.5-approximation algorithm for augmenting edge-connectivity of a graph from 1 to 2

Kortsarz, G. & Nutov, Z., نوفمبر 2015, في: ACM Transactions on Algorithms. 12, 2, 23.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Assessing the assessment - Insights into CS1 exams

Zur, E. & Vilner, T., 17 فبراير 2015, في: Proceedings - Frontiers in Education Conference, FIE. 2015-February, February, 7044330.

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

Autocratic Mechanisms: A Form of Dictatorship in Constrained Combinatorial Auctions

Lerner, A. & Gonen, R., 1 ديسمبر 2015, في: International Game Theory Review. 17, 4, 1550010.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

Coded Cooperative Data Exchange Problem for General Topologies

Gonen, M. & Langberg, M., أكتوبر 2015, في: IEEE Transactions on Information Theory. 61, 10, صفحة 5656-5669 14 صفحة, 7161355.

نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء

دخول حر

Demanding first-class equality for domain specific aspect languages

Hadas, A. & Lorenz, D. H., 16 مارس 2015, 14th International Conference on Modularity, MODULARITY Companion 2015 - Proceedings. Association for Computing Machinery, صفحة 35-38 4 صفحة (ACM International Conference Proceeding Series; المجلد 2015-March).

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

Dense, scale-less descriptors

Hassner, T., Mayzels, V. & Zelnik-Manor, L., 1 يناير 2015, Dense Image Correspondences for Computer Vision. Springer International Publishing, صفحة 51-70 20 صفحة

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

Dense correspondences and ancient texts

Hassner, T., Wolf, L., Dershowitz, N., Sadeh2, G. & Stökl Ben-Ezra, D., 1 يناير 2015, Dense Image Correspondences for Computer Vision. Springer International Publishing, صفحة 279-295 17 صفحة

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

Dense image correspondences for computer vision

Hassner, T. & Liu, C., 1 يناير 2015, Springer International Publishing. 295 صفحة

نتاج البحث: كتاب / تقرير › كتاب › مراجعة النظراء

Deterministic (Δ + 1)-Coloring in sublinear (in Δ) Time in static, dynamic and faulty networks

Barenboim, L., 21 يوليو 2015, PODC 2015 - Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, صفحة 345-354 10 صفحة (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing; المجلد 2015-July).

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

Effective face frontalization in unconstrained images

Hassner, T., Harel, S., Paz, E. & Enbar, R., 14 أكتوبر 2015, IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2015. IEEE Computer Society, صفحة 4295-4304 10 صفحة 7299058. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; المجلد 07-12-June-2015).

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

دخول حر

Emotion recognition in the wild via convolutional neural networks and mapped binary patterns

Levi, G. & Hassner, T., 9 نوفمبر 2015, ICMI 2015 - Proceedings of the 2015 ACM International Conference on Multimodal Interaction. Association for Computing Machinery, Inc, صفحة 503-510 8 صفحة (ICMI 2015 - Proceedings of the 2015 ACM International Conference on Multimodal Interaction).

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

מדעי המחשב

نتاج البحث

نتائج البحث