Department of Computer Science

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Reversible representation and manipulation of constructor terms in the heap

Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

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

Reviewing the health of software ecosystems – a conceptual framework proposal.

Manikas, K. & Hansen, K. M., 2013, Proceedings of 5th International Workshop on Software Ecosystems (IWSECO 2013). Alves, C. F., Hanssen, G. K., Bosch, J. & Jansen, S. (eds.). p. 33-44 12 p. (CEUR Workshop Proceedings, Vol. 987).

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

Scalable kernels for graphs with continuous attributes

Feragen, A., Kasenburg, N., Petersen, Jens, de Bruijne, Marleen & Borgwardt, K., 2013, 27th Annual Conference on Neural Information Processing Systems 2013: NIPS 2013. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 216-224 9 p. (Advances in Neural Information Processing Systems, Vol. 26).

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

Selection from read-only memory with limited workspace

Elmasry, A., Juhl, D. D., Katajainen, J. & Satti, S. R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 147-157 11 p. (Lecture notes in computer science, Vol. 7936).

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

Selection-based mid-air text entry on large displays

Markussen, A., Jakobsen, M. R. & Hornbæk, Kasper, 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, Vol. 2. p. 401-418 18 p. (Lecture notes in computer science, Vol. 8117).

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

Shape index descriptors applied to texture-based galaxy analysis

Steenstrup Pedersen, Kim, Stensbo-Smidt, K., Zirm, A. W. & Igel, Christian, 2013, 2013 IEEE International Conference on Computer Vision (ICCV). IEEE, p. 2440-2447 8 p.

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

Simple tabulation, fast expanders, double tabulation, and high independence

Thorup, Mikkel, 2013, 2013 IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 90-99 10 p.

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

SkyView: a user evaluation of the skyline operator

Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.

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

Solving the uncalibrated photometric stereo problem using total variation

Quéau, Y., Lauze, Francois Bernard & Durou, J., 2013, Scale Space and Variational Methods in Computer Vision: 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings. Kuijper, A., Bredies, K., Pock, T. & Bischof, H. (eds.). Springer, p. 270-281 12 p. (Lecture notes in computer science, Vol. 7893).

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

Sorting and searching by distribution: from generic discrimination to generic tries

Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).

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

Strength of the reversible, garbage-free 2^k ± 1 multiplier

Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 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. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).

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

Structural logical relations with case analysis and equality reasoning

Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, p. 43-54 12 p.

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

Sustainability through computation

Khan, A. & Hornbæk, Kasper, 2013, Computation for humanity: information technology to advance society. Zander, J. & Mosterman, P. J. (eds.). CRC Press, p. 35-68 34 p.

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

Texture side information generation for distributed video coding of video-plus-depth

Salmistraro, M., Rakêt, L. L., Zamarin, M., Ukhanova, A. & Forchhammer, S., 2013, 2013 20th IEEE International Conference on Image Processing (ICIP). IEEE, p. 1699-1703 5 p.

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

The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012)

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, Shanghai, China, November 12-15, 2012, Revised Selected Papers. Ghose, A., Zhu, H., Yu, Q., Delis, A., Sheng, Q. Z., Perrin, O., Wang, J. & Wang, Y. (eds.). Springer, p. 253-254 2 p. (Lecture notes in computer science, Vol. 7759).

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

The unadorned desk: exploiting the physical space around a display as an input canvas

Hausen, D., Boring, S. & Greenberg, S., 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., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).

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

Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems

Hansen, K. M. & Manikas, K., 2013, The 25^th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).

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

Towards a streaming model for nested data parallelism

Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 13-24 12 p.

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

Tree-space statistics and approximations for large-scale analysis of anatomical trees

Feragen, A., Owen, M., Petersen, Jens, Wille, M. M. W., Thomsen, L. H., Dirksen, A. & de Bruijne, Marleen, 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. 74-85 12 p. (Lecture notes in computer science, Vol. 7917).

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

Trustworthy pervasive healthcare services via multiparty session types

Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

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

Twisted tabulation hashing

Thorup, Mikkel & Patrascu, M., 2013, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms. Khanna, S. (ed.). Association for Computing Machinery, p. 209-228 20 p.

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

Two-pass greedy regular expression parsing

Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (ed.). Springer, p. 60-71 12 p.

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

Using Kinect for 2D and 3D pointing tasks: performance evaluation

Pino, A., Tzemis, E., Ioannou, N. & Kouroupetroglou, G., 2013, Human-Computer Interaction. Interaction Modalities and Techniques: 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Kurosu, M. (ed.). Springer, p. 358-367 10 p. (Lecture notes in computer science, Vol. 8007).

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

Waving to a touch interface: descriptive field study of a multipurpose multimodal public display

Jurmu, M., Ogawa, M., Boring, S., Riekki, J. & Tokuda, H., 2013, PerDis '13: Proceedings of the 2nd ACM International Symposium on Pervasive Displays. Association for Computing Machinery, p. 7-12 6 p.

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

