Sciweavers

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