• HOL Light

  • Referenced in 299 articles [sw06580]
  • Light’s case this is Objective CAML (OCaml). Thanks to its adherence ... system can be extended with new inference rules without compromising soundness. While retaining this reliability...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • core Caml language with a fully-fledged object-oriented layer, as well as a powerful ... sound, polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation...
  • BLOG

  • Referenced in 41 articles [sw22025]
  • varying and unbounded numbers of objects. Furthermore, complete inference algorithms exist for a large fragment...
  • Scala

  • Referenced in 87 articles [sw07180]
  • exciting methodology known as object-functional programming. In this book, the authors show how Scala ... type inference. In addition, the book shows how to use the dual-object and functional...
  • Oz

  • Referenced in 115 articles [sw06799]
  • high-level programming language combining constraint inference with concurrency. Typical application areas of Oz include ... typed and has first-class procedures, classes, objects, exceptions and sequential threads synchronizing over ... powerful primitives for programming constraint inference engines at a high level...
  • energy

  • Referenced in 75 articles [sw08072]
  • complex objects, like functions, one can use their real valued nonnegative distances for inference. Theory...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • that a standard type system without freshness inference, coupled with a conventional treatment of fresh ... they represent a-equivalent pieces of object-level syntax. This is established via a novel ... denotational semantics. FreshML without static freshness inference is no more impure than ML and experience ... practice when it comes to dealing with object-level syntax modulo a-equivalence...
  • BraMBLe

  • Referenced in 27 articles [sw36453]
  • tracking multiple objects when the number of objects present is unknown and varies over time ... used to perform joint inference on both the number of objects present and their configurations...
  • NYU Depth

  • Referenced in 9 articles [sw38991]
  • Inference from RGBD Images. We present an approach to interpret the major surfaces, objects ... scenes into floor, walls, supporting surfaces, and object regions, and to recover support relationships ... contribute a novel integer programming formulation to infer physical support relations. We offer ... scene cues and inferred support lead to better object segmentation...
  • Medlda

  • Referenced in 12 articles [sw11723]
  • predominantly employ likelihood-driven objective functions for learning and inference, leaving the popular and potentially...
  • SACO

  • Referenced in 11 articles [sw21209]
  • static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness (namely termination ... deadlock freedom) of programs based on concurrent objects. The system integrates auxiliary analyses such...
  • Mcmcpack

  • Referenced in 50 articles [sw07974]
  • This package contains functions to perform Bayesian inference using posterior simulation for a number ... Version 1.0.3. All models return coda mcmc objects that can then be summarized using...
  • partykit

  • Referenced in 24 articles [sw10634]
  • objects that share functionality for print/plot/predict methods. Furthermore, new and improved reimplementations of conditional inference...
  • ICOT

  • Referenced in 3 articles [sw00432]
  • composite objects as a unit of inference. An object-oriented model is a powerful alternative...
  • JFlow

  • Referenced in 26 articles [sw20595]
  • time label checking, and automatic label inference. JFlow also supports many language features that have ... successfully with static information flow control, including objects, subclassing, dynamic type tests, access control...
  • SSD

  • Referenced in 19 articles [sw26652]
  • accuracy to methods that utilize an additional object proposal step and is much faster, while ... unified framework for both training and inference. Compared to other single stage methods...
  • KnowRob

  • Referenced in 10 articles [sw21530]
  • actions, events, objects, environments, and the robot’s hardware as well as inference procedures that ... being used on several robots performing complex object manipulation tasks. We evaluate it through prototypical...
  • ADVI

  • Referenced in 27 articles [sw34040]
  • automatic variational inference algorithm, automatic differentiation variational inference (ADVI). The user only provides a Bayesian ... appropriate variational family and optimizes the variational objective. We implement ADVI in Stan (code available ... images. With ADVI we can use variational inference on any model we write in Stan...
  • carl

  • Referenced in 4 articles [sw29181]
  • likelihood-free inference in Python. The likelihood function is the central object that summarizes...
  • PyCBC Inference

  • Referenced in 2 articles [sw26486]
  • astronomy toolkit that implement Bayesian inference for compact-object binary mergers. We review the Bayesian...