Next:
2.1 Formal properties of
Up:
Formal syntax of gesture:
Previous:
1.4 Overview
Contents
2
Requirements specification
Subsections
2
.
1
Formal properties of the CoGesT 1.0 notation
2
.
2
Preliminary formal analysis of CoGesT 1.0
2
.
2
.
1
Criteria for formal reconstruction
2
.
2
.
2
Consistency of vector structure
2
.
2
.
3
Homogeneity of vector value types
2
.
2
.
4
Spelling out defaults
2
.
2
.
5
Grouping of related vector values into a hierarchical structure
2
.
2
.
6
Analysis of redundancies and gaps
2
.
3
Compositional simplicity: a summary
2
.
3
.
1
Analogy with segmental speech structures
Thorsten Trippel 2003-06-30
