
f2lp
 Referenced in 10 articles
[sw09898]
 firstorder 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 ... wellfounded 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...

OMTG
 Referenced in 9 articles
[sw02654]
 objectoriented data model for geographic applications. Semantic and objectoriented 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 nonparametric 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 ModelViewController architecture...

MoDeST
 Referenced in 32 articles
[sw01544]
 spectrum of modelling concepts, (ii) possesses a rigid, processalgebra 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 multilevel 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 realworld processors ... bring their own difficulties, and a model produced in one, perhaps requiring many personyears ... language for engineering reusable largescale semantic models. The Lem design takes inspiration both from...

DACTL
 Referenced in 28 articles
[sw02871]
 Dactl model before giving a formal deﬁnition 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...

Mechanized Semantic Library
 Referenced in 5 articles
[sw13123]
 mathematical techniques useful for developing semantic models of program logics and type systems: separation algebras...

Simlex999
 Referenced in 5 articles
[sw26935]
 Simlex999: evaluating semantic models with (genuine) similarity estimation. SimLex999 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...