Department of Computer Science

Read more
276 - 300 out of 1,702Page size: 25
Sort by: Title
  1. Published

    Branchless search programs

    Elmasry, A. & Katajainen, J., 2013, Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings. Bonifaci, V., Demetrescu, C. & Marchetti-Spaccamela, A. (eds.). Springer, p. 127-138 12 p. (Lecture notes in computer science, Vol. 7933).

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

  2. Published

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.

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

  3. Published

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

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

  4. Published

    Breast density scoring with multiscale denoising autoencoders

    Petersen, P. K., Chernoff, K., Nielsen, Mads & Ng, A. Y., 2012. 8 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  5. Published

    Breast tissue segmentation and mammographic risk scoring using deep learning

    Petersen, P. K., Nielsen, Mads, Diao, P., Karssemeijer, N. & Lillholm, Martin, 2014, Breast imaging: 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29 – July 2, 2014. Proceedings. Fujita, H., Hara, T. & Muramatsu, C. (eds.). Springer Science+Business Media, p. 88-94 7 p. (Lecture notes in computer science, Vol. 8539).

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

  6. Published

    Breast tissue segmentation from x-ray radiographs

    Chen, C., Nielsen, Mads, Karssemeijer, N. & Brandt, S. S., 2014, In: Physics in Medicine and Biology. 59, 10, p. 2445-2456 12 p.

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

  7. Published

    Bridge simulation and metric estimation on landmark manifolds

    Sommer, Stefan Horst, Arnaudon, A., Kühnel, L. & Joshi, S., 2017, Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics: First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, J., Arbel, T., Ferrante, E., Pennec, X., Dalca, A., Parisot, S., Batmanghelich, N. K., Sotiras, A., Nielsen, M., Sabuncu, M. R., Fletcher, T., Shen, L., Durrleman, S. & Sommer, S. (eds.). Springer, p. 79-91 13 p. (Lecture notes in computer science, Vol. 10551).

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

  8. Published

    Brief announcement: labeling schemes for power-law graphs

    Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 39-41 3 p.

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

  9. Published

    Bringing content understanding into usability testing in complex application domains—a case study in eHealth

    Andersen, S. B., Rasmussen, C. K. & Frøkjær, Erik, 2017, Design, User Experience, and Usability: theory, methodology, and management: 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I. Springer, Vol. Part 1. p. 327-341 15 p. (Lecture notes in computer science, Vol. 10288).

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

  10. Published

    Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process

    Hertzum, M. & Frøkjær, Erik, 1996, In: ACM Transactions on Computer Human Interaction. 3, 2, p. 136-161 26 p.

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

  11. Published

    Buffer k-d trees: processing massive nearest neighbor queries on GPUs

    Gieseke, Fabian Cristian, Heinermann, J., Oancea, Cosmin Eugen & Igel, Christian, 2014, Proceedings of the 31st International Conference on Machine Learning, Beijing, China, 2014. 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 32).

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

  12. Published

    Building Information Modeling: the dream of perfect information

    Møller, Naja Holten & Bansler, Jørgen P., 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work – exploratory papers. European Society for Socially Embedded Technologies, p. 187-204 18 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

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

  13. Published

    CAS Assisted Proofs in Upper Secondary School Mathematics Textbooks

    Thomas Jankvist, U. & Misfeldt, Morten, 2019, In: REDIMAT - Journal of Research in Mathematics Education. 8, 3, p. 232-266 35 p.

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

  14. Published

    CMA-ES with optimal covariance update and storage complexity

    Krause, Oswin, Rodríguez Arbonès, D. & Igel, Christian, 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., Sugiyama, M., Luxburg, U. V., Guyon, I. & Garnett, R. (eds.). Curran Associates, Inc., p. 370-378 9 p.

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

  15. Published

    Calculating certified compilers for non-deterministic languages

    Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (eds.). Springer, p. 159-186 28 p. (Lecture notes in computer science, Vol. 9129).

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

  16. Published

    Calculating correct compilers

    Bahr, P. & Hutton, G., 2015, In: Journal of Functional Programming. 25, 47 p., e14.

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

  17. Published

    Calibration of an agile camera

    Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

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

  18. Published

    Camera-based seam tracking and nearly-closed-loop control of arc welding

    Liu, J., Christensen, K. H., Fan, Z., Olsen, Søren Ingvor & Kristensen, J. K., 2009. 13 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  19. Published

    Can AMR Assist Legal and Logical Reasoning?

    Schrack, Nikolaus Alexander, Cui, Ruixiang, López, H. A. & Hershcovich, Daniel, 2022, Findings of the Association for Computational Linguistics: EMNLP 2022. Association for Computational Linguistics, p. 1555-1568

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

  20. Published

    Carbon Footprint of Selecting and Training Deep Learning Models for Medical Image Analysis

    Selvan, Raghav, Bhagwat, N., Anthony, L. F. W., Kanding, B. & Dam, Erik Bjørnager, 2022, Medical Image Computing and Computer Assisted Intervention – MICCAI 2022: 25th International Conference Singapore, September 18–22, 2022 Proceedings, Part V. Springer, p. 506–516 (Lecture Notes in Computer Science, Vol. 13435).

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

  21. Published

    Carbontracker: Tracking and Predicting the Carbon Footprint of Training Deep Learning Models

    Anthony, L. F. W., Kanding, B. & Selvan, Raghav, 2020. 11 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  22. Published

    Cardiac fiber inpainting using cartan forms

    Piuze, E., Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Moru, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 509-517 9 p. (Lecture notes in computer science, Vol. 8150).

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

  23. Published

    Caring for Participation in STS: from empowered patients to Ghostbusters

    Nielsen, K. D., 2015, In: EASST Review. 34, 2

    Research output: Contribution to journal › Journal article › Communication

  24. Published

    Carotid artery lumen segmentation in 3D free-hand ultrasound images using surface graph cuts

    Lorza, A. M. A., Carvalho, D. D. B., Petersen, Jens, Dijk, A. C. V., Lugt, A. V. D., Niessen, W. J., Klein, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 542-549 8 p. (Lecture notes in computer science, Vol. 8150).

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

  25. Published

    Carotid artery wall segmentation in multispectral MRI by coupled optimal surface graph cuts

    Arias-Lorza, A. M., Petersen, Jens, van Engelen, A., Selwaness, M., van der Lugt, A., J. Niessen, W. & de Bruijne, Marleen, 2016, In: IEEE Transactions on Medical Imaging. 35, 3, p. 901-911 11 p.

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

Previous 1...8 9 10 11 12 13 14 15 ...69 Next