Sciweavers

3759 search results - page 441 / 752
» Natural language processing of lyrics
Sort
View
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
16 years 27 days ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
COLING
1990
15 years 7 months ago
A Formal Description of Arabic Syntax in Definite Clause Grammar
Arabic has some special syntax features which lead to complex syntax structures. We have developed a formal description of Arabic syntax in Definite Clause Grammar. This grarnrnar...
Hisham El-Shishiny
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Analytic aspects of the shuffle product
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...
Marni Mishna, Mike Zabrocki
COLING
2010
15 years 1 months ago
Investigating the cross-linguistic potential of VerbNet-style classification
Verb classes which integrate a wide range of linguistic properties (Levin, 1993) have proved useful for natural language processing (NLP) applications. However, the real-world use...
Lin Sun, Thierry Poibeau, Anna Korhonen, Cé...
FM
2009
Springer
164views Formal Methods» more  FM 2009»
16 years 1 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield