Sciweavers

3759 search results - page 474 / 752
» Natural language processing of lyrics
Sort
View
FDL
2007
IEEE
16 years 27 days ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
ESWS
2007
Springer
16 years 22 days ago
Acquisition of OWL DL Axioms from Lexical Resources
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
Johanna Völker, Pascal Hitzler, Philipp Cimia...
MODELS
2007
Springer
16 years 21 days ago
Matching Model-Snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
Rodrigo Ramos, Olivier Barais, Jean-Marc Jé...
LACL
2005
Springer
16 years 1 days ago
Learnable Classes of General Combinatory Grammars
Abstract. Kanazawa has shown that k-valued classical categorial grammars have the property of finite elasticity [1], which is a sufficient condition for learnability. He has also ...
Erwan Moreau
TBILLC
2005
Springer
16 years 1 days ago
Doubling: The Semantic Driving Force Behind Functional Categories
In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a...
Hedde Zeijlstra