This paper presents a model inference system to control in-stantiation of generic modules. Generic parameters are speciied by properties which represent classes of modules sharing some common features. Just as type checking consists in verifying that an expression is well typed, model checking allows to detect whether a (possibly generic) in-stantiation of a generic module is valid, i.e. whethe...

The cyclotomic Hecke algebras were introduced by Ariki and Koike [2,4] and Broué and Malle [7]. It is conjectured [7] that these algebras play a rôle in the representation theory of reductive groups similar to (but more complicated than) that played by the Iwahori–Hecke algebras (see, for example, [8]). In particular, it should be possible to use these algebras to compute the degrees (and more ...

Document understanding has attained a level of maturity that requires migration from ad-hoc experimental systems, each of which employs its own set of assumptions and terms, into a solid, standard frame of reference, with generic deenitions that are agreed upon by the document understanding community. The logical structure of a document conveys semantic information that is beyond the document's...

Though a large body of computer vision research has investigated developing generic semantic representations, efforts towards developing a similar representation for 3D has been limited. In this paper, we learn a generic 3D representation through solving a set of foundational proxy 3D tasks: object-centric camera pose estimation and wide baseline feature matching. Our method is based upon the p...

In the supplementary material, we provide the following items: 1) Experiments on joint (vs single) feature learning, 2) Experiments on Brown el. and and Mikolajczyk&Schmid Benchmarks, 3) More details about the dataset, including pixel alignment procedure, sample data, and coverage, 4) Evaluation of surface normal estimation on NYUv2 dataset, 5) Joint embedding of synthetic cubes and images, 6) ...

Structural polymorphism is a generic programming technique known within the functional programming community under the names of polytypic or datatype-generic programming. In this thesis we show that such a technique conflicts with the principle of data abstraction and propose a solution for reconciliation. More concretely, we show that popular polytypic extensions of the functional programming ...

It is known that datatype-generic programs often run slower than typespecific variants, and this factor can prevent adoption of generic programming altogether. There can be multiple reasons for the performance penalty, but often it is caused by conversions to and from representation types that do not get eliminated during compilation. However, it is also known that generic functions can be spec...

Superimposed information is used to supplement existing sources of information, while maintaining connections back to the original data. It can be used for organizing, highlighting, annotating, connecting, and reusing selected elements within information sources. With the growing amount of digital information available today, especially on the web, more and more applications are being developed...

Based on geometric results obtained by an algorithmic video (sequence) evaluation, a generic conceptual representation will be instantiated into a representation of the specific temporal developments within the recorded scene. Such an instantiated conceptual representation will in turn provide the input for a text generation subsystem. This contribution outlines a system implementation which re...