• DeepLab

  • Referenced in 36 articles [sw15303]
  • this work we address the task of semantic image segmentation with Deep Learning and make ... which is shown both qualitatively and quantitatively to improve localization performance. Our proposed ”DeepLab” system ... PASCAL VOC-2012 semantic image segmentation task, reaching 79.7% mIOU in the test...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • probabilistic guarded command language with an operational semantics based on (finite) Markov decision processes. LiQuor ... facility to perform a qualitative or quantitative analysis for omega-regular linear time properties...
  • SCEL

  • Referenced in 18 articles [sw20779]
  • awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited ... system behavior to establish qualitative and quantitative properties of both the individual components...
  • CleverPHL

  • Referenced in 2 articles [sw17509]
  • research by providing qualitative and quantitative analyzes of semantically structured interaction records. CleverPHL...
  • GOSemSim

  • Referenced in 3 articles [sw16934]
  • products. Summary: The semantic comparisons of Gene Ontology (GO) annotations provide quantitative ways to compute ... approaches. GOSemSim is an R package for semantic similarity computation among GO terms, sets...
  • ShapeNet

  • Referenced in 15 articles [sw35059]
  • collection of datasets providing many semantic annotations for each 3D model such as consistent rigid ... geometric analysis, and provide a large-scale quantitative benchmark for research in computer graphics...
  • Qlose

  • Referenced in 1 article [sw26888]
  • Qlose: Program repair with quantitative objectives. The goal of automatic program repair is to identify ... also to the program semantics. We call this the quantitative program repair problem where...
  • PRSentiMiner

  • Referenced in 1 article [sw36835]
  • microblogging text and quantitative computing method of emotional semantic factors in microblogging text...
  • DAFY

  • Referenced in 1 article [sw26938]
  • quantitative timed behaviours. In this language neither the syntax nor the semantics are restricted...
  • OR/SM

  • Referenced in 3 articles [sw02709]
  • interactive link to QS (quantitative systems) – a commercial software package for solving a wide range ... interactive checking of model syntax and semantics; and (3) automatic generation of several reference documents...
  • DeeperLab

  • Referenced in 1 article [sw39076]
  • fully convolutional approach that jointly addresses the semantic and instance segmentation tasks in a single ... better lends itself to fast processing. For quantitative evaluation, we use both the instance-based...
  • PSyHCoS

  • Referenced in 2 articles [sw30319]
  • control, due to their complicated structures, quantitative time factors and even unknown delays. We present ... architecture favors reusability in terms of syntax, semantics, and algorithms. It comes with a friendly...
  • rOntorion

  • Referenced in 1 article [sw31359]
  • statistics opens an efficient way for quantitative-qualitative analysis of data ... with Fluent Editor and opens them for semantic processing in R environment...
  • SemPCA-summarizer

  • Referenced in 1 article [sw36836]
  • using Principal Component Analysis technique enriched with semantic information. A concept-sentence matrix is built ... summaries are very competitive, both from a quantitative and a qualitative viewpoint, thus indicating that...
  • Fusion++

  • Referenced in 2 articles [sw32553]
  • intra-object warping. Each object also carries semantic information which is refined over time ... existing objects on repeated loops. We quantitatively evaluate the trajectory error of our system against...
  • ImageSpirit

  • Referenced in 0 articles [sw21715]
  • wise object/attribute labels that correspond to human semantics. Verbally selecting objects of interest enables ... reported for both a large-scale quantitative evaluation and a user study...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Mathematica

  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MCGP

  • Referenced in 15 articles [sw00562]
  • We present MCGP -- a tool for generating and...