959 search results - page 30 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
OWLED
2008
13 years 9 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
ECEASST
2006
13 years 8 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
GRAMMARS
2002
13 years 7 months ago
2002
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
TSD
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...