Department of Computer Science

"It’s about Business not Politics”: software development between Palestinians and Israelis

Boulus-Rødje, N., Bjorn, Pernille & Ghazawneh, A., 2015, ECSCW 2015: Proceedings of the 14th European Conference on Computer Supported Cooperative Work, 19-23 September 2015, Oslo, Norway. Springer, p. 43-61 19 p.

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

(Automated) software modularization using community detection

Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).

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

mQoL: experiences of the 'mobile communications and computing for quality of life' living lab

Wac, Katarzyna, Gustarini, M., Marchanoff, J., Fanourakis, M., Tsiourti, C., Ciman, M., Hausmann, J. & Pinar, G., 2015, 2015 17th International Conference on E-health Networking, Application Services (HealthCom). IEEE, p. 177-181 5 p.

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

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 CMA-ES with multiplicative covariance matrix updates

Krause, Oswin & Glasmachers, T., 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, p. 281-288 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 Complete Characterization of Infinitely Repeated Two-Player Games having Computable Strategies with no Computable Best Response under Limit-of-Means Payoff

Dargaj, J. & Simonsen, Jakob Grue, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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 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 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 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

A Near-Linear Approximation Scheme for Multicuts of Embedded Graphs with a Fixed Number of Terminals

Cohen-addad, V., De Verdière, É. C. & De Mesmay, A., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 1439-1458

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

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

A Semantic Model of Binding Times for Safe Partial Evaluation

Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. Springer

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

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

A World Wide Web-based HCI-library Designed for Interaction Studies

Perstrup, K., Frøkjær, Erik, Konstantinovitz, M., Konstantinovitz, T., Sørensen, F. S. & Varming, J., 1997, Proceedings of the third ERCIM workshop on User Interfaces for All. Villers-les-Nancy, Frankrig: INRIA Lorraine, p. 137-142

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

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

A classical propositional logic for reasoning about reversible logic circuits

Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

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 concurrent data collection environment for wasteful communication satellite system

Skovsgaard, T., Sørensen, P. D., Dickson, L. J., Quarrie, L. O. B. & Vinter, B., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (eds.). IMIA and IOS Press, p. 189-197 9 p. (Concurrent Systems Engineering Series, Vol. 70).

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

A fast Linear Complementarity Problem (LCP) solver for separating fluid-solid wall boundary Conditions

Andersen, M., Abel, S. M. N. & Erleben, Kenny, 2017, Workshop on Virtual Reality Interaction and Physical Simulation. Jaillet, F. & Zara, F. (eds.). The Eurographics Association, p. 39-48 10 p.

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

A fast approximation scheme for low-dimensional k-means

Cohen-Addad, V., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 430-440

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

A framework for data mining in wind power time series

Kramer, O., Gieseke, Fabian Cristian, Heinermann, J., Poloczek, J. & Treiber, N. A., 2014, Data analytics for renewable energy integration: Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Woon, W. L., Aung, Z. & Madnick, S. (eds.). Springer, p. 97-107 (Lecture notes in computer science, Vol. 8817).

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

A hierarchical recurrent encoder-decoder for generative context-aware query suggestion

Sordoni, A., Bengio, Y., Vahabi, H., Lioma, Christina, Simonsen, Jakob Grue & Nie, J., 2015, CIKM '15 Proceedings of the 24th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, p. 553-562 10 p.

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

A hierarchy of fast reversible turing machines

Axelsen, H. B., Jakobi, S., Kutrib, M. & Malcher, A., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (eds.). Springer, p. 29-44 16 p. (Lecture notes in computer science, Vol. 9138).

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

A more efficient rank-one covariance matrix update for evolution strategies

Krause, Oswin & Igel, Christian, 2015, Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery, p. 129-136 8 p.

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

A non-convex variational approach to photometric stereo under inaccurate lighting

Quéau, Y., Wu, T., Lauze, Francois Bernard, Durou, J. & Cremers, D., Jul 2017, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 350-359 10 p.

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

A note on differential corner measures

Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, Proceedings of 14th International Conference on Pattern Recognition (ICPR 14). p. 652-654

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

A random Riemannian metric for probabilistic shortest-path tractography

Hauberg, S., Schober, M., Liptrot, M. G., Hennig, P. & Feragen, A., 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 597-604 8 p. (Lecture notes in computer science, Vol. 9349).

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

A randomized in-place algorith for positioning the k\'th element in a multiset

Katajainen, J. & Pasanen, T. A., 2002, Proceedings of the 8th Scandinavian Workshop on Algorithm Theory. Springer, p. 408-417

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

A real-time passive vision system for robotic arc welding

Liu, J., Fan, Z., Olsen, Søren Ingvor, Christensen, K. H. & Kristensen, J. K., 2015, 2015 IEEE International Conference on Automation Science and Engineering (CASE). IEEE, p. 389-394 6 p.

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

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 short survey on decision making for task migrations in mobile cloud environments

Zhang, W., Tan, S. & Hansen, K. M., 2014, 2014 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI). IEEE, p. 64-67 4 p.

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