Weak heaps and friends: recent developments

Edelkamp, S., Elmasry, A., Katajainen, J. & Weiß, A., 2013, Combinatorial Algorithms: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers. Lecroq, T. & Mouchard, L. (eds.). Springer, p. 1-6 6 p. (Lecture notes in computer science, Vol. 8288).

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

White dots do matter: rewriting reversible logic circuits

Soeken, M. & Thomsen, Michael Kirkedal, 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. 196-208 13 p. (Lecture notes in computer science, Vol. 7948).

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

Multiphase Flow of Immiscible Fluids on Unstructured Moving Meshes

Misztal, M. K., Erleben, Kenny, Bargteil, A., Fursund, J., Christensen, B. B., Bærentzen, J. A. & Bridson, R., Jul 2012, EUROSCA'12 Proceedings of the 11th ACM SIGGRAPH / Eurographics conference on Computer Animation. ACM, p. 97 106 p.

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

Challenges of participatory design for social innovation: a case study in aging society

Obata, A., Ohori, K., Kobayashi, N., Hochreuter, H. L. & Kensing, Finn, 2012, Proceedings of the 12th Participatory Design Conference: exploratory papers, workshop descriptions, industry cases - volume 2. Association for Computing Machinery, Vol. 2. p. 9-12 4 p.

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

Characterizing languages by normalization and termination in string rewriting

Ketema, J. & Simonsen, Jakob Grue, 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H-C. & Ibarra, O. H. (eds.). Springer, p. 459-464 6 p. (Lecture notes in computer science, Vol. 7410).

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

Extending distributed shared memory for the cell broadband engine to a channel model

Skovhede, K., Larsen, M. N. & Vinter, B., 2012, Applied Parallel and Scientific Computing: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I. Jónasson, K. (ed.). Springer, Vol. Part I. p. 108-118 11 p. (Lecture notes in computer science, Vol. 7133).

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

Fluoroscopic assessment of femoral kinematics using a statistical shape model

Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , p. 147148 2 p. 5B.2

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

Lost in translation: Authorship attribution using frame semantics

Hedegaard, S. & Simonsen, Jakob Grue, 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).

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

Touch to play - Exploring touch-based mobile interaction with public displays

Broll, G., Graebsch, R., Scherr, M., Boring, S., Holleis, P. & Wagner, M., 12 May 2011, Proceedings - 3rd International Workshop on Near Field Communication, NFC 2011. p. 15-20 6 p. 12

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

Human Apolipoprotein E Genotypes Modify Disease Severity In Experimental House Dust Mite-Induced Asthma

Yao, X., Dai, C., Fredriksson, K., Keeran, K., Qu, X., Jeffries, N., Zywicke, G., Jeffries, N., Lin, J., Kaler, M., Shamburek, R., Costello, R., Dahl, Morten, Nordestgaard, Børge, Remaley, A. & Levine, S., May 2011, A33. GENETIC AND EPIGENETIC REGULATION OF LUNG DISEASE.

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

Computational biology: a programming perspective

Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).

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

Graph archive

Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 52-53 2 p.

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

Interactive rigid body dynamics using a projected gauss-seidel subspace minimization method

Silcowitz, M., Niebe, S. & Erleben, Kenny, 2011, Computer Vision, Imaging and Computer Graphics: Theory and Applications - International Joint Conference, VISIGRAPP 2010, Revised Selected Papers. p. 218-229 12 p. (Communications in Computer and Information Science, Vol. 229 CCIS).

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

Low pain vs no pain multi-core Haskells

Aswad, M., Trinder, P., Al Zain, A., Michaelson, G. & Berthold, J., 2011, Trends in Functional Programming 10. Horváth, Z., Zsók, V., Achten, P. & Koopman, P. (eds.). Intellect, p. 49-64 16 p.

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

Towards a comprehensive theory of monadic effects

Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.

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

Using SOC in development of context-aware systems: Domain model approach

Wac, Katarzyna, Pawar, P., Broens, T., van Beijnum, B. J. & van Halteren, A., 1 Jan 2010, Enabling Context-Aware Web Services: Methods, Architectures, and Technologies. CRC Press, p. 171-210 40 p.

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

A standard-driven implementaion of WS-BPEL 2.0

Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.

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

A static SMC sampler on shapes for the automated segmentation of aortic calcifications

Petersen, P. K., Nielsen, Mads & Brandt, S. S., 2010, Computer Vision – ECCV 2010: 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV. Daniilidis, K., Maragos, P. & Paragios, N. (eds.). Springer, p. 666-679 14 p. (Lecture notes in computer science, Vol. 6314).

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

Generic multiset programming for language-integrated querying

Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

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

Markov random fields on triangle meshes

Andersen, V., Aanæs, H., Bærentzen, J. A. & Nielsen, Mads, 2010, WSCG 2010: communication papers proceedings . Skala, V. (ed.). Vaclav Skala - Union Agency, p. 265-270 6 p.

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

