Department of Computer Science

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

Information Retrieval in a Work Setting: A Case Study of the Documentation Part of Chemists’ Work

Hertzum, M., 1993, Proceedings of the 16th IRIS Information Systems Research Seminar in Scandinavia. University of Copenhagen, p. 786-798 13 p.

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

Information systems development with generic systems

Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. p. 707-718 12 p.

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

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

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

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

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

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

Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.

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

Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, p. 39-44

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

Image Point Motion when Zooming and Focusing

Olsen, Søren Ingvor, 1996, Proceedings fra Den Femte Danske Konference om Mønstergenkendelse og Billedanalyse. Københavns Universitet: Museum Tusculanum, p. 161-169

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

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

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

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

Finding cores of limited length

Alstrup, Stephen, Lauridsen, P. W., Sommerlund, P. & Thorup, Mikkel, 1997, Proceedings of the 5th International Workshop on Algorithms and Data Structures (WADS). Springer, Vol. 1272. p. 45-54 11 p. (Lecture notes in computer science).

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

Image Point Motion when Zooming and Focusing

Olsen, Søren Ingvor, 1997, Proceedings of the 10th Scandinavian Conference on Image Analysis. Lappeenranta, Finland: Pattern Recognition Society of Finland, p. 65-70

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

Minimizing diameters of dynamic trees

Alstrup, Stephen, Holm, J., de Lichtenberg, K. & Thorup, Mikkel, 1997, Automata, Languages and Programming. Springer Science+Business Media, p. 270-280 11 p. (Lecture notes in computer science, Vol. 1256).

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

The Complexity of Subtype Entailment for Simple Types

Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361

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

The Managerial Challenges in the Transformation of the Danish Geodata Sector

Frøkjær, Erik & Korsbæk, H., 1997, Cases on information technology management in modern organizations. Hershey PA, USA: Idea Group Publishing, p. 288-305

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

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

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

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

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

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

Inherited Limits

Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12

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

Normalization for a Subset of Scheme using Type Predicates (Summary)

Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, p. 35-36

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

Partial evaluation Concepts and Applications

Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, p. 1-19

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

The Evaluator Effect in Usability Tests

Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, CHI'98 Conference Summary. New York: ACM Press, p. 255-256 2 p.

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

The evaluator effect in usability studies: Problem detection and severity judgments

Jacobsen, N. E., Hertzum, M. & John, B. E., 1998, Proceedings of the HFES 42nd Annual Meeting. Santa Monica, CA: Human Factors and Ergonomics Society, p. 1336-1340 5 p.

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

Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

Mogensen, Torben Ægidius, 1998, publisher. Springer, p. 112-122

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

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

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

Fagfolks dokumentationsarbejde og informationshåndtering

Frøkjær, Erik, Perstrup, K. & Hornbæk, Kasper, 1999, Viden Om, Særnummer om eksperimentelle søgemetoder, April. Dansk Biblioteks Center, p. 15-19

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

Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

Mogensen, Torben Ægidius, 1999, publisher. p. 19-24

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

Obstacle-avoiding Euclidean Steiner Trees in the Plane: An Exact Algorithm

Zachariasen, M. & Winter, Pawel, 1999, publisher. Springer, p. 282-295

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

Prediction of Usability: Comparing Method Combinations

Frøkjær, Erik & Lárusdóttir, M., 1999, Managing Information Technology Resources in Organizations in the Next Millenium, Information Resources Management Association International Conference (IRMA). Idea Group Publishing, p. 248-257

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

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

Efficient first order functional program interpreter with time bound certifications

Marion, J. & Moyen, J., 2000, LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Vol. 1955. p. 25-42

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

Exact Algorithms for Plane Steiner Tree Problems: A Computational Study

Warme, D. M., Winter, Pawel & Zachariasen, M., 2000, Advance in Steiner Trees. Kluwer Academic Publishers, p. 81-116

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

Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

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

Maintaining center and median in dynamic trees

Alstrup, Stephen, Holm, Jacob & Thorup, Mikkel, 2000, Algorithm Theory-SWAT 2000. Springer Science+Business Media, Vol. 1851. p. 46-56 11 p. (Lecture notes in computer science).

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

Word encoding tree connectivity works

Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. p. 498-499 2 p.

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

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

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

