• BaRT

  • Referenced in 2 articles [sw01950]
  • representation tool is used the Conceptual Structures Representation Language (CSRL), designed to facilitate the construction...
  • ANSYS

  • Referenced in 655 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • 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...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Smalltalk

  • Referenced in 189 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • CoFI

  • Referenced in 42 articles [sw01631]
  • CoFI: The common framework initiative for algebraic specification...
  • WordNet

  • Referenced in 392 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • PROGRES

  • Referenced in 70 articles [sw02905]
  • Integrity constraints in the multi-paradigm language PROGRES...
  • COMET

  • Referenced in 71 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • SDPA

  • Referenced in 172 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • Communication protocols for mathematical services based on KQML...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • SeDuMi

  • Referenced in 1175 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 609 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

  • Referenced in 3041 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • SPSS

  • Referenced in 624 articles [sw04269]
  • SPSS is a computer program used for survey...