Sciweavers

28 search results - page 2 / 6
» An Algorithm For Generation In Unification Categorial Gramma...
Sort
View
IJCAI
1997
13 years 8 months ago
Charts, Interaction-free Grammars, and the Compact Representation of Ambiguity
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...
Marc Dymetman
ACL
1990
13 years 7 months ago
Polynomial Time Parsing of Combinatory Categorial Grammars
In this paper we present a polynomial time parsing algorithm for Combinatory Categorial Grammar. The recognition phase extends the CKY algorithm for CFG. The process of generating...
K. Vijay-Shanker, David J. Weir
GECCO
2007
Springer
427views Optimization» more  GECCO 2007»
14 years 24 days ago
Evolutionary music composer integrating formal grammar
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
Yaser M. A. Khalifa, Badar K. Khan, Jasmin Begovic...
CCS
2005
ACM
14 years 5 days ago
A rewriting-based inference system for the NRL protocol analyzer: grammar generation
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
Santiago Escobar, Catherine Meadows, José M...
GECCO
2009
Springer
174views Optimization» more  GECCO 2009»
13 years 4 months ago
Shape grammars and grammatical evolution for evolutionary design
We describe the first steps in the adoption of Shape Grammars with Grammatical Evolution for application in Evolutionary Design. Combining the concepts of Shape Grammars and Genet...
Michael O'Neill, John Mark Swafford, James McDermo...