Department of Computer Science

Read more
76 - 100 out of 1,702Page size: 25
  1. 1998
  2. Published

    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

  3. Published

    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

  4. Published

    A note on differential corner measures

    Sporring, Jon, Nielsen, Mads, Weickert, J. & Olsen, O. F., 1998, (Technical Report; No. 1, Vol. 98).

    Research output: Book/Report › Report › Research

  5. Published

    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

  6. Published

    Exact Algorithms for Plane Steiner Tree Problems: A Computational Study, DIKU-rapport 98/11

    Warme, D. M., Winter, Pawel & Zachariasen, M., 1998, Datalogisk Institut, Københavns Universitet. 34 p.

    Research output: Book/Report › Report › Research

  7. Published

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

    Yamagchii, K., Lassen, Anders & Ring, P., 17 Sep 1998.

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  8. Published

    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

  9. 1999
  10. Published

    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

  11. Published

    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

  12. Published

    Distance-based Classification Methods

    Ekin, O., Hammer, P. L., Kogan, A. & Winter, Pawel, 1999, In: INFOR, Canadian OR Society. Vol.37, p. 337-352

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

  13. Published

    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

  14. Published

    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

  15. Published

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, In: NeuroImage. 9, 6 PART II

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

  16. Published

    Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

    Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

    Research output: Book/Report › Anthology › Research › peer-review

  17. Published

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

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

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

  18. Published

    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

  19. Published

    Basics of Compiler Design, Kursusbog 5 Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 p.

    Research output: Book/Report › Book › Education

  20. Published

    Basics of Compiler Design, Kususbog 6 til Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 p.

    Research output: Book/Report › Book › Education

  21. Published

    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

  22. Published

    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

  23. Published

    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

  24. Published

    The Hausdorff Dimension and Scale-Space Normalization of 'Natural Images'

    Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.

    Research output: Contribution to conference › Conference abstract for conference › Research

  25. Published

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, In: Science of Computer Programming. Vol.35, no.2-3, November, p. 191-221

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

  26. Published

    Exact Solution to Large-scale Plane Steiner Tree Problems

    Warme, D. M., Winter, Pawel & Zachariasen, M., 1999.

    Research output: Working paper › Research

  27. Published

    Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1999, In: Algorithmica. Vol.25, p. 418-437

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

Previous 1 2 3 4 5 6 7 8 ...69 Next