Datalogisk Institut

Læs mere
76 - 100 ud af 1.702Pr. side: 25
Sortering: Udgivelsesdato
  1. 1998
  2. Udgivet

    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, s. 1-19

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  3. Udgivet

    Quaternions, interpolation and animation

    Dam, E., Koch, M. & Lillholm, Martin, 1998, Datalogisk Institut, Københavns Universitet, 103 s. (DIKU teknisk rapport; Nr. 5, Bind 98).

    Publikation: Working paper › Forskning

  4. Udgivet

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, I: A C M / S I G P L A N Notices. 33, 1

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  5. Udgivet

    The Evaluator Effect in Usability Tests

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. Udgivet

    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, s. 1336-1340 5 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    Reliability and Accuracy of Brain Volume Measurement on MR Imaging

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

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  9. 1999
  10. Udgivet

    "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, I: NeuroImage. 9, 6 PART II

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  11. Udgivet

    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, s. 6-13

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  12. Udgivet

    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, s. 1-14

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  13. Udgivet

    Basics of Compiler Design, Kursusbog 5 Dat1E

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

  14. Udgivet

    Basics of Compiler Design, Kususbog 6 til Dat1E

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

    Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

  15. Udgivet

    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, s. 75-81

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  16. Udgivet

    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, s. 569-575

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  17. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  18. Udgivet

    Concatenation-Based Greedy Heuristic for the Euclidean Steiner Tree Problem

    Zachariasen, M. & Winter, Pawel, 1999, I: Algorithmica. Vol.25, s. 418-437

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  19. Udgivet

    Distance-based Classification Methods

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  20. Udgivet

    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, s. 179-186

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  21. Udgivet

    Exact Solution to Large-scale Plane Steiner Tree Problems

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

    Publikation: Working paper › Forskning

  22. Udgivet

    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, s. 15-19

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  23. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  24. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  25. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  26. Udgivet

    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, s. 248-257

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  27. Udgivet

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

    Steenstrup Pedersen, Kim & Nielsen, Mads, 1999.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

Forrige 1 2 3 4 5 6 7 8 ...69 Næste