Experiences with the design and implementation of space-efficient deques: Lecture Notes in Computer Science, Vol. 2141

Katajainen, J. & Mortensen, B. B., 2001, Proceedings of the 5th Workshop on Algorithm Engineering. Springer, p. 39-50

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

Interchanging two segments of an array in a hierarchical memory system

Bojesen, J. & Katajainen, J., 2001, Ikke angivet. Springer, p. 159--170

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

Unsupervised sequence segmentation by a mixture of variable memory length Markov sources

Seldin, Yevgeny, Bejerano, G. & Tishby, N., 2001, Proceedings of the 18th International Conference on Machine Learning (ICML).

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

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

Evaluating User Interfaces with Metaphors of Human Thinking

Frøkjær, Erik & Hornbæk, Kasper, 2002, 7th ERCIM Workshop on User Interfaces for All. Paris: INRIA, ERCIM, UI4A11, p. 533-544

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

Geometric Steiner Tree Problems

Winter, Pawel & Zachariasen, M., 2002, Proc. of IV ALIO/EURO Workshop on Applied Combinatorial Optimization. Pucon, Chile, p. 137-140

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

In-place planar convex hull algorithms

Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Ikke angivet. Springer, p. 197-205

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

In-place planar convex hull algorithms

Brönnimann, H., Iacono, J., Katajainen, J., Morin, P. & Toussaint, J. M. A. G., 2002, Proceedings of the 5th Latin American Symposium on Theoretical Informatics. Springer, p. 197-205

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

Interchanging two segments of an array in a hierarchical memory system

Bojesen, J. & Katajainen, J., 2002, Proceedings of the 4th International Workshop on Algorithm Engineering. Springer, p. 159-170

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

Metaphors of Human Thinking in HCI: Habit, Stream of Thought, Awareness, Utterances and Knowing

Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of HF2002 Human Factors Conference, Oz'CHI. ESA and CHISIG, p. 10

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

Performance tuning an algorithm for compressing relational tables: Lecture Notes in Computer Science, Vol. 2368

Katajainen, J. & Madsen, J. N., 2002, Proceedings of the 9th Scandinavian workshop on algorithm theory. Springer, p. 398-407

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

Project performance engineering: final report

Katajainen, J., 2002, CPH STL Report 2002-5. Copenhagen, p. 11

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

Reconstruction of Optical Thickness

Olsen, N. H., Sporring, Jon & Nielsen, Mads, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. Department of Computer Science, University of Copenhagen, p. 114-126

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

Rectilinear Trees under Rotation

Nielsen, B. K., Winter, Pawel & Zachariasen, M., 2002, Proc. of 12-th Int. Sym. on Combinatorial Optimization, CO´02. Paris, France, p. 101-101

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

Roll: A Language for Specifying Die-Rolls

Mogensen, Torben Ægidius, 2002, publisher. Springer, p. 15

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

Studying the Utility of Metaphors of Human Thinking in HCI

Frøkjær, Erik & Hornbæk, Kasper, 2002, Proceedings of the 2nd Danish HCI Symposium. København: DIKU, p. 19-21

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

Virtual Trackballs Revisited

Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 ed. Department of Computer Science, University of Copenhagen, p. 114-126

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

Detection and Localization of Random Signals

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

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

End-Stop Exemplar Based Recognition

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

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

Evaluating User Interface with Metaphors of Human Thinking

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

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

Linear Types for Cashflow Reengineering

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

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

Metaphors of Human Thinking: A New Tool in User Interface Design and Evaluation

Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of INTERACT 2003 IFIP TC 13. IOS Press, p. 781-784

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

The Metaphors-of-Human-Thinking Technique for Usability Evaluation Compared to Heuristic Evaluation and Cognitive Walkthrough

Frøkjær, Erik & Hornbæk, Kasper, 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. 98 ed. Roskilde: University of Roskilde, p. 4

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

A Denotational Account of Untyped Normalization by Evaluation

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

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

A New Paradigm for General Architecture Routing

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

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

Asymmetry quantization and application to human mandibles

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

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

Ballet Balance Strategies

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

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

Compositional Specification of Commercial Contracts

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

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

Flexibility of Steiner trees in uniform orientation metrics

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

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

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

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

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

The structure and flexibility of Steiner trees in uniform orientation metrics

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

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

