Department of Computer Science

Read more
41 - 50 out of 1,699Page size: 10
  1. 1995
  2. Published

    Computer Support for Document Management in the Danish Central Government

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

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

  3. Published

    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

  4. Published

    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

  5. Published

    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

  6. Published

    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

  7. Published

    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

  8. Published

    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

  9. 1996
  10. Published

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

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

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

  11. Published

    Distance-based classification methods

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

    Research output: Book/Report › Report › Research

  12. Published

    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

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