Relevance of echo-structure and texture features: an application in ultrasound breast tumor classification

Karemore, G., Mullick, J. B., KV, D. R., Nielsen, Mads & Chidangil, D. S., 2010, Euroson 2010: 22nd Congress of EFSUMB : 10th International Congress on Interventional Ultrasound, 22-25 August 2010, Copenhagen: final programme & abstracts.

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

Context-aware computing support for network-assisted seamless vertical handover in remote patient monitoring

Pawar, P., Van Beijnum, B. J., Hermens, H., Wac, Katarzyna & Konstantas, D., 23 Oct 2009, Proceedings - 2009 International Conference on Advanced Information Networking and Applications Workshops, WAINA 2009. p. 351-358 8 p. 5136673. (Proceedings - International Conference on Advanced Information Networking and Applications, AINA).

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

Towards location based QoS-aware network selection mechanism for the nomadic mobile services

Pawar, P., Van Beijnum, B. J., Wac, Katarzyna, Hermens, H. & Konstantas, D., 9 Apr 2009, 2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009. 4784928. (2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009).

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

Area and volume restoration in elastically deformable solids

Kelager, M., Fleron, A. & Erleben, Kenny, 1 Jan 2009, Progress In Computer Vision And Image Analysis. World Scientific Publishing Co., p. 381-400 20 p.

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

Mobile patient monitoring: The MobiHealth system

Wac, Katarzyna, Bults, R., Van Beijnum, B., Widya, I., Jones, V. M., Konstantas, D., Vollenbroek-Hutten, M. & Hermens, H., 1 Jan 2009, Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009. IEEE Computer Society Press, p. 1238-1241 4 p. 5333477. (Proceedings of the 31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society: Engineering the Future of Biomedicine, EMBC 2009).

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

Bayes estimation of shape model with application to vertebrae boundaries

Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Vol. 7259. 8 p.

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

A Comparative Field Study of Four Crane Control Interfaces

Bergström, Joanna, Rämänen, J., Suomalainen, T., Oulasvirta, A. & Kujala, T., 2009, European Conference on Cognitive Ergonomics: Designing Beyond the Product --- Understanding Activity and User Experience in Ubiquitous Environments. VTT, Finland, Finland: VTT Technical Research Centre of Finland, p. 33:1-33:4

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

A Cross-Cultural Study of How Usability Professionals Experience the Usability of Everyday Systems

Jiang, Y., Sun, X., Li, H., Yammiyavar, P., Kumar, J., Hertzum, M., Hornbæk, Kasper, Shi, Q. & Clemmensen, T., 2009, IEA2009: Proceedings of the 17th World Congress on Ergonomics . International Ergonomics Association, 7 p. IOP1040

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

A MuDDy Experience-ML Bindings to a BDD Library

Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

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

A Projected Non-linear Conjugate Gradient Method for Interactive Inverse Kinematics.

Engell-Nørregård, M. & Erleben, Kenny, 2009, Proceedings MATHMOD 09 Vienna, ARGESIM Report no. 35. Troch, I. & Breitenecker, F. (eds.).

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

A SVD Based Image Complexity Measure

Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2009, VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS. Vol. 2. p. 34-39 6 p.

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

Adaptable component frameworks: Using vector from the C++ standard library as an example

Katajainen, J. & Simonsen, B., 2009, Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 13-24 12 p.

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

Alpha Shapes and Proteins

Winter, Pawel, Sterner, H. & Sterner, P., 2009, Proceedings of 2009 Sixth International Symposium on Voronoi Diagrams. Anton, F. (ed.). IEEE Computer Society Press, p. 217-224 8 p.

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

Bottom-up, top-down? Connecting software architecture design with use

Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. & Shapiro, D. K., 2009, Configuring user-designer relations: Interdisciplinary perspectives. Voss, A., Hartswood, M., Ho, K., Procter, A., Rouncefield, M., Slack, R. & Büscher, M. (eds.). Springer Science+Business Media, 35 p.

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

Content-Aware Video Editing in the Temporal Domain

