Parametric surface [Fari02] is a surface defined by a tensor-product of parametric curves, which are represented by parametric equations. As such surface comes with a well defined mathematical definition, it becomes one of the most common geometric tools for computer-aided geometric design and object modeling aids for many computer graphics applications. Typical examples of such surface include...

This paper presents a new method for improving face recognition performance under difficult conditions. Specifically, a new image representation scheme is proposed which is derived from the YCrQ colour space using principal component analysis (PCA) followed by Fisher linear discriminant analysis (FLDA). A multi-scale local feature, LBP-DWT, is used for face representation which is computed by e...

In this paper, we describe a statistical parametric speech synthesis approach with unit-level acoustic representation. In conventional deep neural network based speech synthesis, the input text features are repeated for the entire duration of phoneme for mapping text and speech parameters. This mapping is learnt at the frame-level which is the de-facto acoustic representation. However much of t...

We define a new topological polynomial extending the Bollobás-Riordan one, which obeys a four-term reduction relation of the deletion/contraction type and has a natural behavior under partial duality. This allows to write down a completely explicit combinatorial evaluation of the polynomials, occurring in the parametric representation of the non-commutative Grosse-Wulkenhaar quantum field theor...

This paper presents Type-Oriented Logic Meta Programming. The idea is based on a representation of programs as sets of logic propositions focusing on the type properties of the base-language program. This representation allows generation of base-level code from compiletime logic meta programs that manipulate code fragments and their type properties. We apply this idea to Java and present TyRuBa...

The “Parametric Prototype” has been developed as a tool for integrated parametric and physical shape representation to optimize styling and design. This tool will be applied in the early phases of the product development process at an appropriate level of detail, e.g. for the fast visualization of car parameters and proportions of the exterior car body. The development comprises a method that c...

3-D curve moments and curve moment invariants under similarity transformation are defined in this paper. 3-D curve moment invariants can be used as shape descriptors for the representation of parametric curves. We use them to describe some commonly used parametric curves and test the invariance of them in the experiment.

Modular languages support generative type abstraction, ensuring that an abstract type is distinct from its representation, except inside the implementation where the two are synonymous. We show that this well-established feature is in tension with the non-parametric features of newer type systems, such as indexed type families and GADTs. In this paper we solve the problem by using kinds to dist...