Sciweavers

3759 search results - page 537 / 752
» Natural language processing of lyrics
Sort
View
COLING
2010
15 years 1 months ago
Entity-Focused Sentence Simplification for Relation Extraction
Relations between entities in text have been widely researched in the natural language processing and informationextraction communities. The region connecting a pair of entities (...
Makoto Miwa, Rune Sætre, Yusuke Miyao, Jun-i...
ICML
2007
IEEE
16 years 7 months ago
Trust region Newton methods for large-scale logistic regression
Large-scale logistic regression arises in many applications such as document classification and natural language processing. In this paper, we apply a trust region Newton method t...
Chih-Jen Lin, Ruby C. Weng, S. Sathiya Keerthi
WWW
2009
ACM
16 years 1 months ago
Bootstrapped extraction of class attributes
As an alternative to previous studies on extracting class attributes from unstructured text, which consider either Web documents or query logs as the source of textual data, A boo...
Joseph Reisinger, Marius Pasca
FM
2009
Springer
124views Formal Methods» more  FM 2009»
16 years 1 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 18 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...