Slot, K., Truelsen, R. & Sporring, Jon, 2009, Scandinavian Conference on Image Analysis (SCIA '09). 9 p.

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

Dense Iterative Contextual Pixel Classification using Kriging

Ganz, Melanie, Loog, M., Brandt, S. & Nielsen, Mads, 2009, IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2009. CVPR Workshops 2009. . p. 87-93 7 p.

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

Estimation of Joint types and Joint Limits from Motion capture data

Engell-Nørregård, M. P. & Erleben, Kenny, 2009, WSCG '2009 : the 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in co-operation with Eurographics : University of West Bohemia, Plzen, Czech Republic, February 2-5, 2009: 17th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2009, Computer Graphics, Visualization and Computer Vision 2009. Scala, V. & Chen, M. (eds.). p. 9-16

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

GPU accelerated tandem traversal of blocked bounding volume hierarchy collision detection for multibody dynamics

Damkjær, J. & Erleben, Kenny, 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. p. 115-124

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

Interactive inverse kinematics for human motion estimation

Engell-Nørregård, M. P., Hauberg, S., Lapuyade, J., Erleben, Kenny & Steenstrup Pedersen, Kim, 2009, Vriphys 09: 6th Workshop on Virtual reality Interactions and Physical Simulations. Prautzsch, H., Schmitt, A., Bender, J. & Teschner, M. (eds.). p. 77-84

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

Mass Preserving Registration for lung CT

Gorbunova, V., Lo, P. C. P., Loeve, M., Tiddens, H., Sporring, Jon, Nielsen, Mads & de Bruijne, Marleen, 2009, Proceedings of the SPIE: Medical Imaging 2009: Image Processing. Vol. 7259. 10 p. (Proceedings of the SPIE, Vol. 7259).

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

Multiscale Vessel-guided Airway Tree Segmentation

Lo, P. C. P., Sporring, Jon & de Bruijne, Marleen, 2009, Proceedings of Second International Workshop on Pulmonary Image Analysis. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., McClelland, J. R., Mori, K., Reeves, A. & Reinhardt, J. M. (eds.). CreateSpace, p. 323-332 10 p.

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

On the Rate of Structural Change in Scale Spaces

Gustafsson, D. K. J., Steenstrup Pedersen, Kim, Lauze, Francois Bernard & Nielsen, Mads, 2009, Proceedings of Scale Space and Variational Methods in Computer Vision (SSVM) 09. Springer, Vol. 5567. p. 832-843 11 p. (Lecture notes in computer science, Vol. 5567/209).

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

PAC-Bayesian generalization bound for density estimation with application to co-clustering

Seldin, Yevgeny & Tishby, N., 2009, JMLR Workshop and Conference Proceedings, 5 (AISTATS).

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

Pilot Implementation of Health Information Systems: Issues and challenges

Bansler, Jørgen P. & Havn, E. C., 2009, Proceedings of the Fifteenth Americas Conference on Information Systems. San Francisco, CA, 6 p.

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

Prior knowledge regularization in statistical medical image tasks

Crimi, A., Sporring, Jon, de Bruijne, Marleen, Lillholm, Martin & Nielsen, Mads, 2009, Proceedings of the MICCAI Workshop on Probabilistic Models for Medical Image Analysis. 12 p.

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

Smoke simulation for fire engineering using a multigrid method on graphics hardware

Glimberg, S., Erleben, Kenny & Bennetsen, J., 2009, VRIPHYS 09: 6th Workshop on Virtual Reality Interactions and Physical Simulations. European Association for Computer Graphics, p. 11-20

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

Tetrahedral Mesh Improvement Using Multi-face Retriangulation

Misztal, M. K., Bærentzen, J. A., Anton, F. & Erleben, Kenny, 2009, Proceedings of the 18th International Meshing Roundtable. Springer, p. 539-555 17 p.

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

Troll, a Language for specifying Dice-rolls

Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, p. 1910-1915 6 p.

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

Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding

Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). p. 5948-5955

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

Context-aware middleware architecture for vertical handover support to multi-homed nomadic mobile services

Pawar, P., Maret, P., Wac, Katarzyna, Van Halteren, A., Van Beijnum, B. J. & Hermens, H., 1 Dec 2008, Proceedings of the 23rd Annual ACM Symposium on Applied Computing, SAC'08. p. 481-488 8 p. (Proceedings of the ACM Symposium on Applied Computing).

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

Service Oriented Architecture for Inter-vehicle Applications

Brønsted, J. R. & Hansen, K. M., 1 Nov 2008, Proceedings of the 15th World Congress on Intelligent Transportation Systems (ITS 2008).

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

Power- and delay-aware mobile application-data flow adaptation: The MobiHealth system case study

Wac, Katarzyna, Bargh, M., Peddemors, A., Pawar, P., Van Beijnum, B. J. & Bults, R., 6 Oct 2008, 2008 10th IEEE Intl. Conf. on e-Health Networking, Applications and Service, HEALTHCOM 2008. p. 212-218 7 p. 4600138. (2008 10th IEEE Intl. Conf. on e-Health Networking, Applications and Service, HEALTHCOM 2008).

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

Semantic Web ontologies for Ambient Intelligence -- Runtime Monitoring of Semantic Component Constraints

Hansen, K. M., Zhang, W., Fernandes, J. & Ingstrup, M., 1 Sep 2008, Proceedings of the First International Research Workshop on The Internet of Things and Services.

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

Coarse-to-Fine Low-Rank Structure-from-Motion

Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, Søren Ingvor & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, p. 1-8 8 p.

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

Contour-Based Registration and Retexturing of Cartoon-Like Videos