MobiHealth: Ambulant patient monitoring over next generation public wireless networks

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

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

A Multi-Scale Singularity Bounding Volume Hierarchy

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

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

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

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

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

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

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

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

Deferred path heuristic for phylogenetic trees revisited

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

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

Effect type systems and region-based memory management

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

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

Exemplar Based Recognition of Visual Shapes

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

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

Exemplar Based Recognition of Visual Shapes

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

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

OpenTissue - An Open Source Toolkit for Physics-Based Animation

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

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

Philosophical Locutions in Scientific and Scholarly Activity

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

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

Quasi-interpretations and small space bounds

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

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

Report on an Implementation of a Semi-Inverter

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

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

Semi-Inversion of Guarded Equations

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

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

Abaris: Evaluating automated capture applied to structured autism interventions

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

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

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

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

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

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

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

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

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

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

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

Diffusion Based Photon Mapping

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

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

Implicit Non-Rigid Shape from Motion

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

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

Preface

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

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

Putting your data structure on a diet (Abstract)

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

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

Report on an Implementation of a Semi-Inverter

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

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

Scan Conversion of Signed Distance Fields

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

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

Sideways Stepping

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

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

Two-tier relaxed heaps

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

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

Two-tier relaxed heaps: Lecture Notes in Computer Science

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

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

Visualization of Tooth Eruption in CT-Scans

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

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

What kind of usability-problem description are useful for developers

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

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

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

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

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

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

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

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

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

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

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

Mobile health care: Towards a commercialization of research results

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

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

Making operations on standard-library containers strongly exception safe

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

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

Stronger guarantees for standard-library containers

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

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

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

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

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

Boneless Pose Editing and Animation

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

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

Compositional Contract Specification for REA

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

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

Diffusion Based Photon Mapping

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

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

Geometric and Texture Inpainting by Gibbs Sampling

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

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

Image Inpainting by Cooling and Heating

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

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

Information bottleneck for non co-occurrence data

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

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

Line-Stepping for Shell Meshes

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

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

On the power of structural violations in priority queues

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

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

Photon differentials

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

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

Photon differentials

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

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

Preface

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

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

Reconstructing teeth with bite information

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

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

Salient Point and Scale Detection by Minimum Likelihood

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

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

Some structural and geometric properties of two-connected Steiner networks

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

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

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

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

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

What is a Sort Function?

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

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

Random walk term weighting for information retrieval

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

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

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

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

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

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

Contour-Based Registration and Retexturing of Cartoon-Like Videos

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

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

FunSETL–Functional Reporting for ERP Systems

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

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

Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

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

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

Growth Pattern of Atherosclerotic Calcifications

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

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

Improving web search transparency by using a Venn diagram interface

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

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

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

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

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

Multi-Scale Natural Images: A database and some statistics

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

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

Multi-classification by categorical features via clustering

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

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

Protein Decoy Generation Using Branch and Bound with Efficient Bounding

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

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

Semi-Inversion of Functional Parameters

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

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

Vessel-guided airway segmentation based on voxel classification

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

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

Voxel Classification Based Vessel-guided Airway Segmentation

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

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

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

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

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

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

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

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

Service Oriented Architecture for Inter-vehicle Applications

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

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

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

Bayes estimation of shape model with application to vertebrae boundaries

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

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

A Comparative Field Study of Four Crane Control Interfaces

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

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

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

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

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

A MuDDy Experience-ML Bindings to a BDD Library

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

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

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

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

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

A SVD Based Image Complexity Measure

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

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

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

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

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

Alpha Shapes and Proteins

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

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

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

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

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

Content-Aware Video Editing in the Temporal Domain

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

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

Dense Iterative Contextual Pixel Classification using Kriging

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

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

Estimation of Joint types and Joint Limits from Motion capture data

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

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

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

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

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

Interactive inverse kinematics for human motion estimation

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

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

Mass Preserving Registration for lung CT

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

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

Multiscale Vessel-guided Airway Tree Segmentation

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

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

On the Rate of Structural Change in Scale Spaces

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

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

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

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

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

Pilot Implementation of Health Information Systems: Issues and challenges

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

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

Prior knowledge regularization in statistical medical image tasks

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

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

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

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

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

Tetrahedral Mesh Improvement Using Multi-face Retriangulation

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

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

