• EClean

  • Referenced in 1 article [sw42680]
  • EClean - An Embedded Functional Language. C++ template metaprogramming is often regarded as a functional language ... functional paradigm is the lazy evaluation strategy. With the help of the engine...
  • IMIS-ShOpt

  • Referenced in 1 article [sw41728]
  • framework which employs different optimization strategies, criteria, or conditional targets to enable wider likelihood exploration ... introduced shotgun optimization approach is embedded into an incremental mixture importance sampling algorithm to produce ... estimation from differential equation models employing diverse strategies including numerical solutions and approximations thereof. Additionally...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • encoding typical mediation tasks like conditional preference strategies, schema integration or data inconsistency resolution. Using ... with an extensible type system and the embedding of external knowledge sources as constraint domains...
  • daBNN

  • Referenced in 2 articles [sw31494]
  • devices (e.g., mobile phones and embedded devices). In this work, we propose daBNN --- a super ... devices. Several speed-up and memory refinement strategies for bit-packing, binarized convolution, and memory...
  • PRESTO

  • Referenced in 1 article [sw41591]
  • heterogeneous processors. The objective of the scheduling strategy is to minimize a generic penalty function ... various application domains such as real-time embedded systems, cloud/fog computing, industrial automation and IoTs...
  • ReSSL

  • Referenced in 1 article [sw39719]
  • thus utilized to match the feature embeddings of different augmentations. Moreover, to boost the performance ... more reliable relation, and leverage momentum strategy for practical efficiency. Experimental results show that...
  • LAReQA

  • Referenced in 1 article [sw32538]
  • multilingual BERT (mBERT), we study different strategies for achieving strong alignment. We find that augmenting ... mBERT out-of-the-box. Interestingly, the embedding baseline that performs the best on LAReQA...
  • LightHuBERT

  • Referenced in 1 article [sw42696]
  • subnets and design a two-stage distillation strategy to leverage the contextualized latent representations from ... LightHuBERT enables over 109 architectures concerning the embedding dimension, attention dimension, head number, feed-forward...
  • GLINTS

  • Referenced in 3 articles [sw40628]
  • Variant generation relies on a novel narrowing strategy called ’folding variant narrowing’ that opens ... narrowing computations, (iii) automatic checking of node ’embedding’ and ’closedness’ modulo axioms, and (iv) querying...
  • MoverScore

  • Referenced in 1 article [sw42122]
  • MoverScore: Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance. A robust evaluation metric ... surface forms. In this paper we investigate strategies to encode system and reference texts...
  • Cuneiform

  • Referenced in 1 article [sw26049]
  • operators and data, it allows the direct embedding of code in a variety of external ... recursion, and has a naturally parallelizable evaluation strategy suitable for multi-core servers and distributed...
  • AutoNE

  • Referenced in 2 articles [sw38085]
  • Hyperparameter Optimization for Massive Network Embedding. Network embedding (NE) aims to embed the nodes ... node relationships that make any straightforward sampling strategy problematic. In this paper, we propose...
  • AutoFormer

  • Referenced in 1 article [sw42535]
  • been observed that the depth, embedding dimension, and number of heads can largely affect ... layers during supernet training. Benefiting from the strategy, the trained supernet allows thousands of subnets...
  • SaDNet

  • Referenced in 1 article [sw33467]
  • rely on a spatial attention-based strategy, which employs SaDNet, our proposed Static and Dynamic ... each hand and to obtain hand image-embeddings from the last Fully Connected layer, which...
  • Food Web Designer

  • Referenced in 0 articles [sw25980]
  • tool to visualize interaction networks. Species are embedded in complex networks of ecological interactions ... This is mandatory to develop and evaluate strategies for the management and control of pests...
  • AMD

  • Referenced in 61 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • ANSYS

  • Referenced in 713 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ASTA

  • Referenced in 16 articles [sw00051]
  • ASTA is a tool for research in predictions...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 291 articles [sw00060]
  • ACL2 is both a programming language in which...