Tiilikainen, N., Bartoli, A. & Olsen, Søren Ingvor, 2008, British Machine Vision Conference, BMVC 2008: 1-4 September, 2008, University of Leeds, Proceedings. Everingham, M., Needham, C. J. & Fraile, R. (eds.). BMVA, Vol. 1-2. p. 915-924

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

FunSETL–Functional Reporting for ERP Systems

Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

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

Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference  on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102

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

Growth Pattern of Atherosclerotic Calcifications

Larsen, L. L., Ganz, Melanie, Dam, E., Dandu, N. & Nielsen, Mads, 2008, CVII '08: Second International Workshop on Computer vision for intracardiac and intravascular imaging, held in New York, USA, September 10, 2008 in conjunction with the 11th MICCAI conference. Sabancí Üniversítesí. 34956 Tuzla, Istanbul, p. 63-70

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

Improving web search transparency by using a Venn diagram interface

Frøkjær, Erik & Langer, L., 2008, NordCHI 2008: Building Bridges, Proceedings of the 5th Nordic Conference on Human-Computer Interaction, Lund, Sweden, 20-22 October, 2008. Gulz, A., Magnusson, C., Malmborg, L., Eftring, H., Jönsson, B. & Tollmar, K. (eds.). Association for Computing Machinery, p. 249-256 (ACM International Conference Proceedings; No. 358).

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

Making use of business goals in usability evaluation: an experiment with novice evaluators

Hornbæk, Kasper & Frøkjær, Erik, 2008, CHI 2008: 26th Annual SIGCHI Conference on Human Factors in Computing Systems, April 5-10, 2008, Florence, Italy, Conference Proceedings. Burnett, M., Constabile, M. F., Catarci, T., Ruyter, B. D., Tan, D., Czerwinski, M. & Lund, A. (eds.). Association for Computing Machinery, Vol. 1. p. 903-912 9 p.

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

Multi-Scale Natural Images: A database and some statistics

Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2008, Proceedings of 16'th Danish Conference on Pattern Recognition and Image Analysis (DSAGM) 2008. Olsen, S. I. (ed.). Department of Computer Science, University of Copenhagen, 2 p. (DIKU Technical Report; No. 08-10).

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

Multi-classification by categorical features via clustering

Seldin, Yevgeny & Tishby, N., 2008, Proceedings of the 25th International Conference on Machine Learning (ICML).

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

Protein Decoy Generation Using Branch and Bound with Efficient Bounding

Paluszewski, M. & Winter, Pawel, 2008, Algorithms in Bioinformatics: 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings. Crandall, K. A. & Lagergren, J. (eds.). Springer, p. 382-393 12 p. (Lecture Notes in Computer Science : Lecture Notes in Bioinformatics; No. 5251).

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

Semi-Inversion of Functional Parameters

Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 21-29 9 p.

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

Vessel-guided airway segmentation based on voxel classification

Lo, P. C. P., Sporring, Jon, Ashraf, H., Holst Pedersen, J. J. & de Bruijne, Marleen, 2008, The first International Workshop on Pulmonary Image Analysis: New York, September 6, 2008. Brown, M., de Bruijne, M., van Ginneken, B., Kiraly, A., Kuhnigk, J-M., Lorenz, C., Mori, K. & Reinhardt, J. (eds.). Lulu.com, p. 113-122

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

Voxel Classification Based Vessel-guided Airway Segmentation

Lo, P. C. P., Sporring, Jon, Ashraf, H., Pedersen, J. H. J. & de Bruijne, Marleen, 2008, Proceedings of the Danish Conference on Pattern Recognition and Image Analysis: Organised by Danish Society for Automatic Pattern Recognition (Dansk Selskab for automatisk genkendelse af mønstre), Departmen of Computer Science, University of Copenhagen, Thursday 21 August 2008. Olsen, S. I. (ed.). Museum Tusculanum, p. 8-9 (Datalogisk Institut. Københavns Universitet. Technical Reports; No. 08-10).

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

Accuracy evaluation of application-level performance measurements

Wac, Katarzyna, Arlos, P., Fiedler, M., Chevul, S., Isaksson, L. & Bults, R., 26 Sep 2007, NGI 2007: 2007 Next Generation Internet Networks - 3rd EuroNGI Conference on Next Generation Internet Networks: Design and Engineering for Heterogeneity. p. 1-5 5 p. 4231813. (NGI 2007: 2007 Next Generation Internet Networks - 3rd EuroNGI Conference on Next Generation Internet Networks: Design and Engineering for Heterogeneity).

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

Random walk term weighting for information retrieval

Blanco, R. & Lioma, Christina, 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 829-830 2 p.

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

Making operations on standard-library containers strongly exception safe

Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Vol. 07. p. 158-169

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

Stronger guarantees for standard-library containers

Katajainen, J., 2007, Algorithm Engineering. Vol. 25. p. 31-35

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

A batch Algorithm for Implicit Non-Rigid Shape and Motion Recovery