Troll, a Language for specifying Dice-rolls

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

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

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

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

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

Area and volume restoration in elastically deformable solids

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

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

Mobile patient monitoring: The MobiHealth system

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

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

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

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

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

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

A standard-driven implementaion of WS-BPEL 2.0

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

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

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

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

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

Generic multiset programming for language-integrated querying

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

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

Markov random fields on triangle meshes

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

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

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

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

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

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

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

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

Computational biology: a programming perspective

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

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

Graph archive

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

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

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

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

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

Low pain vs no pain multi-core Haskells

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

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

Towards a comprehensive theory of monadic effects

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

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

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

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

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

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

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

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

Lost in translation: Authorship attribution using frame semantics

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

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

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

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

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

Characterizing languages by normalization and termination in string rewriting

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

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

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

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

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

Fluoroscopic assessment of femoral kinematics using a statistical shape model

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

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

Multiphase Flow of Immiscible Fluids on Unstructured Moving Meshes

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

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

A comparison of well-quasi orders on trees

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

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

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

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

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

A swiss pocket knife for computability

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

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

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

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

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

An improved optimization method for the relevance voxel machine

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

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

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

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

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

Analyzing users' narratives to understand experience with interactive products

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

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

Approximate distance oracles with improved query time

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

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

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

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

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

Architectural slicing: towards automatic harvesting of architectural prototypes

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

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

Atlases of cardiac fiber differential geometry

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

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

Automated brain-tissue segmentation by multi-feature SVM classification

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

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

Automated measurement of diagnostic angles for hip dysplasia

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

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

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

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

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

Bayesian epipolar geometry estimation from tomographic projections

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

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

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

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

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

Branchless search programs

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

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

Cardiac fiber inpainting using cartan forms

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

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

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

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

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

Characterizing the Danish telemedicine ecosystem: making sense of actor relationships

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

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

Cleaning up: garbage-free reversible circuits by design languages

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

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

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

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

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

Comparing modalities and feedback for peripheral interaction

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

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

Computational complexity for uniform orientation Steiner tree problems

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

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

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

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

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

Cube propagation for focal brain atrophy estimation

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

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

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

Prasoon, A., Petersen, P. K., Igel, Christian, Lauze, Francois Bernard, Dam, Erik Bjørnager & Nielsen, Mads, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, p. 246-253 8 p. (Lecture notes in computer science, Vol. 8150).

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

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

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

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

Diffeomorphic spectral matching of cortical surfaces

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

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

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

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

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

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

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

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

Efficient nonrigid registration using ranked order statistics

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

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

Extracting usability and user experience information from online user reviews

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

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

Faster deterministic fully-dynamic graph connectivity

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

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

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

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

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

Garbage-free reversible constant multipliers for arbitrary integers

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

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

Heritage: having a say

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

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

In-place binary counters

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

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

Infinitary axiomatization of the equational theory of context-free languages

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

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

Investigating pointing tasks across angularly coupled display areas

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

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

Iterated stacked classifiers for lung segmentation in computed tomography

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

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

Iterating skeletons: structured parallelism by composition

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

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

Iterating skeletons

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

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

Learning models of activities involving interacting objects

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

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

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

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

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

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

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

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

More compact oracles for approximate distances in undirected planar graphs

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

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

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

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

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

Moving frames for heart fiber geometry

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

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

Nearest neighbor classification using bottom-k sketches

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

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

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

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

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

Numerical methods for linear complementarity problems in physics-based animation

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

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

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

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

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

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

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

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

OneSpace: shared depth-corrected video interaction

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

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

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

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

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

Physicians’ progress notes

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

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

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

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

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

Priority queues and sorting for read-only data

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

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

Programming macro tree transducers

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

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

ProjectorKit: easing rapid prototyping of interactive applications for mobile projectors

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

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

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

Petersen, Jens, Modat, M., Cardoso, M. J., Dirksen, A., Ourselin, S. & de Bruijne, Marleen, 2013, Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Springer, Vol. 2. p. 287-294 8 p. (Lecture notes in computer science, Vol. 8150).

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

RAM-efficient external memory sorting

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

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

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

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

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

Reversible representation and manipulation of constructor terms in the heap

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

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

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

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

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

Scalable kernels for graphs with continuous attributes

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

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