• TXL

  • Referenced in 18 articles [sw11319]
  • mark-up, rewriting strategies and contextualized rules, without any change to TXL itself. This paper...
  • SafeDpi

  • Referenced in 13 articles [sw01989]
  • code. We also show that a natural contextually defined behavioural equivalence can be characterised coinductively...
  • CertiKOS

  • Referenced in 8 articles [sw21503]
  • CPUs or threads, we prove a strong contextual refinement property for every kernel function, which ... practical concurrent OS kernel and verified its (contextual) functional correctness in Coq. Our certified kernel...
  • TkWinHOL

  • Referenced in 8 articles [sw00968]
  • Window inference is a method for contextual rewriting and renement supported by the HOL Window...
  • BEAT

  • Referenced in 8 articles [sw10675]
  • basis of actual linguistic and contextual analysis of the typed text, relying on rules derived...
  • AdaPT

  • Referenced in 7 articles [sw30027]
  • some predictor (x_i) encoding contextual information about the hypothesis. For large-scale problems, adaptively...
  • BERTScore

  • Referenced in 7 articles [sw33891]
  • exact matches, we compute token similarity using contextual embeddings. We evaluate using the outputs...
  • ABNER

  • Referenced in 6 articles [sw30049]
  • fields with a variety of orthographic and contextual features. The latest version is 1.5, which...
  • pSLIP

  • Referenced in 6 articles [sw35549]
  • protein localization prediction algorithm. Unlike other algorithms, contextual information is preserved by dividing the protein...
  • Seglearn

  • Referenced in 5 articles [sw23641]
  • forecasting problems with multivariate sequence and contextual data. This package is compatible with scikit-learn...
  • PanoContext

  • Referenced in 3 articles [sw32555]
  • main reasons that contextual information is not as useful as it should be for object ... method generates 3D hypotheses based on contextual constraints and ranks the hypotheses holistically, combining both...
  • Thingi10K

  • Referenced in 3 articles [sw34102]
  • intersections, non-manifoldness). We observe that the contextual and geometric characteristics of 3D printing models ... geometric (e.g., triangle aspect ratios, manifoldness) and contextual (e.g., licenses, tags, classes) characteristics, we demonstrate...
  • TopicRNN

  • Referenced in 3 articles [sw36211]
  • using latent topics. Unlike previous work on contextual RNN language modeling, our model is learned ... word prediction show that TopicRNN outperforms existing contextual RNN baselines. In addition, TopicRNN...
  • Point2Sequence

  • Referenced in 2 articles [sw38075]
  • Attention-based Sequence to Sequence Network. Exploring contextual information in the local region is important ... hand-crafted or explicit ways to encode contextual information of local regions. However ... hard to capture fine-grained contextual information in hand-crafted or explicit manners, such ... shape features by capturing fine-grained contextual information in a novel implicit way. Point2Sequence employs...
  • CCNet

  • Referenced in 2 articles [sw39070]
  • CCNet: Criss-Cross Attention for Semantic Segmentation. Contextual information is vital in visual understanding problems ... Cross Network (CCNet) for obtaining full-image contextual information in a very effective and efficient ... novel criss-cross attention module harvests the contextual information of all the pixels...
  • coneqct

  • Referenced in 2 articles [sw40190]
  • contextual equivalence checker for IMJ*. We present coneqct: a contextual equivalence checking tool for terms ... free identifiers), terms of the language, the contextual equivalence problem asks if the terms...
  • Hazelnut

  • Referenced in 2 articles [sw22659]
  • doing reveal connections with gradual typing and contextual modal type theory, the Curry-Howard interpretation ... contextual modal logic. Finally, we discuss how Hazelnut’s semantics lends itself to implementation...
  • MedPost

  • Referenced in 3 articles [sw07991]
  • hidden Markov model (HMM) to combine contextual information with lexical information to improve on baseline...
  • TimeML

  • Referenced in 3 articles [sw21219]
  • versus discourse properties of ordering); Reasoning with contextually underspecified temporal expressions (temporal functions such...
  • Arbogast

  • Referenced in 3 articles [sw26168]
  • other. The approach is best described as contextualization of C code because it permits...