Bartoli, A. & Olsen, Søren Ingvor, 2007, Dynamical Vision: ICCV 2005 and ECCV 2006 workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, . Revised papers 2006. Vidal, R., Heyden, A. & Ma, Y. (eds.). Springer, p. 257-269 8 p. (Lecture notes in computer science; No. 4358).

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

Boneless Pose Editing and Animation

Bærentzen, J. A., Hansen, K. E. & Erleben, Kenny, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 562-571 (Lecture notes in computer science; No. 4522).

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

Compositional Contract Specification for REA

Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

Diffusion Based Photon Mapping

Schjøth, L., Fogh Olsen, O. & Sporring, Jon, 2007, Advances in Computer Graphics and Computer Vision: International conferences, VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006 : revised selected papers. Braz, J., Ranchordas, A., Araújo, H. & Jorge, J. (eds.). Berlin/Heidelberg: Springer, p. 109-122 (Communications in Computer and Information Science; No. 4).

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

Geometric and Texture Inpainting by Gibbs Sampling

Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Proceedings SSBA 2007: Symposium on inage analysis, Linköping, March 14-14, 2007. Borga, M., Brun, A. & Felsberg, M. (eds.). Linköpings Universitet, 4 p. (Institutionen för medicinsk teknik, Universitetet i Linköping; No. LiU-IMT-R-0047).

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

Image Inpainting by Cooling and Heating

Gustafsson, D. K. J., Steenstrup Pedersen, Kim & Nielsen, Mads, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Springer, p. 591-600 10 p. (Lecture notes in computer science; No. 4522).

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

Information bottleneck for non co-occurrence data

Seldin, Yevgeny, Slonim, N. & Tishby, N., 2007, Advances in Neural Information Processing Systems (NIPS).

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

Line-Stepping for Shell Meshes

Erleben, Kenny & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Ersbøll, B. K. & Pedersen, K. S. (eds.). Springer, p. 472-481 (Lecture notes in computer science; No. 4522).

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

On the power of structural violations in priority queues

Katajainen, J., Elmasry, A. & Jensen, C., 2007, CATS 2007: Proceedings of the 13th Australasian Symposium on Theory of Computing, Ballarat, Victoria, Australia, January 30 - February 2, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, p. 45-53 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

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

Photon differentials

Schjøth, L., Revall Frisvad, J., Erleben, Kenny & Sporring, Jon, 2007, GRAPHITE 2007: Proceedingsof the 5th international conference on computer graphics and interactive techniques in Australia and Southeast Asia, December 1-4, 2007, Perth, Western Austalia. Association for Computing Machinery, p. 179-186

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

Photon differentials

Schjøth, L., Frisvad, J. R., Erleben, Kenny & Sporring, Jon, 2007, Proceedings - GRAPHITE 2007, 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia. p. 179-186 8 p. (Proceedings - GRAPHITE 2007, 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia).

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

Preface

Kjær Ersbøll, B. & Steenstrup Pedersen, Kim, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Berlin / Heidelberg: Springer, 1 p. (Lecture notes in computer science; No. 4522).

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

Reconstructing teeth with bite information

Hommelhoff Jensen, K. & Sporring, Jon, 2007, Image Analysis: 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007. Kjær Ersbøll, B. & Steenstrup Pedersen, K. (eds.). Springer, p. 102-111 (Lecture notes in computer science; No. 4522).

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

Salient Point and Scale Detection by Minimum Likelihood

Steenstrup Pedersen, Kim, Loog, M. & van Dorst, P., 2007, Gaussian processes in practice. Microtome Publishing, p. 59-72 14 p. (JMLR: Workshop and Conference Proceedings; No. 1).

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

Some structural and geometric properties of two-connected Steiner networks

Hvam, K. L., Reinhardt, L. B., Winter, Pawel & Zachariasen, M., 2007, CATS 2007:  Proceedings of the Thirteenth  Australasian Symposium on Theory of Compting, Ballarat, Victoria, Australia, January 30 - February 02, 2007. Gudmundsson, J. & Jay, B. (eds.). Australian Computer Society, Vol. 65. p. 85-90 (ACM international conference proceedings series; No. 240). (Conferences in Research and Practice in Information Technology; No. 65).

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

Using Priors for Improving Generalization in Non-Rigid Structure-from-Motion

Olsen, Søren Ingvor & Bartoli, A., 2007, British Machine Vision Conference 2007: Proceedings. Rajpoot, N. & Bhalerao, A. (eds.). BMVA, Vol. 1-2. p. 1050-1059

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

What is a Sort Function?

Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

Mobile health care: Towards a commercialization of research results

Konstantas, D., Bults, R., Van Halteren, A., Wac, Katarzyna, Jones, V., Widya, I., Herzog, R. & Streimelweger, B., 1 Dec 2006, European Conference on eHealth 2006, Proceedings of the ECEH 2006. p. 155-166 12 p. (European Conference on eHealth 2006, Proceedings of the ECEH 2006).

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