A simple and optimal ancestry labeling scheme for trees

Dahlgaard, S., Knudsen, M. B. T. & Rotbart, N. G., 2015, Automata, languages, and programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (eds.). Springer, p. 564-574 11 p. (Lecture notes in computer science, Vol. 9135).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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

A statistical model for simultaneous template estimation, bias correction, and registration of 3D brain images

Pai, A. S. U., Sommer, Stefan Horst, Raket, L. L., Kühnel, L., Darkner, Sune, Sørensen, L. & Nielsen, Mads, 2017, Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers. Müller, H., Kelm, B. M., Arbel, T., Cai, W., Cardoso, M. J., Langs, G., Menze, B., Metaxas, D., Montillo, A., Wells, W. M., Zhang, S., Chung, A. C. S., Jenkinson, M. & Ribbens, A. (eds.). Springer, p. 151-159 9 p. (Lecture notes in computer science, Vol. 10081).

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

A stochastic large deformation model for computational anatomy

Arnaudon, A., Holm, D. D., Pai, A. S. U. & Sommer, Stefan Horst, 2017, Information Processing in Medical Imaging: 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings. Springer, p. 571-582 12 p. (Lecture notes in computer science, Vol. 10265).

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

A strongly quasiconvex PAC-Bayesian bound

Thiemann, N., Igel, Christian, Wintenberger, O. & Seldin, Yevgeny, 2017, Proceedings of International Conference on Algorithmic Learning Theory, 15-17 October 2017, Kyoto University, Kyoto, Japan . Hanneke, S. & Reyzin, L. (eds.). Proceedings of Machine Learning Research, p. 466-492 (Proceedings of Machine Learning Research, Vol. 76).

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

A study of factuality, objectivity and relevance: three desiderata in large-scale information retrieval?

Lioma, Christina, Larsen, B., Lu, W. & Huang, Y., 2016, Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies. Association for Computing Machinery, p. 107-117 11 p.

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

A L¹-TV algorithm for robust perspective photometric stereo with spatially-varying lightings

Quéau, Y., Lauze, Francois Bernard & Durou, J., 2015, Scale space and variational methods in computer vision: 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings. Springer, p. 498-510 13 p. (Lecture notes in computer science, Vol. 9087).

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

APL on GPUs: a TAIL from the Past, scribbled in Futhark

Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.

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

ARRIVAL: Next stop in CLS

Gärtner, B., Hansen, T. D., Hubácek, P., Král, K., Mosaad, H. & Slívová, V., 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 60. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 107).

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

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

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

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

Adaptive distributional extensions to DFR ranking

Petersen, C., Simonsen, Jakob Grue, Järvelin, K. & Lioma, Christina, 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2005-2008 4 p.

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

Adaptive time-stepping in diffeomorphic image registration with bounded inverse consistency error

Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Sørensen, L. E. B. L., Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, The 18th International Conference on Medical Image Computing and Computer Assisted Intervention: proceedings. Technische Universität München , p. 35-47 13 p.

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

Additive spanners: a simple construction

Knudsen, M. B. T., 2014, Algorithm theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 277-281 5 p. (Lecture notes in computer science, Vol. 8503).

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

Adjacency labeling schemes and induced-universal graphs

Alstrup, Stephen, Kaplan, H., Thorup, Mikkel & Zwick, U., 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC 2015, Portland, OR, USA, June 14-17, 2015: STOC '15. Association for Computing Machinery, p. 625-634 10 p.

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

Airports and railways: facility location meets network design

Adamaszek, A. M., Antoniadis, A. & Mömke, T., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 6. (Leibniz International Proceedings in Informatics, Vol. 47).

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

Alignment of concerns: a design rationale for patient participation in eHealth

Andersen, Tariq Osman, Bansler, Jørgen P., Kensing, Finn, Moll, J. & Nielsen, K. D., 2014, 2014 47th Hawaii International Conference on System Sciences (HICSS). IEEE, p. 2587-2596 10 p.

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

All-pairs minimum cuts in near-linear time for surface-embedded graphs

Borradaile, G., Eppstein, D., Nayyeri, A. & Wulff-Nilsen, Christian, 2016, 32nd International Symposium on Computational Geometry (SoCG 2016). Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. (Leibniz International Proceedings in Informatics, Vol. 51).

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

Alpha complexes in protein structure prediction

Winter, Pawel & Fonseca, R., 2015, Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. SCITEPRESS (Science and Technology Publications, Lda.), p. 178-182 5 p.

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

An Exact Algorithm for the Uniformly-Oriented Steiner Tree Problem

Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proceedings of the 10-th European Symposium on Algorithms, Lecture Notes in Computer Science 2461. Springer, Vol. 2461. p. 760-771

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

An affect detection technique using mobile commodity sensors in the wild

Mottelson, A. & Hornbæk, Kasper, 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. Association for Computing Machinery, p. 781-792 12 p.

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

An algorithm for stochastic and adversarial bandits with switching costs

