Karatzoglou, Alexandros; Feinerer, Ingo Kernel-based machine learning for fast text mining in R. (English) Zbl 1464.62100 Comput. Stat. Data Anal. 54, No. 2, 290-297 (2010). MSC: 62-08 68T05 68T50 PDFBibTeX XMLCite \textit{A. Karatzoglou} and \textit{I. Feinerer}, Comput. Stat. Data Anal. 54, No. 2, 290--297 (2010; Zbl 1464.62100) Full Text: DOI
Feinerer, Ingo; Salzer, Gernot A comparison of tools for teaching formal software verification. (English) Zbl 1160.68439 Formal Asp. Comput. 21, No. 3, 293-301 (2009). MSC: 68Q60 97C80 PDFBibTeX XMLCite \textit{I. Feinerer} and \textit{G. Salzer}, Formal Asp. Comput. 21, No. 3, 293--301 (2009; Zbl 1160.68439) Full Text: DOI HAL