Department of Computer Science

Read more
71 - 80 out of 824Page size: 10
Sort by: Title
  1. Published

    An in-depth study of sparse codes on abnormality detection

    Ren, H., Pan, H., Olsen, Søren Ingvor, Jensen, M. B. & Moeslund, T. B., 2016, 2016 13th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS). IEEE, p. 66-72 7 p. 7738016

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

  2. Published

    An in-place priority queue with O(1) Time for Push and lg n + O(1) comparisons for pop

    Edelkamp, S., Elmasry, A. & Katajainen, J., 2015, Computer science - theory and applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Beklemishev, L. D. & Musatov, D. V. (eds.). Springer, p. 204-218 15 p. (Lecture notes in computer science, Vol. 9139).

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

  3. Published

    An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

    Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). arxiv.org, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 341).

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

  4. Published

    An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

    Mogensen, Torben Ægidius, 2001, publisher. Springer, p. 205-213

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

  5. Published

    An optimal algorithm computing edge-to-edge visibility in a simple polygon

    Abrahamsen, Mikkel, 2013, Proceedings of the 25th Canadian Conference on Computational Geometry: CCCG 2013. p. 157-162 6 p.

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

  6. Published

    Analysing the distribution of synaptic vesicles using a spatial point process model

    Khanmohammadi, M., Waagepetersen, R., Nava, N., Nyengaard, J. & Sporring, Jon, 2014, Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, p. 73-78 6 p.

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

  7. Published

    Analyzing users' narratives to understand experience with interactive products

    Tuch, A. N., Trusell, R. & Hornbæk, Kasper, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '13). Association for Computing Machinery, p. 2079-2088 10 p.

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

  8. Published

    Anisotropic distributions on manifolds: template estimation and most probable paths

    Sommer, Stefan Horst, 2015, Information processing in medical imaging: 24th International Conference, IPMI 2015, Sabhal Mor Ostaig, Isle of Skye, UK, June 28 - July 3, 2015, Proceedings. Ourselin, S., Alexander, D. C., Westin, C-F. & Cardoso, M. J. (eds.). Springer, p. 193-204 12 p. (Lecture notes in computer science, Vol. 9123).

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

  9. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  10. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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