Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

UCPH Department of Computer Science

Known as: Department of Computer Science (University of Copenhagen), Datalogisk Institut, Kobenhavns Universitet, University of Copenhagen Department of Computer Science 
The UCPH Department of Computer Science (Danish: Datalogisk Institut, DIKU) is a department under the Faculty of Science at University of Copenhagen… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1999
1999
This work involves the analysis of musical instrument sounds, the creation of timbre models, the estimation of the parameters of… Expand
  • figure 1.1
  • figure 3.3
  • figure 3.13
  • figure 3.12
  • figure 4.6
Highly Cited
1999
Highly Cited
1999
This work involves the analysis of musical instrument sounds, the creation of timbre models, the estimation of the parameters of… Expand
  • figure 1.1
  • figure 3.3
  • figure 3.13
  • figure 3.12
  • figure 4.6
Highly Cited
1997
Highly Cited
1997
This thesis attempts to make precise the structure inherent in Continuation Passing Style (CPS). We emphasize that CPS translates… Expand
  • figure 1.8
1996
1996
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the… Expand
1995
1995
We describe a new method for polymorphic type inference for the dynamically typed language Scheme. The method infers both types… Expand
  • figure 1
Highly Cited
1995
Highly Cited
1995
It is generally assumed that hashing is essential to solve many language processing problems efficiently; e.g. symbol table… Expand
  • figure 1
  • figure 2
Highly Cited
1994
Highly Cited
1994
We present the dynamically typed A-calculus, an extension of the statically typed I-calculus with a special type Dyn and explicit… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1994
Highly Cited
1994
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
1981
1981
Abstract An efficient or nondominated solution to a multicriteria minimization problem is a feasible solution for which a… Expand
  • figure 1