Department of Computer Science

Read more
1651 - 1660 out of 1,699Page size: 10
  1. 1996
  2. Published

    Large Euclidean Steiner minimum trees in an hour

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

    Research output: Book/Report › Report › Research

  3. Published

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Research output: Working paper › Research

  4. 1995
  5. Published

    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

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  6. Published

    Binocular dense depth reconstruction using isotropy constraint

    Nielsen, Mads & Deriche, R., 1995, In: Theory and Applications of Image Processing IIG. Borgefors, Ed. p. 127-140 14 p.

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

  7. Published

    Calibration of an agile camera

    Olsen, Søren Ingvor, 1995, Proceedings of the 9th Scandinavian Conference on Image Analysis.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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

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

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

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

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

Previous 1...162 163 164 165 166 167 168 169 170 Next