Rouyer, C., Seldin, Yevgeny & Cesa-Bianchi, N., 2021, Proceedings of the 38th International Conference on Machine Learning (ICML). PMLR, p. 9127-9135 (Proceedings of Machine Learning Research, Vol. 139).

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

An evaluation of dynamic labeling schemes for tree networks

Rotbart, N. G., Vaz Salles, M. A. & Zotos, I., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings. Gudmundsson, J. & Katajainen, J. (eds.). Springer, p. 199-210 12 p. (Lecture notes in computer science, Vol. 8504).

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

An evaluation of shape changes for conveying emotions

Strohmeier, P., Carrascal, J. P., Cheng, B., Meban, M. & Vertegaal, R., 2016, Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3781-3792 12 p.

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

An implicit characterization of the polynomial-time decidable sets by cons-free rewriting

de Carvalho, D. B. & Simonsen, Jakob Grue, 2014, Rewriting and typed lambda calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer Science+Business Media, p. 179-193 15 p. (Lecture notes in computer science, Vol. 8560).

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

An improved multileaving algorithm for online ranker evaluation

Brost, B., Cox, Ingemar Johansson, Seldin, Yevgeny & Lioma, Christina, 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval: SIGIR '16. Association for Computing Machinery, p. 745-748 4 p.

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 improved parametrization and analysis of the EXP3++ algorithm for stochastic and adversarial bandits

Seldin, Yevgeny & Lugosi, G., 2017, Proceedings of Conference on Learning Theory, 7-10 July 2017, Amsterdam, Netherlands. Kale, S. & Shamir, O. (eds.). Proceedings of Machine Learning Research, p. 1743-1759 (Proceedings of Machine Learning Research, Vol. 65).

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

An in-depth study of sparse codes on abnormality detection

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Anisotropic distributions on manifolds: template estimation and most probable paths

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

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

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

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

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

AnnoDomini: From Type Theory to Year 2000 Conversion Tool

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

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

Applications of health information exchange information to public health practice

Kierkegaard, P., Kaushal, R. & Vest, J. R., 2014, AMIA Annual symposium proceedings. American Medical Informatics Association, p. 795-804 10 p. (AMIA Annual Symposium Proceedings, Vol. 2014).

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

Approximate distance oracles for planar graphs with improved query time-space tradeoff

Wulff-Nilsen, Christian, 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (ed.). Association for Computing Machinery, p. 351-362 12 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

Approximate distance oracles with improved query time

Wulff-Nilsen, Christian, 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). Springer, p. 94-97 4 p.

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

Approximate distance oracles with improved query time

Wulff-Nilsen, Christian, 2014, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, p. 1-4 4 p.

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

Approximately minwise independence with twisted tabulation

Dahlgaard, S. & Thorup, Mikkel, 2014, Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings. Ravi, R. & Gørtz, I. L. (eds.). Springer, p. 134-145 12 p. (Lecture notes in computer science, Vol. 8503).

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

Architectures of Prototypes and Architectural Prototyping

Christensen, M., Damm, C. H., Hansen, K. M., Sandvad, E. S. & Thomsen, M., 1998, Proceedings of NWPER'98. p. 247-267 21 p.

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › 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

Artistic movement recognition by boosted fusion of color structure and topographic description

Florea, C., Toca, C. & Gieseke, Fabian Cristian, 11 May 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision. IEEE, p. 569-577 9 p.

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

Aspects you should consider in your action plan when implementing an improvement strategy

Carstensen, Peter & Vinter, O., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Mas, A., Mesquida, A., O'Connor, R. V., Rout, T. & Dorling, A. (eds.). Springer, p. 467-480 14 p. (Communications in Computer and Information Science, Vol. 770).

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

Assessing breast cancer masking risk in full field digital mammography with automated texture analysis

Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, 7th International Workshop on Breast Densitometry and Cancer Risk Assessment (Non-CME). University of California, p. 109 1 p.

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

Assessing breast cancer masking risk with automated texture analysis in full field digital mammography

Kallenberg, M. G. J., Lillholm, Martin, Diao, P., Petersen, K., Holland, K., Karssemeijer, N., Igel, Christian & Nielsen, Mads, 2015, Breast Imaging and Interventional. Radiological Society of North America, Inc, p. 218 1 p.

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

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

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

Augmented reality views for occluded interaction

Lilija, K., Pohl, H., Boring, S. & Hornbæk, Kasper, 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 446

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

Auto-segmentation of Hip Joints Using MultiPlanar UNet with Transfer Learning

Xu, Peidi, nsv780, nsv780, Gholamalizadeh, T., Nielsen, Michael Bachmann, Erleben, Kenny & Darkner, Sune, 2022, Medical Image Learning with Limited and Noisy Data: First International Workshop, MILLanD 2022 Held in Conjunction with MICCAI 2022 Singapore, September 22, 2022 Proceedings. Zamzmi, G., Antani, S., Rajaraman, S., Xue, Z., Bagci, U. & Linguraru, M. G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 153-162 10 p. (Medical Image Learning with Limited and Noisy Data, Vol. 13559).

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 FDG-PET-based tumor and metastatic lymph node segmentation in cervical cancer

