• STEX+

  • Referenced in 4 articles [sw07697]
  • order to deal with modular pre-semantic vocabularies and relations, we upgraded it to STEX ... structural annotations are preserved in order to enable semantic information retrieval services...
  • InfoGraph

  • Referenced in 2 articles [sw37754]
  • learns from unlabeled data while preserving the latent semantic space favored by the current supervised...
  • FOOL

  • Referenced in 4 articles [sw14287]
  • define the syntax and semantics of FOOL and its model-preserving translation to first-order...
  • MSO_Regex_Equivalence

  • Referenced in 7 articles [sw32230]
  • language-preserving translation of formulas into regular expressions with respect to two different semantics...
  • RefactorErl

  • Referenced in 4 articles [sw13674]
  • layout and comment preservation during transformations. The result of different static semantic analysis is available...
  • CompCertS

  • Referenced in 3 articles [sw22722]
  • semantics to more programs and ensures that the memory consumption is preserved by the compiler...
  • Data Refinement IBP

  • Referenced in 3 articles [sw28836]
  • DataRefinementIBP: Semantics and Data Refinement of Invariant Based Programs. The invariant based programming ... defining the transitions and proving that they preserve the invariants. Data refinement is a technique ... presented here we formalize the predicate transformer semantics for invariant based programs and their data...
  • Cider

  • Referenced in 4 articles [sw00126]
  • diagram’s structure and its intended semantics. We present Cider. Cider is a generic component ... they are constructed and manipulated, structure preserving manipulation, and a powerful transformation system for specifying...
  • Transformer semantics

  • Referenced in 1 article [sw42013]
  • Semantics. These mathematical components formalise predicate transformer semantics for programs, yet currently only for partial ... first part for isotone (or monotone), Sup-preserving and Inf-preserving transformers follows Back...
  • FAME

  • Referenced in 3 articles [sw26270]
  • high-performance reasoning tool, called Fame, for semantic forgetting in expressive description logics. Forgetting ... consequences up to the remaining signature are preserved. Fame is a Java-based implementation...
  • DeltaCCS

  • Referenced in 4 articles [sw14476]
  • change directives are applied to core process semantics by overriding the CCS term rewriting rule ... rigorous local reasoning on the preservation of behavioral properties after varying CCS specifications. We present...
  • LangPro

  • Referenced in 1 article [sw27841]
  • hypothesis, it is able to prove semantic relations between them. The prover is based ... proof procedure operates on logical forms that preserve linguistic expressions to a large extent...
  • RandLA-Net

  • Referenced in 1 article [sw39847]
  • neural architecture to directly infer per-point semantics for large-scale point clouds ... field for each 3D point, thereby effectively preserving geometric details. Extensive experiments show that ... surpasses state-of-the-art approaches for semantic segmentation on two large-scale benchmarks Semantic3D...
  • Unbound

  • Referenced in 4 articles [sw22613]
  • five basic combinators. We provide a formal semantics for this language derived from a locally ... user-defined types, best-effort name preservation (for error messages), and integration with Haskell...
  • LOGLAN

  • Referenced in 4 articles [sw26939]
  • Aside from of real parallelism LOGLAN preserves possibilities for quasi- parallelism by means of coroutines ... terms of objects. par The LOGLAN semantic model provides multi-level inheritance, but does...
  • SL2SX

  • Referenced in 1 article [sw20160]
  • underlying formalism hybrid automata, which are semantically and structurally different from Simulink models. To address ... SpaceEx model. Our method is designed to preserve the syntactic aspects of a given Simulink...
  • VoxSegNet

  • Referenced in 1 article [sw36661]
  • VoxSegNet: Volumetric CNNs for Semantic Part Segmentation of 3D Shapes. Voxel is an important format ... dense extraction (SDE) module is designed to preserve the spatial resolution during the feature extraction ... abstraction scales, leading to segmentation with both semantic consistency and high accuracy of details. Experiment...
  • Inscriptis

  • Referenced in 1 article [sw39723]
  • from standard Web browsers and, therefore, better preserves the spatial arrangement of text elements. Inscriptis ... extracted text based on structural and semantic information encoded in HTML tags and attributes used...
  • SIMP

  • Referenced in 2 articles [sw09936]
  • SIMP program P. The operational semantics of the language SIMP is specified via an interpreter ... which, during specialization, has the objecting of preserving the so called branching behaviour...
  • A2D2

  • Referenced in 1 article [sw36645]
  • sequential frames: 41,277 frames with semantic segmentation image and point cloud labels, of which ... blurred due to GDPR legislation and to preserve anonymity. A2D2 is made available under...