Department of Computer Science

Read more
401 - 410 out of 1,707Page size: 10
  1. 2017
  2. Published

    Irrational Guards are Sometimes Needed

    Abrahamsen, Mikkel, Adamaszek, A. & Miltzow, T., 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-15 3. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 77).

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

  3. Published

    Is writing style predictive of scientific fraud?

    Braud, C. E. & Søgaard, Anders, 2017, Proceedings of the Workshop on Stylistic VariationAssociation for Computational Linguistics. Association for Computational Linguistics, p. 37-42 6 p.

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

  4. Published

    Join inverse categories and reversible recursion

    Kaarsgaard, R., Axelsen, H. B. & Glück, Robert, 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  5. Published

    Learning How to Simplify From Explicit Labeling of Complex-Simplified Text Pairs

    Alva-Manchego, F., Bingel, J., Paetzold, G. H., Scarton, C. & Specia, L., 2017, Proceedings of the The 8th International Joint Conference on Natural Language Processing. Asian Federation of Natural Language Processing, p. 295–305

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

  6. Published

    Learning from graphs with structural variation

    Nielsen, R. K., Holm, Andreas Nugaard & Feragen, A., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 5 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  7. Published

    Learning from uncertain curves: The 2-Wasserstein metric for Gaussian processes

    Mallasto, A. & Feragen, A., 2017, Neural Information Processing Systems 2017. Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (eds.). NIPS Proceedings, 11 p. (Advances in Neural Information Processing Systems, Vol. 30).

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

  8. Published

    Lever: towards low-latency batched stream processing by pre-scheduling

    Chen, F., Wu, S., Jin, H., Yao, Y., Liu, Z., Gu, L. & Zhou, Yongluan, 2017, Proceedings of the 2017 Symposium on Cloud Computing. Association for Computing Machinery, p. 643-643 1 p.

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

  9. Published

    Local mean multiphase segmentation with HMMF models

    Hansen, J. D. K. & Lauze, Francois Bernard, 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 396-407 12 p. (Lecture notes in computer science, Vol. 10302).

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

  10. Published

    Loop quasi-invariant chunk detection

    Moyen, J., Rubiano, T. & Seiller, T., 2017, Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings. D'Souza, D. & Kumar, K. N. (eds.). Springer, p. 91-108 18 p. (Lecture notes in computer science, Vol. 10482).

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

  11. Published

    Loop quasi-invariant chunk motion by peeling with statement composition

    Moyen, J., Rubiano, T. & Seiller, T., 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 47-59 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

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

Previous 1...37 38 39 40 41 42 43 44 ...171 Next