Rodríguez Arbonès, D., Jensen, H. G., Loft, A., af Rosenschöld, P. M., Hansen, A. E., Igel, Christian & Darkner, Sune, 2014, Medical Imaging 2014: Image Processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 8 p. 903441. (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).

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

Automatic galaxy classification via machine learning techniques: Parallelized rotation/flipping INvariant Kohonen maps (PINK)

Polsterer, K. L., Gieseke, Fabian Cristian & Igel, Christian, 2015, Astronomical Data Analysis Software and Systems: Proceedings of a meeting held at Calgary, Alberta, Canada 5-9 October 2014. Taylor, A. R. & Rosolowsky, E. (eds.). Astronomical Society of the Pacific, Vol. 24. p. 81-86 6 p. (ASP Conference Series, Vol. 495).

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

Back to the Future: Sequential Alignment of Text Representations

Bjerva, J., Kouw, W. M. & Augenstein, Isabelle, 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, 8 p.

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

Balancing priorities: a field study of coordination in distributed elder care

Mønsted, T., Johansen, A. K., Lauridsen, F. V. B., Manea, V. & Slavin-Borovskij, K., 2016, Proceedings of the 49th Annual Hawaii International Conference on System Sciences, HICSS 2016. IEEE, p. 970-978 9 p. 7427301

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

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

Behind the NAT??? A measurement based evaluation of cellular service quality

Kaup, F., Michelinakis, F., Bui, N., Widmer, J., Wac, Katarzyna & Hausheer, D., 2015, Network and Service Management (CNSM), 2015 11th International Conference on. IEEE, p. 228-236 9 p.

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

Benefits of auxiliary information in deep learning-based teeth segmentation

Dascalu, Tudor-Laurentiu, Kuznetsov, A. & Ibragimov, Bulat, 2022, Medical Imaging 2022: Image Processing. Colliot, O., Isgum, I., Landman, B. A. & Loew, M. H. (eds.). SPIE, p. 1-9 1203232. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE, Vol. 12032).

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

Best laid plans of lions and men

Abrahamsen, Mikkel, Holm, Jacob, Rotenberg, E. & Wulff-Nilsen, Christian, 2017, 33rd International Symposium on Computational Geometry (SoCG 2017). Aronov, B. & Katz, M. J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 6. (Leibniz International Proceedings in Informatics, Vol. 77).

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

Better tradeoffs for exact distance oracles in planar graphs

Gawrychowski, P., Mozes, S., Weimann, O. & Wulff-Nilsen, Christian, 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms . Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 515-529

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

Bigger buffer k-d trees on multi-many-core systems

Gieseke, Fabian Cristian, Oancea, Cosmin Eugen, Mahabal, A., Igel, Christian & Heskes, T., 2019, High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17–19, 2018, Revised Selected Papers. Springer, p. 202-214 (Lecture Notes in Computer Science, Vol. 11333).

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

Block Truncation and Planar Image Coding

Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, p. 75-81

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

Block Truncation and Planar Image Coding

Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, p. 569-575

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

Block Truncation and planar image coding, Vol.21, no.13-14

Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, p. 1141-1148

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

Body-based user interfaces

Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, Joanna, Jansen, Y. & Hornbæk, Kasper, 2022, The Routledge Handbook of Bodily Awareness. Taylor and Francis/Routledge, p. 478-502

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › 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

Boosting reversible pushdown machines by preprocessing

Axelsen, H. B., Kutrib, M., Malcher, A. & Wendlandt, M., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (eds.). Springer, p. 89-104 16 p. (Lecture notes in computer science, Vol. 9720).

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

Bottleneck paths and trees and deterministic graphical games

Chechik, S., Kaplan, H., Thorup, Mikkel, Zamir, O. & Zwick, U., 2016, 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-13 13 p. 27. (Leibniz International Proceedings in Informatics, Vol. 47).

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

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

Bounds checking: an instance of hybrid analysis

Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 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

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

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

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

Breast tissue segmentation and mammographic risk scoring using deep learning

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

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

Bridge simulation and metric estimation on landmark manifolds

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

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

Brief announcement: labeling schemes for power-law graphs

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

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

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

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

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

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

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

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

Building Information Modeling: the dream of perfect information

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

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

CMA-ES with optimal covariance update and storage complexity

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

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

Calculating certified compilers for non-deterministic languages

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

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

Calibration of an agile camera

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

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

Can AMR Assist Legal and Logical Reasoning?

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

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

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

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

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

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

Certified symbolic management of financial multi-party contracts

Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, p. 315-327 13 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

Characterization of errors in deep learning-based brain MRI segmentation

Pai, A. S. U., Teng, Y., Blair, J. P. M., Kallenberg, M. G. J., Dam, Erik Bjørnager, Sommer, Stefan Horst, Igel, Christian & Nielsen, Mads, 2017, Deep learning for medical image analysis. Zhou, S. K., Greenspan, H. & Shen, D. (eds.). Academic Press, p. 223–242 20 p.

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › 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

