• DoReFa-Net

  • Referenced in 11 articles [sw36246]
  • convolutions during forward/backward passes can now operate on low bitwidth weights and activations/gradients respectively, DoReFa ... convolution kernels to accelerate both training and inference. Moreover, as bit convolutions can be efficiently...
  • TRANSIT

  • Referenced in 6 articles [sw28674]
  • expression inference from concolic snippets can synthesize expressions of size 15 involving typical operators over...
  • MJ

  • Referenced in 12 articles [sw24342]
  • similar effects system and instrument the operational semantics. We then prove the correctness ... also consider the question of effect inference for our extended calculus, detail an algorithm...
  • OKVAR-Boost

  • Referenced in 3 articles [sw24063]
  • dynamical models are particularly appropriate for this inference task, given the generation mechanism ... novel nonlinear autoregressive model based on operator-valued kernels that simultaneously learns the model parameters ... network inference for the proposed model. Specifically, at each boosting iteration, a regularized Operator-valued...
  • daBNN

  • Referenced in 2 articles [sw31494]
  • could drastically accelerate the inference efficiency by replacing the arithmetic operations in float-valued Deep ... Neural Networks (DNNs) with bit-wise operations. Nevertheless, there has not been open-source implementation ... work, we propose daBNN --- a super fast inference framework that implements BNNs on ARM devices...
  • PopABC

  • Referenced in 4 articles [sw24740]
  • parameters. PopABC is a computer package for inferring the pattern of demographic divergence of closely ... UNIX, MacOSX and Windows operating systems...
  • PolyAML

  • Referenced in 5 articles [sw08950]
  • inference algorithm with a simple form of local type inference.We give our language operational meaning...
  • SATe

  • Referenced in 3 articles [sw24610]
  • Estimation. SATé is a software package for inferring a sequence alignment and phylogenetic tree ... algorithm involves repeated alignment and tree searching operations. The original data set is divided into ... aligned and further merged for phylogenetic tree inference. The implementation developed at the University...
  • Radyban

  • Referenced in 7 articles [sw12543]
  • network and exploits classical algorithms for the inference on dynamic Bayesian networks, in order ... tool, we show how it operates on a real world example and we compare...
  • Lackwit

  • Referenced in 4 articles [sw08939]
  • program understanding tool based on type inference. By determining, statically, where the structure ... data structures, detect simple errors in operations on abstract datatypes, and locate sites of possible ... value. We compute representation sharing with type inference, using types to encode representations. The method...
  • LogAnswer

  • Referenced in 3 articles [sw21369]
  • infer correct replies to natural language questions. For this purpose LogAnswer operates on a large...
  • Eff

  • Referenced in 21 articles [sw22721]
  • handler describes the actions taken when an operation is triggered. Examples of handlers include state ... typed language with parametric polymorphism and type inference. The types are similar to those...
  • QWeSST

  • Referenced in 1 article [sw14207]
  • extended form of substructural operational semantics. It augments standard inference rules with a construction that...
  • Neuroconductor

  • Referenced in 4 articles [sw31165]
  • language R, Neuroconductor started with 51 inter-operable packages that cover multiple areas of imaging ... visualization, data processing and storage, and statistical inference. Neuroconductor accepts new R package submissions, which...
  • Roo

  • Referenced in 7 articles [sw12478]
  • closure of a set under an operation and presented several application areas. In this paper ... clauses under a set of inference rules. In particular, we have applied the parallel closure...
  • SIMPL

  • Referenced in 11 articles [sw13333]
  • recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages ... combined. This overarching method consists of an infer-relax-restrict cycle in which...
  • MikiBeta

  • Referenced in 1 article [sw09920]
  • user code in inference rules, one can construct GUIs with complex operations such as environment...
  • HOL2P

  • Referenced in 4 articles [sw21180]
  • functions. The parameterisation of terms with type operators adds genericity to theorems. Type variable quantification ... implemented on top of HOL-Light. Type inference is semi-automatic, and some type annotations...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • bound expressions, segment abstractions and the reduction operator. Once the functor has been instantiated with ... code. We were able to infer thousands of non-trivial invariants and verify the implementation...
  • Koka

  • Referenced in 11 articles [sw19068]
  • inference system based on Hindley-Milner style inference. A novel feature is that we support ... show how we can safely encapsulate stateful operations. Through the state effect, we can also...