QoS-predictions service: Infrastructural support for proactive QoS- and context-a ware mobile services (position paper)

Wac, Katarzyna, Van Halteren, A. & Konstantas, D., 1 Jan 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops - OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerS. Springer Verlag, p. 1924-1933 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4278 LNCS - II).

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

University of Glasgow at WebCLEF 2005: Experiments in per-field normalisation and language specific stemming

Macdonald, C., Plachouras, V., He, B., Lioma, Christina & Ounis, I., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4022 LNCS. p. 898-907 10 p.

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

University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier

Lioma, Christina, Macdonald, C., Plachouras, V., Peng, J., He, B. & Ounis, I., 1 Jan 2006, University of glasgow at TREC 2006: Experiments in terabyte and enterprise tracks with terrier. (N I S T Special Publication).

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

A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments

Brønsted, J. R., Hansen, K. M. & Thorup, R., 2006, 6th International Conference on ITS Telecommunications (ITST2006). p. 1145-1150 6 p.

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

Diffusion Based Photon Mapping

Schjøth, L., Olsen, O. F. & Sporring, Jon, 2006, Proceeding of the First International conference on Computer Graphics -- Theory and Applications -- (GRAPP). p. 168-175

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

Implicit Non-Rigid Shape from Motion

Olsen, Søren Ingvor, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 92-99

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

Preface

Larsen, R., Nielsen, Mads & Sporring, Jon, 2006, 9th International Conference of Medical Image Computing and Computer-Assisted Intervention (MICCAI). p. V-VI

Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

Putting your data structure on a diet (Abstract)

Brönnimann, H., Katajainen, J. & Morin, P., 2006, Ikke angivet. Department of Computer Science, University of Copenhagen, p. 3

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

Report on an Implementation of a Semi-Inverter

Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

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

Scan Conversion of Signed Distance Fields

Erleben, Kenny & Dohlmann, H., 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedbehandling. 06/08 ed. Museum Tusculanum, p. 81-91

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

Sideways Stepping

Markussen, B., Sporring, Jon & Erleben, Kenny, 2006, Proceedings fra den 15. Danske Konference i Mønstergenkendelse og Billedanalyse. 06/08 ed. Museum Tusculanum, p. 80-80

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

Two-tier relaxed heaps

Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 6th STL Workshop. Department of Computer Science, University of Copenhagen, p. 2 (CPH STL Report; No. 2006-8).

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

Two-tier relaxed heaps: Lecture Notes in Computer Science

Elmasry, A., Jensen, C. & Katajainen, J., 2006, Proceedings of the 17th International Symposium on Algorithms and Computation. Springer, Vol. 4288. p. 308-317 (Lecture notes in computer science, Vol. 4288).

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

Visualization of Tooth Eruption in CT-Scans

Franken, E., Sporring, Jon & Kreiborg, Sven, 2006, International Workshop on Craniofacial Image Analysis for Biology, Clinical Genetics, Diagnostics and Treatment: MICCAI 2006 Workshop Proceedings. Darvann, T. A., Hermann, N. V., Larsen, P. & Kreiborg, S. (eds.). IT-Universitetet i København, p. 33-40

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

What kind of usability-problem description are useful for developers

Hornbæk, Kasper & Frøkjær, Erik, 2006, Proceedings of the Annual Meeting of Human Factors and Ergonomics Society. p. 2523-2527

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

Abaris: Evaluating automated capture applied to structured autism interventions

Kientz, J. A., Boring, S., Abowd, G. D. & Hayes, G. R., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 323-339 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3660 LNCS).

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

Goodput analysis of 3G wireless networks supporting m-health services

Bults, R., Wac, Katarzyna, Van Halteren, A., Nicola, V. & Konstantas, D., 1 Dec 2005, Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005. p. 99-106 8 p. 1458461. (Proceedings of the 8th International Conference on Telecommunications, ConTEL 2005, Vol. 1).

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

Towards QoS-awareness of context-aware mobile applications and services

Wac, Katarzyna, 1 Dec 2005, On the Move to Meaningful Internet Systems 2005: OTM Workshops - OTM Confederated Int. Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Proceedings. p. 751-760 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3762 LNCS).

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

A Multi-Scale Singularity Bounding Volume Hierarchy

Somchaipeng, K., Erleben, Kenny & Sporring, Jon, 2005, Proceedings of WSCG. <Forlag uden navn>, p. 179-186

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

Comparing usability problems and redesign proposal as input to practical systems development

Hornbæk, Kasper & Frøkjær, Erik, 2005, Proceedings of ACM Conference on Human Factors in Computing Systems (CHI 2005). New York, NY: Association for Computing Machinery, p. 391-400

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

Cooperative Usability Testing: Complementing Usability Tests with User-supported Interpretation Sessions

Frøkjær, Erik & Hornbæk, Kasper, 2005, Extended Abstracts of ACM Conference on Human Factors in Computing Systems (CHI 2005). p. 1383-1386

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