Characterizing software activity: the influence of software to ecosystem health

Manikas, K. & Kontogiorgos, D., 2015, Proceedings of the 2015 European Conference on Software Architecture Workshops: ECSAW '15. Association for Computing Machinery, 6 p. 46

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › 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

Charting Subtle Interaction in the HCI Literature

Pohl, H., Muresan, A. & Hornbæk, Kasper, 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 15 p. 418

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

Chats with Bots: Balancing Imitation and Engagement

Muresan, A. & Pohl, H., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems - CHI '19. Association for Computing Machinery, 6 p. LBW0252

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

Classification of Alzheimer and MCI phenotypes on MRI data using SVM

Alzheimer’s Disease Neuroimaging Initiative, A. D. N. I., 2018, Advances in Signal Processing and Intelligent Recognition Systems: Proceedings of 3rd International Symposium on Signal Processing and Intelligent Recognition Systems, SIRS-2017. Springer, p. 263-275 (Advances in Intelligent Systems and Computing, Vol. 678).

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

Classification of COPD with multiple instance learning

Cheplygina, V., Sørensen, L. E. B. L., Tax, D., Pedersen, J. J. H., Loog, M. & de Bruijne, Marleen, 2014, 22nd International Conference on Pattern Recognition (ICPR) 2014. IEEE, p. 1508-1513 6 p. (International Conference on Pattern Recognition).

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

Classifying convex bodies by their contact and intersection graphs

Aamand, Anders, Abrahamsen, Mikkel, Knudsen, J. B. T. & Rasmussen, Peter Michael Reichstein, 2021, 37th International Symposium on Computational Geometry, SoCG 2021. Buchin, K. & de Verdiere, E. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 3. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 189).

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

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

Coinductive axiomatization of recursive type equality and subtyping

Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81

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

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

Coloring 3-colorable graphs with o(n ^1/5) colors

Kawarabayashi, K. & Thorup, Mikkel, 2014, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014). Mayr, E. W. & Portier, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 458-469 12 p. (Leibniz International Proceedings in Informatics, Vol. 25).

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

Combining the boundary shift integral and tensor-based morphometry for brain atrophy estimation

Michalkiewicz, M. D., Pai, A. S. U., Leung, K. K., Sommer, Stefan Horst, Darkner, Sune, Sørensen, L., Sporring, Jon & Nielsen, Mads, 2016, Medical imaging 2016: Image processing. Styner, M. A. & Angelini, E. D. (eds.). SPIE - International Society for Optical Engineering, 6 p. 978406. (Progress in Biomedical Optics and Imaging).

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

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

Compiling APL to accelerate through a typed array intermediate language

Budde, M., Dybdal, M. & Elsman, Martin, 2015, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 13-18 6 p.

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

Compiling a subset of APL into a typed intermediate language

Elsman, Martin & Dybdal, M., 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY’14): ARRAY'14 . Association for Computing Machinery, p. 101-106 6 p.

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

Compiling generalized histograms for GPU

Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244

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

Complexity hierarchies and higher-order cons-free rewriting

Kop, C. L. M. & Simonsen, Jakob Grue, 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 23. (Leibniz International Proceedings in Informatics, Vol. 52).

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

Composing and decomposing data types: a closed type families implementation of data types à la carte

Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, p. 71-82 12 p.

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

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

Compositional deep learning in Futhark

Tran, D. M., Henriksen, Troels & Elsman, Martin, 18 Aug 2019, FHPNC 2019 - Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, co-located with ICFP 2019. Zocca, M. (ed.). Association for Computing Machinery, p. 47-59

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

Computability in the lattice of equivalence relations

Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (eds.). Open Publishing Association, p. 38-46 9 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 248).

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

Computational anatomy in Theano

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

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

Computational artifacts: interactive and collaborative computing as an integral feature of work practice

Schmidt, K. & Bansler, Jørgen P., 2016, COOP 2016: proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy. De Angeli, A., Bannon, L., Marti, P. & Bordin, S. (eds.). Springer, p. 21-38 18 p.

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

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

Computational complexity of linear large margin classification with ramp loss

Maibing, S. F. & Igel, Christian, 2015, Proceedings of the 18th International Conference on Artificial Intelligence and Statistics (AISTATS) 2015. Lebanon, G. & Vishwanathan, S. V. N. (eds.). p. 259-267 9 p. (JMLR: Workshop and Conference Proceedings, Vol. 38).

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

Computer-supported patient involvement in heart rehabilitation

Kensing, Finn, 2017, Proceedings of 15th European Conference on Computer-Supported Cooperative Work: Exploratory Papers. European Society for Socially Embedded Technologies, p. 177-186 10 p. (Reports of the European Society for Socially Embedded Technologies; No. 2, Vol. 1).

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

Computerlingvistik: Metoder til visualisering af regional variation i sociale medier

