Sciweavers

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