• LSTM

• Referenced in 24 articles [sw03373]
• control, handwriting recognition, speech recognition, keyword spotting, music composition, attentive vision, protein analysis, stock market...

• Isomap

• Referenced in 11 articles [sw31686]
• Unlike classical techniques such as principal component analysis (PCA) and multidimensional scaling (MDS), our approach ... underlie complex natural observations, such as human handwriting or images of a face under different...

• Coq

• Referenced in 1784 articles [sw00161]
• Coq is a formal proof management system. It...

• Dafny

• Referenced in 64 articles [sw00183]
• Dafny is an imperative object-based language with...

• Isabelle

• Referenced in 606 articles [sw00454]
• Isabelle is a generic proof assistant. It allows...

• Maple

• Referenced in 5040 articles [sw00545]
• The result of over 30 years of cutting...

• Matlab

• Referenced in 12074 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• NLTK

• Referenced in 32 articles [sw00626]
• This book offers an introduction to Natural Language...

• Octave

• Referenced in 284 articles [sw00646]
• GNU Octave is a high-level language, primarily...

• Isabelle/HOL

• Referenced in 945 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• DistAl

• Referenced in 99 articles [sw01746]
• DistAl: An inter-pattern distance-based constructive learning...

• Isabelle/Isar

• Referenced in 90 articles [sw02006]
• Building formal method tools in the Isabelle/Isar framework...

• Silhouettes

• Referenced in 168 articles [sw03705]
• Silhouettes: a graphical aid to the interpretation and...

• Sphinx-II

• Referenced in 8 articles [sw04148]
• Sphinx2 is a decoding engine for the Sphinx...

• PVM

• Referenced in 305 articles [sw04273]
• PVM (Parallel Virtual Machine) is a software package...

• Genocop

• Referenced in 1080 articles [sw04707]
• Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

• LIBSVM

• Referenced in 1088 articles [sw04879]
• LIBSVM is a library for Support Vector Machines...

• DLMF

• Referenced in 2225 articles [sw04968]
• NIST digital library of mathematical functions. The National...

• PRTools

• Referenced in 66 articles [sw07386]
• PRTools : A Matlab toolbox for Pattern Recognition...

• IAM

• Referenced in 12 articles [sw08585]
• The IAM-database: An English sentence database for...