Quist, Pia & Hovy, D., 2018, Sociale Medier og Sprog: Analytiske tilgange. Stæhr, A. & Mortensen, K. K. (eds.). Frederiksberg: Samfundslitteratur, p. 121-143 23 p. (Medier, Kommunikation, Journalistik).

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

Computing Optic Flow by Scale-Space Integration of Normal Flow

Steenstrup Pedersen, Kim & Nielsen, Mads, 2001, Proceedings of DSAGM'01, Den 10. Danske Konference om Mønstergenkendelse og Billedanalyse. p. 124-135 (DIKU teknisk rapport; No. 01-04).

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

Computing continuous-time Markov chains as transformers of unbounded observables

Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 338-354 17 p. (Lecture notes in computer science, Vol. 10203).

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

Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

Zachariasen, M. & Winter, Pawel, 1998, publisher. p. 144-153

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

Concrete Semantics with Coq and CoqHammer

Czajka, Ł., Ekici, B. & Kaliszyk, C., 18 Jul 2018, Intelligent Computer Mathematics: 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings. Rabe, F., Farmer, W. M., Passmore, G. O. & Youssef, A. (eds.). Springer, p. 53-59 5. (Lecture Notes in Computer Science, Vol. 11006).

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

Concurrent solution of the stereo correspondence problem and the surface reconstruction problem

Olsen, Søren Ingvor, 1986, Proceedings of the 8th International Conference on Pattern Recognition, CVPR. Paris, p. 1038-1040 3 p.

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

Confluence of an extension of combinatory logic by Boolean constants

Czajka, Ł., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 14. (Leibniz International Proceedings in Informatics, Vol. 84).

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

Connection forms for beating the heart

Mensch, A., Piuze, E., Lehnert, L., Backermans, A. J., Sporring, Jon, Strijkers, G. J. & Siddiqi, K., 2015, Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges: 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers. Camara, O., Mansi, T., Pop, M., Rhode, K., Sermesant, M. & Young, A. (eds.). Springer, p. 83-92 10 p. (Lecture notes in computer science, Vol. 8896).

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

Consistent Hashing with bounded loads

Mirrokni, V., Thorup, Mikkel & Zadimoghaddam, M., 2018, Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. Czumaj, A. (ed.). Society for Industrial and Applied Mathematics, p. 587-604 18 p.

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

Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627

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

Constructing Concise Convex Covers via Clique Covers

Abrahamsen, Mikkel, Meyling, William Bille & Nusser, André Fritz, 2023, 39th International Symposium on Computational Geometry, SoCG 2023. Chambers, E. W. & Gudmundsson, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-9 66. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 258).

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

Constructing light spanners deterministically in near-linear time

Alstrup, Stephen, Dahlgaard, S., Filtser, A., Stöckel, M. & Wulff-Nilsen, Christian, 2019, 27th Annual European Symposium on Algorithms, ESA 2019. Bender, M. A., Svensson, O. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 144).

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

Construction and impromptu repair of an MST in a distributed network with o(m) communication

King, V., Kutten, S. & Thorup, Mikkel, 2015, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 71-80 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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

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

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

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

Contracting a planar graph efficiently

Holm, Jacob, Italiano, G. F., Karczmarz, A., Łacki, J., Rotenberg, E. & Sankowski, P., 1 Sep 2017, 25th European Symposium on Algorithms, ESA 2017. Sohler, C., Sohler, C. & Pruhs, K. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 87).

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

Convolutional neural networks for segmentation and object detection of human semen

Nissen, M. S., Krause, Oswin, Almstrup, Kristian, Kjærulff, S., Nielsen, T. T. & Nielsen, Mads, 2017, Image Analysis: 20th Scandinavian Conference, SCIA 2017, Tromsø, Norway, June 12–14, 2017, Proceedings, Part I. Sharma, P. & Bianchi, F. M. (eds.). Springer, Vol. Part 1. p. 397-406 10 p. (Lecture notes in computer science, Vol. 10269).

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

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

CoreFun: A typed functional reversible core language

Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).

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

Correction of dental artifacts within the anatomical surface in PET/MRI using active shape models and k-nearest-neighbors

Ladefoged, C. N., Andersen, F. L., Keller, S. H., Beyer, T., Højgaard, Liselotte & Lauze, Francois Bernard, 2014, Proceedings of SPIE Medical Imaging 2014: Image processing. Ourselin, S. & Styner, M. A. (eds.). SPIE - International Society for Optical Engineering, 7 p. 90341M. (Proceedings of S P I E - International Society for Optical Engineering, Vol. 9034). (Progress in Biomedical Optics and Imaging; No. 35, Vol. 15).

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

Coupling motion and perception in body based UI

Strohmeier, P., 2017, Proceedings of the Eleventh International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 697-701 5 p.

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

Cross-Domain Label-Adaptive Stance Detection

Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 9011-9028

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

Cross-lingual RST discourse parsing

Braud, C. E., Coavoux, M. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: long papers. Association for Computational Linguistics, Vol. 1. p. 292-304 13 p.

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

Cross-lingual and cross-domain discourse segmentation of entire documents

