Sciweavers

3759 search results - page 339 / 752
» Natural language processing of lyrics
Sort
View
IFL
2007
Springer
158views Formal Methods» more  IFL 2007»
16 years 27 days ago
Checking Dependent Types Using Compiled Code
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
Dirk Kleeblatt
IFL
2007
Springer
128views Formal Methods» more  IFL 2007»
16 years 27 days ago
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
MODELS
2007
Springer
16 years 26 days ago
Architectural Aspects in UML
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
Jon Oldevik, Øystein Haugen
CAISE
2006
Springer
15 years 10 months ago
A Platform for Managing Term Dictionaries for Utilizing Distributed Interview Archives
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
Kenro Aihara, Atsuhiro Takasu
CICLING
2010
Springer
16 years 1 months ago
Quantitative Evaluation of Grammaticality of Summaries
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. While the quality of a summary is de...
Ravikiran Vadlapudi, Rahul Katragadda