Zig-zag and Extraction Families in Non-duplicating Stable Deterministic Residual Structures (2009)
Zurab Khasidashvili, John Glauert
Reduction Systems with an axiomatized residual relation which model orthogonal term and graph rewriting systems, and Deterministic Family Structures (DFSs), which are SDRSs with an axiomatized notion...
Virtual human signing as expressive animation (2004)
John Glauert, Richard Kennaway, Ralph Elliott, Barry-john Theobald
We present an overview of research at UEA into the animation of sign language using a gesture notation, outlining applications that have been developed and key aspects of the implementation. We argue...
2.5d visual speech synthesis using appearance models (2003)
Barry Theobald, Gavin Cawley, John Glauert, Andrew Bangham, Iain Matthews
Two dimensional (2D) shape and appearance models are applied to the problem of creating a near-videorealistic talking head. A speech corpus of a talker uttering a set of phonetically balanced...
The Geometry of Orthogonal Reduction Spaces (1997)
Zurab Khasidashvili, John Glauert
We investigate mutual dependencies of subexpressions of a computable expression, in orthogonal rewrite systems, and identify conditions for their concurrent independent computation. To this end, we...
Minimal Relative Normalization in Orthogonal Expression Reduction Systems (1996)
John Glauert, Zurab Khasidashvili
. In previous papers, the authors studied normalization relative to desirable sets S of `partial results', where it is shown that such sets must be stable. For example, the sets of normal forms,...
Discrete Normalization and Standardization in Deterministic Residual Structures (1996)
Zurab Khasidashvili, John Glauert
. We prove a version of the Standardization Theorem and the Discrete Normalization (DN) Theorem in stable Deterministic Residual Structures, which are Abstract Reduction Systems with axiomatized...
Relative Normalization in Deterministic Residual Structures (1996)
John Glauert, Zurab Khasidashvili
. This paper generalizes the Huet and L'evy theory of normalization by neededness to an abstract setting. We define Stable Deterministic Residual Structures (SDRS) and Deterministic Family...
Relative Normalization in Orthogonal Expression Reduction Systems (1994)
John Glauert, Zurab Khasidashvili
Abstract. We study reductions in orthogonal (left-linear and non-ambignons) Expression Reduction Systems, a formalism for Term Rewrit-ing Systems with bound variables and substitutions. To generalise...
Parallel Implementation of Functional Languages Using Small Processes (1992)
We report work in progress on the implementation of languages that integrate concurrent and functional programming styles. A translation scheme is presented for mapping such languages into process...
Relating Conflict-free Stable Transition and Event Models (Extended Abstract)
Z. Khasidashvili, Zurab Khasidashvili, John Glauert
) Zurab Khasidashvili 1 and John Glauert 2 1 NTT Basic Research Laboratories, Atsugi, Kanagawa, 243-01, Japan zurab@theory.brl.ntt.co.jp 2 School of Information Systems, UEA, Norwich NR4 7TJ England...