Braud, C., Lacroix, O. & Søgaard, Anders, 1 Jan 2017, Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics: Short papers. Association for Computational Linguistics, Vol. 2. p. 237-243 7 p.

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

Cross-lingual tagger evaluation without test data

Agic, Z., Plank, B. & Søgaard, Anders, 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: short papers. Association for Computational Linguistics, Vol. 2. p. 248-253 6 p.

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

Cross-lingual transfer of correlations between parts of speech and gaze features

Barrett, M. J., Keller, F. & Søgaard, Anders, 2016, The 26th International Conference on Computational Linguistics (COLING): proceedings of COLING 2016: technical papers. p. 1330-1339 10 p.

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

Crowdsourced emphysema assessment

Ørting, S. N., Cheplygina, V., Petersen, Jens, Thomsen, L. H., Wille, M. M. W. & de Bruijne, Marleen, 2017, Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis: 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings. Cardoso, M. J., Arbel, T., Lee, S-L., Cheplygina, V., Balocco, S., Mateus, D., Zahnd, G., Maier-Hein, L., Dermirci, S., Granger, E., Duong, L., Carbonneau, M-A., Albarquoni, S. & Carneiro, G. (eds.). Springer, p. 126-135 10 p. (Lecture notes in computer science, Vol. 10552).

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

DABAI: A data driven project for e-Learning in Denmark

Alstrup, Stephen, Hansen, C., Hansen, C., Hjuler, N., Lorenzen, S. & Pham, N., 1 Jan 2017, ECEL17 - Proceedings of the 16th European Conference on e-Learning. Peres, P. & Mesquita, A. (eds.). Academic Conferences and Publishing International, p. 18-24 7 p.

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

DOREEN: A Game of Provocations Creating New Ambitions for Equity in Computing through Intertextual Design

Vej, J., Borsotti, Valeria, Savage, Valkyrie Arline, Engell-Nørregård, M. P. & Bjorn, Pernille, 2022, Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 1-8

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

Dark patterns in proxemic interactions: a critical perspective

Greenberg, S., Boring, S., Vermeulen, J. & Dostal, J., 2014, Proceedings of the 2014 conference on Designing Interactive Systems. Association for Computing Machinery, p. 523-532 10 p.

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

Data structures and dynamic memory management in reversible languages

Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

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

Data tracking in search of workflows

Møller, Naja Holten, Bjorn, Pernille, C. Villumsen, J., Hancock, T. C. H., Aritake, T. & Tani, S., 2017, Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 2153-2165 13 p.

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

Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark

Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).

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

Declarative cartography: in-database map generalization of geospatial datasets

Kefaloukos, P. K. B., Vaz Salles, M. A. & Zachariasen, M., 2014, Proceedings of the 2014 IEEE 30th International Conference on Data Engineering: ICDE 2014. IEEE, p. 1024-1035 12 p.

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

Deep Learning from Label Proportions for Emphysema Quantification

Bortsova, G., Dubost, F., Ørting, S., Katramados, I., Hogeweg, L., Thomsen, L., Wille, M. & de Bruijne, Marleen, 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, 2018, Proceedings Part II. Frangi, A. F., Schnabel, J. A., Davatzikos, C., Alberola-López, C. & Fichtinger, G. (eds.). Springer, p. 768-776 (Lecture notes in computer science, Vol. 11071).

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

Deep-learnt classification of light curves

Mahabal, A., Gieseke, F., Pai, A. S. U., Djorgovski, S. G., Drake, A. J., Graham, M. J. & CSS/CRTS/PTF Teams, C. T., 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE, p. 1-8 8 p.

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

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

Deformable interfaces for performing music

Troiano, G. M., Pedersen, E. W. & Hornbæk, Kasper, 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 377-386 10 p.

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

Delayed Bandits: When Do Intermediate Observations Help?

Esposito, E., Masoudian, S., Qiu, H., van der Hoeven, D., Cesa-Bianchi, N. & Seldin, Yevgeny, 2023, Proceedings of the 40 th International Conference on Machine Learnin. PMLR, p. 9374-9395 22 p. (Proceedings of Machine Learning Research, Vol. 202).

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

Delivering Rules-Based Workflows for Science

Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

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

Dementia diagnosis using MRI cortical thickness, shape, texture, and volumetry

Sørensen, L., Pai, A. S. U., Anker, C., Balas, I., Lillholm, Martin, Igel, Christian & Nielsen, Mads, 2014, MICCAI 2014 Workshop Proceedings: Challenge on Computer-Aided Diagnosis of Dementia Based on Structural MRI Data. Bron, E. E., Smits, M., van Swieten, J. C., Niessen, W. J. & Klein, S. (eds.). Erasmus Universiteit Rotterdam, p. 111-118 8 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

Deriving consistent GSM schemas from DCR graphs

Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).

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

Design and GPGPU performance of Futhark's redomap construct

Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.

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

Designing a multi-touch eTextile for music performances

