• 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...
  • DistAl

  • Referenced in 99 articles [sw01746]
  • DistAl: An inter-pattern distance-based constructive learning...
  • 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...