Deferred path heuristic for phylogenetic trees revisited

Nielsen, B. K., Lindgren, S., Winter, Pawel & Zachariasen, M., 2005, Proceedings Of CompBioNets05: Algorithms and Computional Methods for Biochemical and Evolutionary Networks. King's College Publications, p. 75-92 18 p.

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

Effect type systems and region-based memory management

Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

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

Exemplar Based Recognition of Visual Shapes

Olsen, Søren Ingvor, 2005, Proceedings fra den 14. Danske Konference i Mønstergenkendelse og Billedanalyse. 05/06 ed. Museum Tusculanum, p. 93-102

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

Exemplar Based Recognition of Visual Shapes

Olsen, Søren Ingvor, 2005, Image Analysis. <Forlag uden navn>, p. 852-861 (Lecture notes in computer science, Vol. 3540/2005).

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

OpenTissue - An Open Source Toolkit for Physics-Based Animation

Erleben, Kenny, Sporring, Jon & Dohlmann, H., 2005, ISC / NA-MIC / MICCAI Workshop on Open-Source Software. p. -

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

Philosophical Locutions in Scientific and Scholarly Activity

Naur, P. & Frøkjær, Erik, 2005, An anatomy of human mental life. Gentofte, Danmark: naur.com publishing, p. -

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

Quasi-interpretations and small space bounds

Bonfante, G., Marion, J. & Moyen, J., 2005, TERM REWRITING AND APPLICATIONS, PROCEEDINGS. Vol. 3467. p. 150-164

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

Report on an Implementation of a Semi-Inverter

Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 ed. Museum Tusculanum, p. 54-62 9 p.

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

Semi-Inversion of Guarded Equations

Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 ed. Berlin: Springer, p. 189-204 16 p.

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

MobiHealth: Ambulant patient monitoring over next generation public wireless networks

Van Halteren, A., Konstantas, D., Bults, R., Wac, Katarzyna, Dokovsky, N., Koprinkov, G., Jones, V. & Widya, I., 1 Jan 2004, E-Health: Current Status and Future Trends. IMIA and IOS Press, p. 107-122 16 p. (Studies in Health Technology and Informatics, Vol. 106).

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

A Denotational Account of Untyped Normalization by Evaluation

Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

A New Paradigm for General Architecture Routing

Paluszewski, M., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the 14th ACM Great Lakes Symposium on VLSI. New York, NY, USA: Association for Computing Machinery, p. 202-207

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

Asymmetry quantization and application to human mandibles

Glerup, N., Nielsen, M., Sporring, Jon & Kreiborg, Sven, 2004, Proceedings of SPIE. p. 274-282 (Medical Imaging 2004: Image Processing, Vol. 5370).

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

Ballet Balance Strategies

Pedersen, C., Erleben, Kenny & Sporring, Jon, 2004, Proceedings of SIMS 2004. Technical University of Copenhagen, p. 323-330

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

Compositional Specification of Commercial Contracts

Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

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

Flexibility of Steiner trees in uniform orientation metrics

Brazil, M., Winter, Pawel & Zachariasen, M., 2004, Proc. of the 15th International Symposium, ISAAC. Springer, p. 196-205 10 p. (Lecture notes in computer science; No. 3341).

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

Reengineering a university department: promoting the operational change og the computing department at the University of Copenhagen

Curry, C. D. & Katajainen, J., 2004, ?. p. xii+183

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

The structure and flexibility of Steiner trees in uniform orientation metrics

Brazil, M., Thomas, D. A., Weng, J. F., Winter, Pawel & Zachariasen, M., 2004, Proceedings of the sixth international conference on optimization: techniques and applications (ICOTA6 2004). <Forlag uden navn>, p. 1-11

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

Collision Detection of Deformable Volumetric Meshes

Erleben, Kenny & Sporring, Jon, 2003, Graphics Programming Methods, chapter 1.5. Lander, J. (ed.). Charles River Media, p. 51-68

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

Detection and Localization of Random Signals

Sporring, Jon, Olsen, N. H. & Nielsen, Mads, 2003, Scale Space Methods in Computer Vision: 4th International Conference, Scale Space 2003 Isle of Skye, UK, June 10–12, 2003 Proceedings. p. 785-797 (Lecture notes in computer science, Vol. 2695/2003).

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

End-Stop Exemplar Based Recognition

Olsen, Søren Ingvor, 2003, Image Analysis: 13th Scandinavian Conference, SCIA 2003 Halmstad, Sweden, June 29 – July 2, 2003 Proceedings. p. 257-266 (Lecture notes in computer science, Vol. 2749/2003).

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

Evaluating User Interface with Metaphors of Human Thinking

Frøkjær, Erik & Hornbæk, Kasper, 2003, Universal Access. Lecture Notes. 2615 ed. Berlin, Heidelberg: Springer, p. 22

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

Linear Types for Cashflow Reengineering

Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

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