• Smodels

  • Referenced in 239 articles [sw04631]
  • basic idea of ASP is to encode the constraints of a problem as a logic...
  • LMFDB

  • Referenced in 143 articles [sw07249]
  • Dyer Conjecture. L-functions arise from and encode information about a number of mathematical objects...
  • PCA-SIFT

  • Referenced in 79 articles [sw04592]
  • used by SIFT. Like SIFT, our descriptors encode the salient aspects of the image gradient...
  • Clingo

  • Referenced in 79 articles [sw09893]
  • recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version...
  • PostgreSQL

  • Referenced in 74 articles [sw15935]
  • supports international character sets, multibyte character encodings, Unicode, and it is locale-aware for sorting...
  • Edgebreaker

  • Referenced in 53 articles [sw04117]
  • that are homeomorphic to a sphere, Edgebreaker encodes these two tables with less than ... bits per triangle for the connectivity. Entropy encoding reduces this cost in practice to less...
  • BERT

  • Referenced in 67 articles [sw30756]
  • model called BERT, which stands for Bidirectional Encoder Representations from Transformers. Unlike recent language representation...
  • Racer

  • Referenced in 65 articles [sw09837]
  • Lispworks, for which also (setf asdf::*default-encoding* :default) should be evaluated. Racer is distributed...
  • SDPLIB

  • Referenced in 64 articles [sw00838]
  • contain a total of 92 SDP problems encoded in a standard format. It is hoped...
  • PLAPACK

  • Referenced in 61 articles [sw04268]
  • engineers to exploit a natural approach to encoding so-called blocked algorithms, which achieve high...
  • CPAchecker

  • Referenced in 52 articles [sw07408]
  • predicate analysis with adjustable-block encoding and CEGAR...
  • RegulonDB

  • Referenced in 52 articles [sw25948]
  • coli K12, currently the best-known electronically encoded database of the genetic regulatory network...
  • COWS

  • Referenced in 51 articles [sw06955]
  • graphs, fault and compensation handlers, and for encoding other process and orchestration languages...
  • Abella

  • Referenced in 50 articles [sw09461]
  • specification logic which supports a transparent encoding of structural semantics rules and also enables their...
  • MMT

  • Referenced in 48 articles [sw07136]
  • development of Mathematical Theories. MMT permits to encode mathematical knowledge in a logic-neutral representation...
  • MPTP 0.2

  • Referenced in 45 articles [sw02589]
  • Mizar proofs are now exported and also encoded in the extended TPTP syntax, allowing...
  • DeepWalk

  • Referenced in 44 articles [sw39604]
  • vertices in a network. These latent representations encode social relations in a continuous vector space...
  • Herwig++

  • Referenced in 43 articles [sw10350]
  • allows new models to be added by encoding the Feynman rules of the model...
  • SegNet

  • Referenced in 23 articles [sw27575]
  • SegNet: A deep convolutional encoder-decoder architecture for image segmentation. We present a novel ... core trainable segmentation engine consists of an encoder network, a corresponding decoder network followed ... wise classification layer. The architecture of the encoder network is topologically identical ... network is to map the low resolution encoder feature maps to full input resolution feature...
  • CRYPTIM

  • Referenced in 28 articles [sw02442]
  • break the key, i.e. to guess the encoding walk. In fact the quality is good ... affine type whose vertices (messages) and walks (encoding tools) could be both naturally identified with...