1529 search results - page 14 / 306 » An Abstraction Method Using a Semantic Engine Based on Langu... |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
WCRE
2005
IEEE
14 years 1 months ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
INLG
2004
Springer
14 years 1 months ago
2004
Springer
The generative summarization of textual stories has been one of the goals of computational narratology since attempts at full semantic NLU in the ’70s. Our NLP group has recently...
MM
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
WSDM
2009
ACM
14 years 2 months ago
2009
ACM
Measuring the similarity between implicit semantic relations is an important task in information retrieval and natural language processing. For example, consider the situation whe...