• f2lp

  • Referenced in 10 articles [sw09898]
  • first-order theory under the stable model semantics into an answer set program, so that ... rules. Based on the relationship between stable models and circumscription, f2lp can also serve...
  • MobileNetV2

  • Referenced in 15 articles [sw41926]
  • describe efficient ways of applying these mobile models to object detection in a novel framework ... demonstrate how to build mobile semantic segmentation models through a reduced form of DeepLabv3 which...
  • VPM

  • Referenced in 11 articles [sw07364]
  • specified semantics, there is an increasing need for automated and provenly correct model transformations that ... well-founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process ... where the structure and operational semantics of mathematical models can be defined...
  • OMT-G

  • Referenced in 9 articles [sw02654]
  • object-oriented data model for geographic applications. Semantic and object-oriented data models, such ... modeling geographic applications. Despite their semantic expressiveness, such models present limitations to adequately model those...
  • Church

  • Referenced in 51 articles [sw08946]
  • model of lambda calculus, containing a pure Lisp as its deterministic subset. The semantics ... simple description of many complex non-parametric models. We illustrate language features through several examples...
  • ShapeNet

  • Referenced in 15 articles [sw35059]
  • objects. ShapeNet contains 3D models from a multitude of semantic categories and organizes them under ... datasets providing many semantic annotations for each 3D model such as consistent rigid alignments, parts...
  • Rfuzzy

  • Referenced in 7 articles [sw09052]
  • based on a lattice). A least model semantics, a least fixpoint semantics and an operational...
  • ActiveMath

  • Referenced in 48 articles [sw06374]
  • Semantic Web application with a number of services. It’s Model-View-Controller architecture...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • spectrum of modelling concepts, (ii) possesses a rigid, process-algebra style semantics...
  • LOGLAN

  • Referenced in 4 articles [sw26939]
  • implemented in a shared or a distributed model. par Procedure and functions can be treated ... terms of objects. par The LOGLAN semantic model provides multi-level inheritance, but does ... such a construct may have different semantic models, each of them creating completely different semantic...
  • ASPeRiX

  • Referenced in 6 articles [sw00050]
  • implementation of the stable model semantics for normal logic programs. The main specifity...
  • ModuRes

  • Referenced in 4 articles [sw13122]
  • that it is challenging to build semantic models of type systems or logics for reasoning ... challenges is that such semantic models often involve constructing solutions to certain kinds of recursive...
  • Lem

  • Referenced in 4 articles [sw09395]
  • rigorous engineering: using mathematically rigorous semantic models (not just idealised calculi) of real-world processors ... bring their own difficulties, and a model produced in one, perhaps requiring many person-years ... language for engineering reusable large-scale semantic models. The Lem design takes inspiration both from...
  • DACTL

  • Referenced in 28 articles [sw02871]
  • Dactl model before giving a formal definition of the syntax and semantics of the language...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • model checking: (1) Numerous competing web service standards, most of which lack formal semantics, complicate ... based manipulation are not supported by current model checkers...
  • UMM

  • Referenced in 8 articles [sw10132]
  • alternative specification of the Java memory model, based on a proposal from Manson and Pugh ... demonstrate how to analyze Java thread semantics using model checking. We also compare our operational...
  • ASPMT2SMT

  • Referenced in 5 articles [sw13280]
  • theories based on the functional stable model semantics. It is shown that the tight fragment ... thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper...
  • Simlex-999

  • Referenced in 5 articles [sw26935]
  • Simlex-999: evaluating semantic models with (genuine) similarity estimation. SimLex-999 is a gold standard...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • BayesOWL: Uncertainty Modeling in Semantic Web Ontologies. It is always essential but difficult to capture...