We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
As the operation frequency reaches gigahertz in very deep-submicron designs, the effect of on-chip inductance on circuit performance can no longer be neglected. Therefore, it is d...
Focus + context visualization facilitates the exploration of complex information spaces. This paper proposes 3D generalization lenses, a new visualization technique for virtual 3D...
Matthias Trapp, Tassilo Glander, Henrik Buchholz, ...
A set of images of a Lambertian surface under varying lighting directions defines its shape up to a three-parameter Generalized Bas-Relief (GBR) ambiguity. In this paper, we exami...
Ping Tan, Satya P. Mallick, Long Quan, David J. Kr...
The performances of many image analysis tasks depend on the image resolution at which they are applied. Traditionally, resolution selection methods rely on spatial derivatives of i...
Efstathios Hadjidemetriou, Michael D. Grossberg, S...