Research Output

Filter
Conference contribution
2014

An information extraction customizer

Grishman, R. & He, Y., Jan 1 2014, Text, Speech, and Dialogue - 17th International Conference, TSD 2014, Proceedings. Springer Verlag, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8655 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A subdivision approach to weighted voronoi diagrams

Bennett, H., Papadopoulou, E. & Yap, C., 2014, 24th Annual Fall Workshop on Computational Geometry (FWCG). Oct. 31- Nov. 1, 2014. University of Connecticut, Storrs.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A tale of two solvers: Eager and lazy approaches to bit-vectors

Hadarean, L., Bansal, K., Jovanović, D., Barrett, C. & Tinelli, C., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 680-695 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automating separation logic with trees and data

Piskac, R., Wies, T. & Zufferey, D., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 711-728 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Building a scalable multimedia search engine using infiniband

Chen, Q., Liao, Y., Mitchell, C., Li, J. & Xiao, Z., 2014, USENIX workshop on hot topics in cloud computing: (HotCloud).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cascade 2.0

Wang, W., Barrett, C. & Wies, T., 2014, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, Proceedings. Springer Verlag, Vol. 8318 LNCS. p. 142-160 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8318 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Channel model for millimeter-wave communications based on geometry statistics

Li, Q. C., Wu, G. & Rappaport, T., Mar 18 2014, 2014 IEEE Globecom Workshops, GC Wkshps 2014. Institute of Electrical and Electronics Engineers Inc., p. 427-432 6 p. 7063469

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Classifying and visualizing motion capture sequences using deep neural networks

