Sciweavers

3759 search results - page 343 / 752
» Natural language processing of lyrics
Sort
View
LACL
1998
Springer
15 years 11 months ago
Sequential Construction of Logical Forms
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
Wilfried Meyer-Viol
MUC
1993
15 years 10 months ago
GE-CMU: description of the SHOGUN system used for MUC-5
This paper describes the GE-CMU TIPSTER/SHOGUN system as configured for the TIPSTER 24-month (MUC-5) benchmark, and gives details of the system's performance on the selected ...
Paul S. Jacobs, George B. Krupka, Lisa F. Rau, Mic...
CICLING
2010
Springer
15 years 10 months ago
Mining Parenthetical Translations for Polish-English Lexica
Abstract. Documents written in languages other than English sometimes include parenthetical English translations, usually for technical and scientic terminology. Techniques had be...
Filip Gralinski
FDL
2007
IEEE
15 years 10 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
FOAL
2007
ACM
15 years 10 months ago
Aspect-oriented programming with type classes
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
Martin Sulzmann, Meng Wang