Sciweavers

3759 search results - page 172 / 752
» Natural language processing of lyrics
Sort
View
FM
2009
Springer
127views Formal Methods» more  FM 2009»
16 years 1 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
IJCNLP
2004
Springer
15 years 12 months ago
Unsupervised Segmentation of Chinese Corpus Using Accessor Variety
Haodi Feng, Kang Chen, Chunyu Kit, Xiaotie Deng
ISCI
2011
14 years 10 months ago
A case study on financial ratios via cross-graph quasi-bicliques
Kelvin Sim, Guimei Liu, Vivekanand Gopalkrishnan, ...