Cho, K. & Chen, X., Jan 1 2014, VISAPP 2014 - Proceedings of the 9th International Conference on Computer Vision Theory and Applications. SciTePress, p. 122-130 9 p. (VISAPP 2014 - Proceedings of the 9th International Conference on Computer Vision Theory and Applications; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cognitive disconnect: Understanding facebook connect login permissions

Robinson, N. & Bonneau, J., Oct 1 2014, COSN 2014 - Proceedings of the 2014 ACM Conference on Online Social Networks. Association for Computing Machinery, Inc, p. 247-258 12 p. (COSN 2014 - Proceedings of the 2014 ACM Conference on Online Social Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Concolic fault localization

Oh, C., Schaf, M., Schwartz-Narbonne, D. & Wies, T., Dec 4 2014, Proceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014. Institute of Electrical and Electronics Engineers Inc., p. 135-144 10 p. 6975647. (Proceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Conditional swap regret and conditional correlated equilibrium

Mohri, M. & Yang, S., 2014, Advances in Neural Information Processing Systems. January ed. Neural information processing systems foundation, Vol. 2. p. 1314-1322 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cyber security via signaling games: Toward a science of cyber security

Casey, W., Morales, J. A., Nguyen, T., Spring, J., Weaver, R., Wright, E., Metcalf, L. & Mishra, B., 2014, Distributed Computing and Internet Technology - 10th International Conference, ICDCIT 2014, Proceedings. Springer Verlag, Vol. 8337 LNCS. p. 34-42 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8337 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deep boosting

Cortes, C., Mohri, M. & Syed, U., Jan 1 2014, 31st International Conference on Machine Learning, ICML 2014. International Machine Learning Society (IMLS), p. 2917-2930 14 p. (31st International Conference on Machine Learning, ICML 2014; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Depth map prediction from a single image using a multi-scale deep network

Eigen, D., Puhrsch, C. & Fergus, R., 2014, Advances in Neural Information Processing Systems. January ed. Neural information processing systems foundation, Vol. 3. p. 2366-2374 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Digital immolation: New directions for online protest

Bonneau, J., Jan 1 2014, Security Protocols XVIII - 18th International Workshop, Revised Selected Papers. Christianson, B. & Malcolm, J. (eds.). Springer Verlag, p. 25-33 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Digital immolation (Transcript of discussion)

Bonneau, J., Jan 1 2014, Security Protocols XVIII - 18th International Workshop, Revised Selected Papers. Christianson, B. & Malcolm, J. (eds.). Springer Verlag, p. 34-44 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dissecting web latency in Ghana

Zaki, Y., Chen, J., Pötsch, T., Ahmad, T. & Subramanian, L., Nov 5 2014, IMC 2014 - Proceedings of the 2014 ACM. Association for Computing Machinery, p. 241-247 7 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Don't until the final verb wait: Reinforcement learning for simultaneous machine translation

Grissom, A. C., Boyd-Graber, J., He, H., Morgan, J. & Daumé, H., Jan 1 2014, EMNLP 2014 - 2014 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1342-1352 11 p. (EMNLP 2014 - 2014 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Dynamic package interfaces

Esmaeilsabzali, S., Majumdar, R., Wies, T. & Zufferey, D., Jan 1 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 261-275 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8411 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ellipses from triangles

Cicconet, M., Gunsalus, K., Geiger, D. & Werman, M., Jan 28 2014, 2014 IEEE International Conference on Image Processing, ICIP 2014. Institute of Electrical and Electronics Engineers Inc., p. 3626-3630 5 p. 7025736

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Empirical evaluation of gated recurrent neural networks on sequence modeling

Chung, J., Gulcehre, C., Cho, K. & Bengio, Y., 2014, NIPS 2014 Workshop on Deep Learning, December 2014.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Employing word representations and regularization for domain adaptation of relation extraction

Nguyen, T. H. & Grishman, R., Jan 1 2014, Long Papers. Association for Computational Linguistics (ACL), p. 68-74 7 p. (52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014 - Proceedings of the Conference; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

End-to-end continuous speech recognition using attention-based recurrent nn: First results

Chorowski, J., Bahdanau, D., Cho, K. & Bengio, Y., 2014, NIPS 2014 Workshop on Deep Learning, December 2014.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ensemble methods for structured prediction

Cortes, C., Kuznetsov, V. & Mohri, M., Jan 1 2014, 31st International Conference on Machine Learning, ICML 2014. International Machine Learning Society (IMLS), p. 2856-2872 17 p. (31st International Conference on Machine Learning, ICML 2014; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Evaluation of empirical ray-tracing model for an urban outdoor scenario at 73 GHz E-band

Nguyen, H. C., Maccartney, G. R., Thomas, T., Rappaport, T. S., Vejlgaard, B. & Mogensen, P., Nov 24 2014, 2014 IEEE 80th Vehicular Technology Conference, VTC2014-Fall, Proceedings. Institute of Electrical and Electronics Engineers Inc., 6965971. (IEEE Vehicular Technology Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Exploiting linear structure within convolutional networks for efficient evaluation

Denton, E., Zaremba, W., Bruna, J., LeCun, Y. & Fergus, R., 2014, Advances in Neural Information Processing Systems. January ed. Neural information processing systems foundation, Vol. 2. p. 1269-1277 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Extracting more con-currency from distributed transactions

Mu, S., Cui, Y., Zhang, Y., Lloyd, W. & Li, J., 2014, 11th USENIX symposium on operating systems deign and implementation: (OSDI'14).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Extraction of (key,value) pairs from unstructured ads

Chakraborty, S., Subramanian, L. & Nyarko, Y., 2014, Natural Language Access to Big Data - Papers from the AAAI Fall Symposium, Technical Report. AI Access Foundation, Vol. FS-14-06. p. 10-17 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fast algorithms for constructing maximum entropy summary trees

Cole, R. & Karloff, H., Jan 1 2014, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Proceedings. PART 1 ed. Springer Verlag, p. 332-343 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8572 LNCS, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Finding minimum type error sources

Pavlinovic, Z., King, T. & Wies, T., Oct 15 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Association for Computing Machinery, p. 525-542 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Generalization bounds for time series prediction with non-stationary processes

Kuznetsov, V. & Mohri, M., Jan 1 2014, Algorithmic Learning Theory - 25th International Conference, ALT 2014, Proceedings. Clark, A., Zeugmann, T., Zilles, S. & Auer, P. (eds.). Springer Verlag, p. 260-274 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8776).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

GRASShopper: Complete heap verification with mixed specifications

Piskac, R., Wies, T. & Zufferey, D., Jan 1 2014, Tools and Algorithms for the Construction and Analysis of Systems - 20th Int. Conf., TACAS 2014, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8413 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardness of coloring 2-colorable 12-uniform hypergraphs with 2(logn}ω(1) colors

Khot, S. & Saket, R., Dec 7 2014, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS. IEEE Computer Society, p. 206-215 10 p. 6979005. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hardness of finding independent sets in 2-colorable and almost 2-colorable hypergraphs

Khot, S. & Saket, R., Jan 1 2014, Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014. Association for Computing Machinery, p. 1607-1625 19 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hierarchical topographic factor analysis

Manning, J. R., Ranganath, R., Keung, W., Turk-Browne, N. B., Cohen, J. D., Norman, K. A. & Blei, D. M., Jan 1 2014, Proceedings - 2014 International Workshop on Pattern Recognition in Neuroimaging, PRNI 2014. IEEE Computer Society, 6858530. (Proceedings - 2014 International Workshop on Pattern Recognition in Neuroimaging, PRNI 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

How to construct deep recurrent neural networks

Pascanu, R., Gulcehre, C., Cho, K. & Bengio, Y., 2014, Proceedings of the Second International Conference on Learning Representations (ICLR 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

How to eat your entropy and have it too - Optimal recovery strategies for compromised RNGs

Dodis, Y., Shamir, A., Stephens-Davidowitz, N. & Wichs, D., Jan 1 2014, Advances in Cryptology, CRYPTO 2014 - 34th Annual Cryptology Conference, Proceedings. PART 2 ed. Springer Verlag, p. 37-54 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8617 LNCS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Infusion of labeled data into distant supervision for relation extraction

Pershina, M., Min, B., Xu, W. & Grishman, R., Jan 1 2014, Long Papers. Association for Computational Linguistics (ACL), p. 732-738 7 p. (52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014 - Proceedings of the Conference; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Instance segmentation of indoor scenes using a coverage loss

Silberman, N., Sontag, D. & Fergus, R., Jan 1 2014, Computer Vision, ECCV 2014 - 13th European Conference, Proceedings. PART 1 ed. Springer Verlag, p. 616-631 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8689 LNCS, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interactive encryption and message authentication

Dodis, Y. & Fiore, D., Jan 1 2014, Security and Cryptography for Networks - 9th International Conference, SCN 2014, Proceedings. de Prisco, R. & Abdalla, M. (eds.). Springer Verlag, p. 494-513 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8642).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Isotopic arrangement of simple curves: An exact numerical approach based on subdivision

Lien, J. M., Sharma, V., Vegter, G. & Yap, C., Jan 1 2014, Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, p. 277-282 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Iterative neural autoregressive distribution estimator (NADE-k)

Raiko, T., Yao, L., Cho, K. & Bengio, Y., 2014, Advances in Neural Information Processing Systems. January ed. Neural information processing systems foundation, Vol. 1. p. 325-333 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Jargon-term extraction by chunking

Meyers, A., Glass, Z., Grieve-Smith, A., He, Y., Liao, S. & Grishman, R., 2014, Workshop on Synchronic and Diachronic Approaches to Analyzing Technical Language at COLING 2014.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Joint training of a convolutional network and a graphical model for human pose estimation

Tompson, J., Jain, A., LeCun, Y. & Bregler, C., 2014, Advances in Neural Information Processing Systems. January ed. Neural information processing systems foundation, Vol. 2. p. 1799-1807 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Key derivation without entropy waste

Dodis, Y., Pietrzak, K. & Wichs, D., Jan 1 2014, Advances in Cryptology, EUROCRYPT 2014 - 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Springer Verlag, p. 93-110 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8441 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learned-norm pooling for deep feedforward and recurrent neural networks

Gulcehre, C., Cho, K., Pascanu, R. & Bengio, Y., Jan 1 2014, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2014, Proceedings. PART 1 ed. Springer Verlag, p. 530-546 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8724 LNAI, no. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning ensembles of structured prediction rules

Cortes, C., Kuznetsov, V. & Mohri, M., Jan 1 2014, Long Papers. Association for Computational Linguistics (ACL), p. 1-12 12 p. (52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014 - Proceedings of the Conference; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning phrase representations using RNN encoder-decoder for statistical machine translation

Cho, K., van Merrienboer, B., Gulcehre, C., Bougares, F., Schwenk, H. & Bengio, Y., 2014, Conference on Empirical Methods in Natural Language Processing (EMNLP 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning theory and algorithms for revenue optimization in second-price auctions with reserve

Mohri, M. & Medina, A. M., Jan 1 2014, 31st International Conference on Machine Learning, ICML 2014. International Machine Learning Society (IMLS), p. 443-451 9 p. (31st International Conference on Machine Learning, ICML 2014; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Learning to discover efficient mathematical identities

Zaremba, W., Kurach, K. & Fergus, R., 2014, Advances in Neural Information Processing Systems. January ed. Neural information processing systems foundation, Vol. 2. p. 1278-1286 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution