Sciweavers

1423 search results - page 202 / 285
» Languages of Nested Trees
Sort
View
SEFM
2003
IEEE
15 years 9 months ago
Architecting Specifications for Test Case Generation
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Richard O. Sinnott
112
Voted
CSL
2001
Springer
15 years 8 months ago
The Anatomy of Innocence
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
Vincent Danos, Russell Harmer
TACAS
1997
Springer
72views Algorithms» more  TACAS 1997»
15 years 8 months ago
The Term Processor Generator Kimwitu
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
Peter van Eijk, Axel Belinfante, Henk Eertink, Hen...
ACL
2003
15 years 5 months ago
Generating Parallel Multilingual LFG-TAG Grammars from a MetaGrammar
We introduce a MetaGrammar, which allows us to automatically generate, from a single and compact MetaGrammar hierarchy, parallel Lexical Functional Grammars (LFG) and Tree-Adjoini...
Lionel Clément, Alexandra Kinyon
137
Voted
ACL
2001
15 years 5 months ago
Computational Properties of Environment-based Disambiguation
The standard pipeline approach to semantic processing, in which sentences are morphologically and syntactically resolved to a single tree before they are interpreted, is a poor fi...
William Schuler