loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First International Conference on Advances in Computer-Human Interaction
A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts
February 10-February 15
ISBN: 978-0-7695-3086-4
A grammar-based approach to the specification of mathematical notation is proposed. The method is based ona meta-structure using attributed context-free grammars for capturing the meaning of mathematical concepts. The proposal is based on an authoring model which addresses the user needs as a fundamental requirement. It is structured around a scope mechanism allowing the mapping between semantics and syntax to be modified at any time during authoring. This process supports the dynamics of the meaning-to-syntax binding necessary in the authoring of mathematical concepts. Modular grammar fragments characterized by a one-to-one mapping between mathematical concept and grammar representation provide the adequate support for the definition of the various scopes. An incremental update process is defined to modify the grammar fragments which support the changes needed in the authoring process.
Index Terms:
meta-structure, grammar fragments, attributed context-free grammars, authoring model, incremental update, meaning-to-syntax binding, extensibility
Citation:
Jackson Marques de Carvalho, Helmut J?rgensen, "A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts," achi, pp.257-264, First International Conference on Advances in Computer-Human Interaction, 2008
Usage of this product signifies your acceptance of the Terms of Use.