• VPM

  • Referenced in 11 articles [sw07364]
  • visual, precise and multilevel metamodeling framework for describing mathematical domains ... family of languages with individually specified semantics, there is an increasing need for automated ... founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras ... Time. However, such transformations into different semantic domains typically require the deep understanding...
  • IPSILON

  • Referenced in 1 article [sw21606]
  • IPSILON: incremental parsing for semantic indexing of latent concepts. A new framework for content-based ... visual elements from a given image. A linguistic processing technique, namely the latent semantic analysis ... then employed to identify associative ensembles of visual elements, which lay the foundation for intelligent...
  • SeaLion

  • Referenced in 10 articles [sw30393]
  • techniques have to be developed that suit the requirements of the answer-set semantics ... offer syntax highlighting, syntax checking, and a visual program outline. Further implemented features are support...
  • WebSEEK

  • Referenced in 3 articles [sw14895]
  • content-based relevance feedback, automated collection of visual information, compact presentation of images and videos ... also developed techniques for automatic categorization of new unconstrained images/video to semantic-level subject classes ... categorization algorithms explore optimal integration of visual features (such as color, texture, spatial layout...
  • code2vec

  • Referenced in 3 articles [sw32380]
  • vectors that capture semantic similarities, combinations, and analogies. Comparing previous techniques over the same data ... large, cross-project, corpus. Our trained model, visualizations and vector similarities are available...
  • CPPX

  • Referenced in 1 article [sw21663]
  • relies on the preprocessing, parsing, and semantic analysis of GNU g++, and produces a graph ... pointer analysis, program slicing, query techniques, source code visualization, object recovery, restructuring, refactoring, remodularization...
  • VIFID/TRIFID

  • Referenced in 2 articles [sw14758]
  • Logic Programming (CLP), whose declarative and operational semantics differ in some crucial ways from those ... programming languages. In this chapter we discuss techniques for visualising data evolution ... techniques, i.e., techniques which are intended to help in reducing the complexity of the visual...
  • TransGAN

  • Referenced in 3 articles [sw42447]
  • multi-scale discriminator to capture simultaneously semantic contexts and low-level textures ... unique training recipe including a series of techniques that can mitigate the training instability issues ... LSUN-Church, TransGAN continues to produce diverse visual examples with high fidelity and impressive texture...
  • LiveRAC

  • Referenced in 1 article [sw27741]
  • matrix of charts, with semantic zooming adapting each chart’s visual representation to the available ... space. LiveRAC allows side-by-side visual comparison of arbitrary groupings of devices and parameters ... LiveRAC to better understand which proposed visualization techniques were most useful in the target environment...
  • GeneLibrarian

  • Referenced in 1 article [sw30046]
  • GeneLibrarian: an effective gene-information summarization and visualization system. Background: Abundant information about gene products ... have developed a novel method for semantic measurement of annotation and integrated it with ... information effectively to the user. The summarization technique involves optimizing the text mining algorithm...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

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