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

LMFDB
 Referenced in 169 articles
[sw07249]
 Dyer Conjecture. Lfunctions arise from and encode information about a number of mathematical objects...

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

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

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

PostgreSQL
 Referenced in 80 articles
[sw15935]
 supports international character sets, multibyte character encodings, Unicode, and it is localeaware for sorting...

DeepWalk
 Referenced in 74 articles
[sw39604]
 vertices in a network. These latent representations encode social relations in a continuous vector space...

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

DeepONet
 Referenced in 50 articles
[sw42093]
 consists of two subnetworks, one for encoding the input function at a fixed number ... branch net), and another for encoding the locations for the output functions (trunk...

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

Racer
 Referenced in 66 articles
[sw09837]
 Lispworks, for which also (setf asdf::*defaultencoding* :default) should be evaluated. Racer is distributed...

PLAPACK
 Referenced in 61 articles
[sw04268]
 engineers to exploit a natural approach to encoding socalled blocked algorithms, which achieve high...

CPAchecker
 Referenced in 54 articles
[sw07408]
 predicate analysis with adjustableblock encoding and CEGAR...

MPTP 0.2
 Referenced in 53 articles
[sw02589]
 Mizar proofs are now exported and also encoded in the extended TPTP syntax, allowing...

RegulonDB
 Referenced in 53 articles
[sw25948]
 coli K12, currently the bestknown electronically encoded database of the genetic regulatory network...

MMT
 Referenced in 52 articles
[sw07136]
 development of Mathematical Theories. MMT permits to encode mathematical knowledge in a logicneutral representation...

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

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

FPINNs
 Referenced in 51 articles
[sw40570]
 neural networks (NNs) with the PDEs explicitly encoded into the NN using automatic differentiation, while...

SegNet
 Referenced in 27 articles
[sw27575]
 SegNet: A deep convolutional encoderdecoder 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...