Department of Computer Science

Read more
501 - 600 out of 824Page size: 100
  1. 2014
  2. Published

    Is my phone alive? a large-scale study of shape change in handheld devices using videos

    Pedersen, E. W., Subramanian, S. & Hornbæk, Kasper, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2579-2588 10 p.

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

  3. Published

    Is once enough? on the extent and content of replications in human-computer interaction

    Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3523-3532 10 p.

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

  4. Published

    Joint disparity and motion estimation using optical flow for multiview distributed video coding

    Salmistraro, M., Raket, L. L., Brites, C., Ascenso, J. & Forchhammer, S., 2014, Proceedings of the 22nd European Signal Processing Conference (EUSIPCO), 2014. IEEE, p. 286-290 5 p. (Proceedings of the European Signal Processing Conference).

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

  5. Published

    KAT + B!

    Grathwohl, N. B. B., Kozen, D. & Mamouras, K., 2014, CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery, 10 p. 44

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

  6. Published

    Kickables: tangibles for feet

    Schmidt, D., Ramakers, R., Pedersen, E. W., Jasper, J., Köhler, S., Pohl, A., Rantzsch, H., Rau, A., Schmidt, P., Sterz, C., Yurchenko, Y. & Baudisch, P., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 3143-3152 10 p.

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

  7. Published

    Labeling schemes for bounded degree graphs

    Adjiashvili, D. & Rotbart, N. G., 2014, Automata, languages, and programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E. (eds.). Springer, p. 375-386 12 p. (Lecture notes in computer science, Vol. 8573).

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

  8. Published

    Learning features for tissue classification with the classification restricted Boltzmann machine

    van Tulder, G. & de Bruijne, Marleen, 2014, Medical Computer Vision: Algorithms for Big Data: International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers. Menze, B., Langs, G., Montillo, A., Kelm, M., Müller, H., Zhang, S., Cai, W. T. & Metaxas, D. (eds.). Springer, p. 47-58 12 p. (Lecture notes in computer science).

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

  9. Published

    Mimic: visual analytics of online micro-interactions

    Breslav, S., Khan, A. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 245-252 8 p.

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

  10. Published

    Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation

    Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 157-166 10 p.

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

  11. Published

    Near-optimal labeling schemes for nearest common ancestors

    Alstrup, Stephen, Halvorsen, E. B. & Larsen, K. G., 2014, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms . Chekuri, C. (ed.). Society for Industrial and Applied Mathematics, p. 972-982 11 p.

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

  12. Published

    Network-guided group feature selection for classification of autism spectrum disorder

    Cheplygina, V., Tax, D. M. J., Loog, M. & Feragen, A., 2014, Machine learning in medical imaging: 5th International Workshop, MLMI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings. Wu, G., Zhang, D. & Zhou, L. (eds.). Springer, p. 190-197 8 p. (Lecture notes in computer science, Vol. 8679).

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

  13. Published

    No free lunch theorems: limitations and perspectives of metaheuristics

    Igel, Christian, 2014, Theory and principled methods for the design of metaheuristics. Borenstein, Y. & Moraglio, A. (eds.). Springer, p. 1-23 23 p. (Natural Computing Series).

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

  14. Published

    Object classification and detection with context kernel descriptors

    Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2014, Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico, November 2-5, 2014. Proceedings. Bayro-Corrochano, E. & Hancock, E. (eds.). p. 827-835 9 p. (Lecture notes in computer science, Vol. 8827).

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

  15. Published

    Opportunities for odor: experiences with smell and implications for technology

    Obrist, M., Tuch, A. N. & Hornbæk, Kasper, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 2843-2852 10 p.

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

  16. Published

    Optimally streaming greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer, p. 224-240 17 p. (Lecture notes in computer science, Vol. 8687).

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

  17. Published

    Patient expectations and experiences from a clinical study in psychiatric care using a self-monitoring system

    Nørregaard, L. B., Løventoft, P. K., Frøkjær, Erik, Lauritsen, L., Olsson, E. C., Andersen, L., Rauff, S. & Martiny, Klaus, 2014, NordiCHI '14: Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 991-994 4 p.

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

  18. Published

    Probabilistic shortest path tractography in DTI using gaussian process ODE solvers

    Schober, M., Kasenburg, N., Feragen, A., Hennig, P. & Hauberg, S., 2014, Medical image computing and computer-assisted intervention – MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part III. Golland, P., Hata, N., Barillot, C., Hornegger, J. & Howe, R. (eds.). Springer, p. 265-272 8 p. (Lecture notes in computer science, Vol. 8675).

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

  19. Published

    Promoting active participation in computer science lectures

    Sommer, Stefan Horst, 2014, Improving university science teaching and learning: pedagogical projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 209-222 14 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  20. Published

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, p. 221-237 17 p. (Lecture notes in computer science, Vol. 8475).

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

  21. Published

    Reference counting for reversible languages

    Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (eds.). Springer, p. 82-94 13 p. (Lecture notes in computer science, Vol. 8507).

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

  22. Published

    Semi-automatic tool to ease the creation and optimization of GPU programs

    Jepsen, J., 2014, Proceedings of the 43rd International Conference on Parallel Processing Workshops: ICPPW 2014. IEEE, p. 196-205 10 p.

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

  23. Published

    Simultaneous registration and bilateral differential bias correction in brain MRI

    Zou, B., Pai, A. S. U., Sørensen, L. & Nielsen, Mads, 2014, Intelligent Imaging: Linking MR Acquisition and Processing.

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

  24. Published

    Size slicing: a hybrid approach to size inference in futhark

    Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.

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

  25. Published

    Socio-technical congruence in the Ruby ecosystem

    Syeed, M. M. M., Hansen, K. M., Hammouda, I. & Manikas, K., 2014, OpenSym '14. Proceedings of The International Symposium on Open Collaboration. Association for Computing Machinery, p. 2:1-2:9 9 p.

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

  26. Published

    SpaceFold and PhysicLenses: simultaneous multifocus navigation on touch surfaces

    Butscher, S., Hornbæk, Kasper & Reiterer, H., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 209-216 8 p.

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

  27. Published

    Speedy greedy feature selection: better redshift estimation via massive parallelism

    Gieseke, Fabian Cristian, Polsterer, K. L., Oancea, Cosmin Eugen & Igel, Christian, 2014, ESANN 2014 proceedings: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Verleysen, M. (ed.). i6doc.com, p. 87-92 6 p.

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

  28. Published

    Stepwise inverse consistent Euler’s scheme for diffeomorphic image registration

    Pai, A. S. U., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, p. 223-230 8 p. (Lecture notes in computer science, Vol. 8545).

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

  29. Published

    Support vector machines for active learning

    Kremer, J., Steenstrup Pedersen, Kim & Igel, Christian, 2014, Second European Conference on Data Analysis: program & abstracts . p. 38 1 p.

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

  30. Published

    Temporal context for authorship attribution: a study of Danish secondary schools

    Hansen, N. D., Lioma, Christina, Larsen, B. & Alstrup, Stephen, 2014, Multidisciplinary information retrieval: 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings. Lamas, D. & Buitelaar, P. (eds.). Springer, p. 22-40 19 p. (Lecture notes in computer science, Vol. 8849).

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

  31. Published

    The design space of shape-changing interfaces: a repertory grid study

    Kwak, M., Hornbæk, Kasper, Markopoulos, P. & Alonso, M. B., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 181-190 10 p.

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

  32. Published

    Towards stabilizing parametric active contours

    Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Kristensen, J., 2014, 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER). IEEE, p. 198-203 6 p.

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

  33. Published

    Towards structure-based quality awareness in software ecosystem use

    Hansen, K. M. & Zhang, W., 2014, Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, p. 469-479 11 p. (Lecture notes in computer science, Vol. 8377).

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

  34. Published

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (eds.). Springer, p. 184-199 16 p. (Lecture notes in computer science, Vol. 8324).

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

  35. Published

    Use of proof assistant as a learning tool in an introductory logic course for computer science undergraduates

    Axelsen, H. B., 2014, Improving University Science Teaching and Learning: Pedagogical Projects 2014. Ulriksen, L. & Sølberg, J. (eds.). Department of Science Education, University of Copenhagen, p. 13-31 19 p. (Improving University Science Teaching and Learning - Pedagogical Projects; No. 1-2, Vol. 7).

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

  36. Published

    User generated content search

    Blanco, R., Brea, M. E. A. & Lioma, Christina, 2014, Mining of user generated content. Chua, T-S. (ed.). CRC Press, p. 167-186 10 p. (Social Media and Social Computing).

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

  37. Published

    User-defined gestures for elastic, deformable displays

    Troiano, G. M., Pedersen, E. W. & Hornbæk, Kasper, 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. Association for Computing Machinery, p. 1-8 8 p.

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

  38. 2013
  39. Published

    A comparison of well-quasi orders on trees

    Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 30-40 11 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  40. Published

    A research roadmap for context-awareness-based self-managed systems

    Zhang, W., Hansen, K. M. & Bellavista, P., 2013, Service-oriented computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 275-283 9 p. (Lecture notes in computer science, Vol. 7759).

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

  41. Published

    A swiss pocket knife for computability

    Jones, N., 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). p. 1-17 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 129).

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

  42. Published

    A transfer-learning approach to image segmentation across scanners by maximizing distribution similarity

    van Opbroek, A., Ikram, M. A., Vernooij, M. W. & de Bruijne, Marleen, 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, held in conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 49-56 8 p. (Lecture notes in computer science, Vol. 8184).

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

  43. Published

    An improved optimization method for the relevance voxel machine

    Ganz, Melanie, Sabuncu, M. R. & Van Leemput, K., 2013, Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Wu, G., Zhang, D., Shen, D., Yan, P., Suzuki, K. & Wang, F. (eds.). Springer, p. 147-154 8 p. (Lecture notes in computer science, Vol. 8184).

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

  44. 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

  45. 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

  46. Published

    Approximate distance oracles with improved query time

    Wulff-Nilsen, Christian, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 539-549 11 p. (The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings).

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

  47. Published

    Approximation properties of DBNs with binary hidden units and real-valued visible units

    Krause, Oswin, Fischer, A., Glasmachers, T. & Igel, Christian, 2013, Proceedings of the 30th International Conference on Machine Learning. Dasgupta, S. & McAllester, D. (eds.). p. 419-426 8 p. (JMLR: Workshop and Conference Proceedings, Vol. 28).

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

  48. Published

    Architectural slicing: towards automatic harvesting of architectural prototypes

    Christensen, H. B. & Hansen, K. M., 2013, Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Drira, K. (ed.). Springer, p. 316-319 4 p. (Lecture notes in computer science, Vol. 7957).

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

  49. Published

    Atlases of cardiac fiber differential geometry

    Piuze, E., Lombaert, H., Sporring, Jon, Strijkers, G. J., Bakermans, A. J. & Siddiqi, K., 2013, Functional Imaging and Modeling of the Heart: 7th International Conference, FIMH 2013, London, UK, June 20-22, 2013. Proceedings. Ourselin, S., Rueckert, D. & Smith, N. (eds.). Springer, p. 442-449 8 p. (Lecture notes in computer science, Vol. 7945).

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

  50. Published

    Automated brain-tissue segmentation by multi-feature SVM classification

    van Opbroek, A., van der Lijn, F. & de Bruijne, Marleen, 2013, The MICCAI Grand Challenge on MR Brain Image Segmentation (MRBrainS13). 8 p. (The MIDAS Journal).

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

  51. Published

    Automated measurement of diagnostic angles for hip dysplasia

    de Raedt, S., Mechlenburg, I. B., Stilling, M., Mikkelsen, L. R., Søballe, K. & de Bruijne, Marleen, 2013, Medical Imaging 2013: Computer-Aided Diagnosis. Novak, C. L. & Aylward, S. (eds.). SPIE - International Society for Optical Engineering, 10 p. 867009. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 8670).

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

  52. Published

    Automatic measurement of wrist synovitis from contrast-enhanced MRI: a registration-centered approach

    Mysling, P., Darkner, Sune, Sporring, Jon, Dam, E. & Lillholm, Martin, 2013, Medical Imaging 2013: Image Processing. Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 86692U. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  53. Published

    Bayesian epipolar geometry estimation from tomographic projections

    Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, Computer Vision – ACCV 2012: 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part IV. Lee, K. M., Matsushita, Y., Rehg, J. M. & Hu, Z. (eds.). Springer, p. 231-242 12 p. (Lecture notes in computer science, Vol. 7727).

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

  54. Published

    Bottom-k and priority sampling, set similarity and subset sums with minimal independence

    Thorup, Mikkel, 2013, STOC '13: Proceedings of the 45th Annual ACM Symposium on Symposium on Theory of Computing. Association for Computing Machinery, p. 371-380 10 p.

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

  55. 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

  56. 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

  57. 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

  58. Published

    Characterizing the Danish telemedicine ecosystem: making sense of actor relationships

    Manikas, K. & Hansen, K. M., 2013, Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems: MEDES '13. Association for Computing Machinery, p. 211-218 8 p.

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

  59. Published

    Cleaning up: garbage-free reversible circuits by design languages

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

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

  60. Published

    Comparative study of search engine result visualisation: ranked lists versus graphs

    Petersen, C., Lioma, Christina & Simonsen, Jakob Grue, 2013, Proceedings of the 3rd European Workshop on Human-Computer Interaction and Information Retrieval co-located with the 36th international ACM SIGIR conference on Research and development in information retrieval (SIGIR 2013). Wilson, M. L., T. R-R., Larsen, B., Hansen, P. & Norling, K. (eds.). p. 27-30 4 p. (CEUR Workshop Proceedings, Vol. 1033).

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

  61. Published

    Comparing modalities and feedback for peripheral interaction

    Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.

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

  62. Published

    Computational complexity for uniform orientation Steiner tree problems

    Brazil, M. & Zachariasen, M., 2013, Proceedings of the Thirty-Sixth Australasian Computer Science Conference. Thomas, B. (ed.). Australian Computer Society, Vol. 135. p. 107-113 7 p.

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

  63. Published

    Convergence in infinitary term graph rewriting systems is simple (extended abstract)

    Bahr, P., 2013, Proceedings of the 7th International Workshop on Computing with Terms and Graphs: Rome, 23th March 2013. Echahed, R. & Plump, D. (eds.). Open Publishing Association, p. 17-28 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 110).

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

  64. Published

    Cube propagation for focal brain atrophy estimation

    Pai, A. S. U., Sørensen, L., Darkner, Sune, Mysling, P., Jørgensen, D. R., Dam, E. B., Lillholm, Martin, Oh, J., Chen, G., Suhy, J., Sporring, Jon & Nielsen, Mads, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging. IEEE, p. 402-405 4 p.

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

  65. Published

    Deep feature learning for knee cartilage segmentation using a triplanar convolutional neural network

    Prasoon, A., Petersen, P. K., Igel, Christian, Lauze, Francois Bernard, Dam, Erik Bjørnager & Nielsen, Mads, 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. 246-253 8 p. (Lecture notes in computer science, Vol. 8150).

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

  66. Published

    Detection of traffic signs in real-world images: the German traffic sign detection benchmark

    Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M. & Igel, Christian, 2013, Proceedings of International Joint Conference on Neural Networks. IEEE Computer Society Press, p. 715-722 8 p.

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

  67. Published

    Diffeomorphic spectral matching of cortical surfaces

    Lombaert, H., Sporring, Jon & Siddiqi, K., 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 376-389 14 p. (Lecture notes in computer science, Vol. 7917).

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

  68. Published

    Distributed multi-hypothesis coding of depth maps using texture motion information and optical flow

    Salmistraro, M., Zamarin, M., Raket, L. L. & Forchhammer, S., 2013, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing: proceedings. IEEE, p. 1685-1689 5 p.

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

  69. Published

    Do points, levels and leaderboards harm intrinsic motivation? An empirical analysis of common gamification elements

    Mekler, E. D., Brühlmann, F., Opwis, K. & Tuch, A. N., 2013, Gamification '13: Proceedings of the First International Conference on Gameful Design, Research, and Applications. Association for Computing Machinery, p. 66-73 8 p.

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

  70. Published

    Efficient nonrigid registration using ranked order statistics

    Tennakoon, R. B., Bab-Hadiashar, A., de Bruijne, Marleen & Cao, Z., 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 496-499 4 p. (International Symposium on Biomedical Imaging. Proceedings).

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

  71. Published

    Extracting usability and user experience information from online user reviews

    Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.

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

  72. Published

    Faster deterministic fully-dynamic graph connectivity

    Wulff-Nilsen, Christian, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 1757-1769 13 p.

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

  73. Published

    Femoral cartilage segmentation in knee MRI scans using two stage voxel classification

    Prasoon, A., Igel, Christian, Loog, M., Lauze, Francois Bernard, Dam, E. & Nielsen, Mads, 2013, 35th Annual International Conference of the IEEE; Engineering in Medicine and Biology Society (EMBC), 2013. IEEE, p. 5469-5472 4 p.

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

  74. Published

    Garbage-free reversible constant multipliers for arbitrary integers

    Mogensen, Torben Ægidius, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 70-83 14 p. (Lecture notes in computer science, Vol. 7948).

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

  75. Published

    Heritage: having a say

    Kensing, Finn & Greenbaum, J., 2013, Routledge international handbook of participatory design. Simonsen, J. & Robertson, T. (eds.). Routledge, p. 21-36 16 p.

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

  76. Published

    In-place binary counters

    Elmasry, A. A. A. E. & Katajainen, J., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer, p. 349-360 12 p. (Lecture notes in computer science).

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

  77. Published

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).

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

  78. Published

    Investigating pointing tasks across angularly coupled display areas

    Hennecke, F., De Luca, A., Nguyen, N. D. H., Boring, S. & Butz, A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P. (ed.). Springer, Vol. Part I. p. 720-727 8 p. (Lecture notes in computer science, Vol. 8117).

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

  79. Published

    Iterated stacked classifiers for lung segmentation in computed tomography

    Ciompi, F., Gatta, C. & de Bruijne, Marleen, 2013, The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan - September 26, 2013. Beichel, R. R., de Bruijne, M., Kabus, S., Kiraly, A. P., Kitasaka, T., Kuhnigk, J-M., McClelland, J. R., van Rikxoort, E. & Rit, S. (eds.). CreateSpace Independent Publishing Platform , p. 63-74 12 p.

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

  80. Published

    Iterating skeletons: structured parallelism by composition

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p.

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

  81. Published

    Iterating skeletons

    Dieterle, M., Horstmeyer, T., Berthold, J. & Loogen, R., 2013, Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers. Hinze, R. (ed.). Springer, p. 18-36 19 p. (Lecture notes in computer science).

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

  82. Published

    Learning models of activities involving interacting objects

    Manfredotti, C., Steenstrup Pedersen, Kim, Hamilton, H. J. & Zilles, S., 2013, Advances in Intelligent Data Analysis XII: 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings. Tucker, A., Höppner, F., Siebes, A. & Swift, S. (eds.). Springer, p. 285-297 13 p. (Lecture notes in computer science, Vol. 8207).

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

  83. Published

    Local appearance features for robust MRI brain structure segmentation across scanning protocols

    Achterberg, H. C., Poot, D. H. J., van der Lijn, F., Vernooij, M. W., Ikram, M. A., Niessen, W. J. & de Bruijne, Marleen, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 7 p. 866905. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  84. Published

    Many-core architectures boost the pricing of basket options on adaptive sparse grids

    Heinecke, A., Jepsen, J. & Bungartz, H. J., 2013, WHPCF '13: Proceedings of the 6th Workshop on High Performance Computational Finance. Association for Computing Machinery, 9 p. 1

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

  85. Published

    More compact oracles for approximate distances in undirected planar graphs

    Kawarabayashi, K., Sommer, C. & Thorup, Mikkel, 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 550-563 14 p.

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

  86. Published

    Morphometric connectivity analysis to distinguish normal, mild cognitive impaired, and Alzheimer subjects based on brain MRI

    Erleben, L. L., Sørensen, L., Mysling, P., Pai, A. S. U., Dam, E. B. & Nielsen, Mads, 2013, Medical Imaging 2013: image processing . Ourselin, S. & Haynor, D. R. (eds.). SPIE - International Society for Optical Engineering, 6 p. 866926. (Progress in Biomedical Optics and Imaging; No. 36, Vol. 14).

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

  87. Published

    Moving frames for heart fiber geometry

    Piuze, E., Sporring, Jon & Siddiqi, K., 2013, Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, Proceedings. Gee, J. C., Joshi, S., Pohl, K. M., Wells, W. M. & Zöllei, L. (eds.). Springer, p. 524-535 12 p. (Lecture notes in computer science, Vol. 7917).

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

  88. Published

    Nearest neighbor classification using bottom-k sketches

    Dahlgaard, S., Igel, Christian & Thorup, Mikkel, 2013, 2013 IEEE International Conference on Big Data: proceedings. IEEE, p. 28-34 7 p.

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

  89. Published

    Nearest neighbour regression outperforms model-based prediction of specific star formation rate

    Stensbo-Smidt, K., Igel, Christian, Zirm, A. W. & Steenstrup Pedersen, Kim, 2013, 2013 IEEE International Conference on Big Data. IEEE, p. 141-144 4 p.

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

  90. Published

    Numerical methods for linear complementarity problems in physics-based animation

    Erleben, Kenny, 2013, ACM SIGGRAPH 2013 Courses. Association for Computing Machinery, 42 p. 8

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

  91. Published

    On GPU-based nearest neighbor queries for large-scale photometric catalogs in astronomy

    Heinermann, J., Kramer, O., Polsterer, K. L. & Gieseke, Fabian Cristian, 2013, KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Timm, I. J. & Thimm, M. (eds.). Springer, p. 86-97 12 p. (Lecture notes in computer science, Vol. 8077).

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

  92. Published

    On the bayesian reconstruction method for randomly oriented particles in cryo-EM

    Brandt, S. S., Jensen, K. H. & Lauze, Francois Bernard, 2013, 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1166-1169 4 p. (International Symposium on Biomedical Imaging. Proceedings).

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

  93. Published

    OneSpace: shared depth-corrected video interaction

    Ledo, D., Aseniero, B. A., Greenberg, S., Boring, S. & Tang, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 997-1002 6 p.

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

  94. Published

    POWERWALL: int. workshop on interactive, ultra-high-resolution displays

    Rooney, C., Endert, A., Fekete, J., Hornbæk, Kasper & North, C., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 3227-3230 4 p.

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

  95. Published

    Physicians’ progress notes

    Bansler, Jørgen P., Havn, E. C., Mønsted, T., Schmidt, K. & Svendsen, Jesper Hastrup, 2013, ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 2013, Paphos, Cyprus. Bertelsen, O. W., Ciolfi, L., Grasso, M. A. & Papadopoulos, G. A. (eds.). Springer, p. 123-142 20 p.

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

  96. Published

    Polynomial runtime bounds for fixed-rank unsupervised least-squares classification

    Gieseke, Fabian Cristian, Pahikkala, T. & Igel, Christian, 2013, Asian Conference on Machine Learning. Ong, C. S. & Ho, T. B. (eds.). Vol. 29. p. 62-71 10 p. (JMLR: Workshop and Conference Proceedings, Vol. 29).

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

  97. Published

    Priority queues and sorting for read-only data

    Asano, T., Elmasry, A. & Katajainen, J., 2013, Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Chan, T-H. H., Lau, L. C. & Trevisan, L. (eds.). Springer, p. 32-41 10 p. (Lecture notes in computer science, Vol. 7876).

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

  98. Published

    Programming macro tree transducers

    Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 61-72 12 p.

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

  99. Published

    ProjectorKit: easing rapid prototyping of interactive applications for mobile projectors

    Weigel, M., Boring, S., Steimle, J., Marquardt, N., Greenberg, S. & Tang, A., 2013, MobileHCI '13: Proceedings of the 15th international conference on Human-Computer Interaction with Mobile devices and services. Association for Computing Machinery, p. 247-250 4 p.

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

  100. Published

    Quantitative airway analysis in longitudinal studies using groupwise registration and 4D optimal surfaces

    Petersen, Jens, Modat, M., Cardoso, M. J., Dirksen, A., Ourselin, 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, Vol. 2. p. 287-294 8 p. (Lecture notes in computer science, Vol. 8150).

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

  101. Published

    RAM-efficient external memory sorting

    Arge, L. & Thorup, Mikkel, 2013, Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings. Cai, L., Cheng, S-W. & Lam, T-W. (eds.). Springer, p. 491-501 11 p. (Lecture notes in computer science, Vol. 8283).

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

  102. Published

    RPI-MATLAB-simulator: a tool for efficient research and practical teaching in multibody dynamics

    Williams, J., Lu, Y., Niebe, S., Andersen, Martin, Erleben, Kenny & Trinkle, J. C., 2013, VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations. Bender, J., Dequidt, J., Duriez, C. & Zachmann, G. (eds.). Eurographics Association, p. 71-80 10 p. (VRIPHYS 2013 - 10th Workshop on Virtual Reality Interactions and Physical Simulations).

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

Previous 12 3 4 5 6 7 8 9 Next