Donneaud, M., Honnet, C. & Strohmeier, P., 2017, Proceedings of the 17th International Conference on New Interfaces for Musical Expression (NIME’17). Erkut, C. (ed.). p. 7-12 6 p.

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

Designing eTextiles for the Body: Shape, Volume Motion

Freire, R., Strohmeier, P., Honnet, C., Knibbe, J. & Brueckner, S., 2018, TEI 2018 - Proceedings of the 12th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 728-731

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

Designing information visualizations for elite soccer children's different levels of comprehension

Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13

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

Designing usable web forms- Empirical evaluation of web form improvement guidelines

Seckler, M., Heinz, S., Bargas-Avila, J. A., Opwis, K. & Tuch, A. N., 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '14. Association for Computing Machinery, p. 1275-1284 10 p.

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

Designing, developing, and implementing software ecosystems: towards a step-wise guide

Manikas, K., Hämäläinen, M. & Tyrväinen, P., 2017, Proceedings of the 8th Workshop on Software Ecosystems. Jansen, S., Alves, C. & Bosch, J. (eds.). CEUR-WS.org, p. 70-79 10 p. (CEUR Workshop Proceedings).

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

Detecting users handedness for ergonomic adaptation of mobile user interfaces

Löchtefeld, M., Schardt, P., Krüger, A. & Boring, S., 2015, MUM '15 Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery, p. 245-249 5 p.

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

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

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

Deterministic Group Tractography with Local Uncertainty Quantification

Holm, Andreas Nugaard, Feragen, A., Dela Haije, T. & Darkner, Sune, 2019, Computational Diffusion: International MICCAI Workshop, Granada,. Bonet-Carne, E., Grussu, F., Ning, L., Sepehrband, F. & Tax, C. M. W. (eds.). 226249 ed. Springer, p. 377-386 (Mathematics and Visualization).

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

Deterministic global minimum cut of a simple graph in near-linear time

Kawarabayashi, K. & Thorup, Mikkel, 2015, Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing: STOC '15. Association for Computing Machinery, p. 665-674 10 p.

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

Developing an ecosystem for interactive electronic implants

Strohmeier, P., Honnet, C. & von Cyborg, S., 2016, Biomimetic and Biohybrid Systems: 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings. Lepora, N. F., Mura, A., Mangan, M., Verschure, P. F. M. J., Desmulliez, M. & Prescott, T. J. (eds.). Springer, p. 518-525 8 p. (Lecture notes in computer science, Vol. 9793).

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

Diffeomorphic image registration with automatic time-step adjustment

Pai, A. S. U., Klein, S., Sommer, Stefan Horst, Darkner, Sune, Sporring, Jon & Nielsen, Mads, 2015, 2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI). IEEE, p. 1085-1088 4 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

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

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

Digital Billedbehandling

Olsen, Søren Ingvor, 1995, Den Store Danske Encyklopædi. København: Gyldendal

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

Digital sound de-localisation as a game mechanic for novel bodily play

Tiab, J., Rantakari, J., Halse, M. L. & Mitchell, R., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 6 p. 109

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

Direct Routing on Trees

Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1998, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms. p. 342-349 8 p. (9th ACM-SIAM Symposium on Discrete Algorithms (SODA)).

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

Direct estimation of Time To Contact

Sporring, Jon & Nielsen, Mads, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

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

Direct estimation of Time To Contact

Sporring, Jon & Nielsen, Mads, 1995, Proceedings fra Den Fjerde Danske Konference om Mønstergenkendelse og Billedanalyse. DIKU, p. 192-202

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

Discriminative kernel feature extraction and learning for object recognition and detection

Pan, H., Olsen, Søren Ingvor & Zhu, Y., 2015, Proceedings of the International Conference on Pattern Recognition Applications and Methods. De Marsico, M., Figueiredo, M. & Fred, A. (eds.). SCITEPRESS Digital Library, Vol. 1. p. 99-109 11 p.

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

DisplayPointers: seamless cross-device interactions

Strohmeier, P., 2015, Proceedings of the 12th International Conference on Advances in Computer Entertainment Technology. Association for Computing Machinery, 7 p. 4

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

Distance labeling schemes for trees

Alstrup, Stephen, Gørtz, I. L., Halvorsen, E. B. & Porat, E., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 16 p. 132. (Leibniz International Proceedings in Informatics, Vol. 55).

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 Thematic Maps Improve Information Retrieval? Human-Computer Interaction-INTERACT '99

Hornbæk, Kasper & Frøkjær, Erik, 1999, 13 International Conference on Human-Computer Interaction. IOS Press, IFIP TC. 13, p. 179-186

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

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

Do you trust your multiple instance learning classifier?

Cheplygina, V., Sørensen, L., Tax, D. M. J., de Bruijne, Marleen & Loog, M., 2017, Benelearn 2017: Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning. Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 72-73 2 p.

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

Does syntax help discourse segmentation? Not so much

Braud, C. E., Lacroix, O. & Søgaard, Anders, 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2432–2442 11 p.

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

Domain-specific languages for enterprise systems

Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).

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