Department of Computer Science

  1. 2017
  2. Published

    Fast and Compact Exact Distance Oracle for Planar Grap

    Cohen-Addad, V. P., Dahlgaard, S. & Wulff-Nilsen, Christian, 2017, 2017 IEEE 58th Annual IEEE Symposium on Foundations of Computer Science (FOcS). IEEE, p. 962-973

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Published

    Fast and powerful hashing using tabulation

    Thorup, Mikkel, 2017, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Chatzigiannakis, I., Indyk, P., Kuhn, F. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2 p. 4. (Leibniz International Proceedings in Informatics, Vol. 80).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  4. Published

    Fast similarity sketching

    Dahlgaard, S., Knudsen, M. B. T. & Thorup, Mikkel, 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 663-671 9 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Fostering cooperative activism through critical design

    Menendez Blanco, M., Bjorn, Pernille & De Angeli, A., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 618-629 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    From Thesaurus to Framenet

    Nimb, S., Braasch, Anna, Olsen, Sussi, Pedersen, Bolette Sandford & Søgaard, Anders, 2017, Electronic Lexicography in the 21st Century : Proceedings of eLex 2017 conference. Kosem, I., Tiberius, C., Jakubíček, M., Kallas, J., Krek, S. & Baisa, V. (eds.). Lexical Computing CZ, p. 1-22 23 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  7. Published

    From prototype to product: making participatory design of mHealth commercially viable

    Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn & Moll, J., 2017, Participatory design and health information technology. Kanstrup, A. M., Bygholm, A., Bertelsen, P. & Nøhr, C. (eds.). IOS Press, p. 95-112 18 p. (Studies in Health Technology and Informatics, Vol. 233).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  8. Published

    Fully-dynamic minimum spanning forest with improved worst-case update time

    Wulff-Nilsen, Christian, 2017, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 1130-1143 14 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

    Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Generating and checking control logic in the HDL-based design of reversible circuits

    Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, p. 7-12 6 p. 7977045

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. Published

    Generating haptic textures with a vibrotactile actuator

    Strohmeier, P. & Hornbæk, Kasper, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 4994-5005 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  12. Published

    Geometries and interpolations for symmetric positive definite matrices

    Feragen, A. & Fuster, A., 2017, Modeling, analysis, and visualization of anisotropy. Schultz, T., Özarslan, E. & Hotz, I. (eds.). Springer, p. 85-113 29 p. (Mathematics and Visualization).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  13. Published

    Growing the Blockchain information infrastructure

    Jabbar, K. & Bjorn, Pernille, 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 6487-6498 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  14. Published

    Hardness of deriving invertible sequences from finite state machines

    Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Springer, p. 147-160 14 p. (Lecture notes in computer science, Vol. 10139).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  15. Published

    Huntsville, hospitals, and hockey teams: Names can reveal your location

    Salehi, B., Hovy, D., Hovy, E. & Søgaard, Anders, 2017, Proceedings of the 3rd Workshop on Noisy User-generated Text. Association for Computational Linguistics, p. 161-121

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  16. Published

    Hybrid LSH: faster near neighbors reporting in high-dimensional space

    Pham, D. N., 2017, Advances in Database Technology — EDBT 2017: proceedings of the 20th International Conference on Extending Database Technology. Markl, V., Orlando, S., Mitschang, B., Andritsos, P., Sattler, K-U. & Breß, S. (eds.). OpenProceedings.org, p. 454-457 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  17. Published

    Identifying beneficial task relations for multi-task learning in deep neural networks

    Bingel, J. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: volume 2, short papers. Association for Computational Linguistics, Vol. 2. p. 164-169 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  18. Published

    Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  19. Published

    Inverse kinematics problems with exact Hessian matrices

    Erleben, Kenny & Andrews, S., 2017, Proceedings of the Tenth International Conference on Motion in Games. Association for Computing Machinery, 6 p. 14

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  20. 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 proceedingArticle in proceedingsResearchpeer-review

  21. 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 proceedingArticle in proceedingsResearchpeer-review

  22. 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 proceedingArticle in proceedingsResearchpeer-review

  23. 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 proceedingArticle in proceedingsResearchpeer-review

  24. 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 proceedingArticle in proceedingsResearchpeer-review

  25. 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 proceedingConference abstract in proceedingsResearchpeer-review

  26. 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 proceedingArticle in proceedingsResearchpeer-review

Previous 1...4 5 6 7 8 9 10 11 ...33 Next