• Locales

  • Referenced in 41 articles [sw12448]
  • Locales: a module system for mathematical theories. Locales are a module system for managing theory ... this paper, their semantics is defined in terms of local theories and morphisms. Locales...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • KLAIM naturally supports programming with explicit localities. Localities are first-class data (they ... protocols among located processes. The formal operational semantics is useful for discussing the design ... processes in relation to the various localities. The type system is used to determine...
  • ApolloScape

  • Referenced in 6 articles [sw36630]
  • solving tasks like 3D map construction, self-localization, parsing the driving road and understanding objects ... much large and richer labelling including holistic semantic dense point cloud for each site, stereo ... order to achieve robust self-localization and semantic segmentation for autonomous driving. We show that...
  • MWeb

  • Referenced in 3 articles [sw18270]
  • computational characteristics. Our framework supports: (1) local semantics and different points of view, (2) local...
  • Anchor-PROMPT

  • Referenced in 8 articles [sw09802]
  • Anchor-PROMPT: using non-local context for semantic Matching. Researchers in the ontology-design field...
  • DeepLab

  • Referenced in 38 articles [sw15303]
  • this work we address the task of semantic image segmentation with Deep Learning and make ... multiple scales. Third, we improve the localization of object boundaries by combining methods from DCNNs ... shown both qualitatively and quantitatively to improve localization performance. Our proposed ”DeepLab” system sets ... PASCAL VOC-2012 semantic image segmentation task, reaching 79.7% mIOU in the test...
  • ViDRILO

  • Referenced in 1 article [sw28256]
  • this article we describe a semantic localization dataset for indoor environments named ViDRILO. The dataset ... dataset are annotated with the semantic category of the scene, but also with the presence...
  • TopicRNN

  • Referenced in 3 articles [sw36211]
  • model designed to directly capture the global semantic meaning relating words in a document ... capturing the local structure of a word sequence - both semantic and syntactic - but might face ... able to capture the global underlying semantic structure of a document but do not account ... models: it captures local (syntactic) dependencies using an RNN and global (semantic) dependencies using latent...
  • VPM

  • Referenced in 11 articles [sw07364]
  • family of languages with individually specified semantics, there is an increasing need for automated ... transformations that (i) assure the integration of local views (different diagrams) of the system into ... founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras...
  • SOBER

  • Referenced in 8 articles [sw40000]
  • SOBER, which localizes software bugs without any prior knowledge of program semantics. Unlike existing statistical ... power of our approach in bug localization: SOBER can help programmers locate...
  • Creol

  • Referenced in 27 articles [sw09421]
  • high-level local control structures allow local computation to adapt to network instability. Object variables ... This paper presents the Creol syntax, operational semantics, and type system. It is shown that...
  • Unbound

  • Referenced in 4 articles [sw22613]
  • provide a formal semantics for this language derived from a locally nameless representation and prove...
  • PSLDoc

  • Referenced in 1 article [sw24765]
  • dipeptides and probabilistic latent semantic analysis. Prediction of protein subcellular localization (PSL) is important ... based on gapped-dipeptides and probabilistic latent semantic analysis (PLSA) to solve this problem ... versus-rest support vector machine classifiers. The localization site with the highest probability is assigned...
  • DeLS-3D

  • Referenced in 1 article [sw36651]
  • DeLS-3D: Deep Localization and Segmentation with a 3D Semantic Map. For applications such ... autonomous driving, self-localization/camera pose estimation and scene parsing are crucial technologies. In this ... videos, motion sensors (GPS/IMU), and a 3D semantic map in order to achieve robustness...
  • ConArg2

  • Referenced in 6 articles [sw22084]
  • belonging to a valid extension for that semantics. Searching for solutions of problems (as enumerating ... takes advantage of well-known techniques as local consistency, different heuristics for trying to assign...
  • SyncSpecCnn

  • Referenced in 5 articles [sw26163]
  • this paper, we study the problem of semantic annotation on 3D models that are represented ... functional view is taken to represent localized information on graphs, so that annotations such...
  • PaDiM

  • Referenced in 1 article [sw41239]
  • Distribution Modeling, PaDiM, to concurrently detect and localize anomalies in images in a one-class ... correlations between the different semantic levels of CNN to better localize anomalies. PaDiM outperforms current...
  • DRAGO

  • Referenced in 3 articles [sw15032]
  • necessity of building the interoperable Semantic Web. In contrast to the so called global reasoning ... that accomplishes reasoning through a combination of local reasoning chunks, internally executed in each separate ... formal framework for representation of multiple semantically connected ontologies, we define a sound and complete...
  • TAACO

  • Referenced in 1 article [sw38247]
  • Automatic Analysis of Cohesion 2.0: Integrating semantic similarity and text overlap. This article introduces ... indices related to local and global cohesion at the semantic level, reported by latent semantic...
  • JCSP

  • Referenced in 3 articles [sw25045]
  • local multiplexing and de-multiplexing of application channels, acknowledgement packets to preserve synchronisation semantics ... received objects whose classes are not available locally (this uses the network channel from which...