Datalogisk Institut

Læs mere
1651 - 1660 ud af 1.702Pr. side: 10
Sortering: Udgivelsesår
  1. 1996
  2. Udgivet

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Publikation: Working paper › Forskning

  3. Udgivet

    Browsing and Querying in Online Documentation:A Study of User Interfaces and the Interaction Process

    Hertzum, M. & Frøkjær, Erik, 1996, I: ACM Transactions on Computer Human Interaction. 3, 2, s. 136-161 26 s.

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

  4. Udgivet

    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, s. 161-169

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

  5. Udgivet

    Large Euclidean Steiner minimum trees in an hour

    Winter, Pawel & Zachariasen, M., 1996, Datalogisk Institut, Københavns Universitet.

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

  6. Udgivet

    Distance-based classification methods

    Winter, Pawel, Ekin, O., Hammer, P. L. & Kogan, A., 1996, Rutgers: Rutgers University.

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

  7. 1995
  8. Udgivet

    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

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

  9. Udgivet

    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

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

  10. Udgivet

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

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

  11. Udgivet

    Computer Support for Document Management in the Danish Central Government

    Hertzum, M., 1995, I: Information Infrastructure and Policy. 4, 2, s. 107-129 23 s.

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

  12. Udgivet

    Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

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

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

Forrige 1...162 163 164 165 166 167 168 169 ...171 Næste