Datalogisk Institut

Læs mere
1631 - 1640 ud af 1.702Pr. side: 10
Sortering: Udgivelsesår
  1. 1998
  2. Udgivet

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

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

  3. Udgivet

    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, s. 35-36

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

  4. 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

  5. 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

  6. Udgivet

    A note on differential corner measures

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

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  7. Udgivet

    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). s. 652-654

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

  8. Udgivet

    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 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  9. 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

  10. Udgivet

    Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem

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

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

  11. 1997
  12. Udgivet

    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, Bind 1272. s. 45-54 11 s. (Lecture notes in computer science).

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

Forrige 1...160 161 162 163 164 165 166 167 ...171 Næste