• WASP

  • Referenced in 55 articles [sw09565]
  • unfounded-sets computation, forward and backward inference operators based on atom support, and techniques...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • manipulating syntactical data involving statically scoped binding operations. User-declared FreshML datatypes involving binders ... FreshML used a complicated static type system inferring information about the ’freshness’ of names ... that a standard type system without freshness inference, coupled with a conventional treatment of fresh ... that values of datatypes involving binders are operationally equivalent if and only if they represent...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • systems, denoted as dynamic evolving neural-fuzzy inference system (DENFIS), for adaptive online and offline ... rules are created and updated during the operation of the system. At each time moment ... DENFIS is calculated through a fuzzy inference system based on m-most activated fuzzy rules...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • aggressively infers checking information such as which locks protect which operations, which code contexts ... strategies to infer checking information such as which locks protect which operations, which code contexts...
  • KnowRob

  • Referenced in 10 articles [sw21530]
  • hardware as well as inference procedures that operate on this common representation. The {sc KnowRob...
  • Eclat

  • Referenced in 7 articles [sw07273]
  • wishes to enhance. The technique first infers an operational model of the software’s operation...
  • qLearn

  • Referenced in 20 articles [sw11117]
  • Inference for optimal dynamic treatment regimes using an adaptive m-out-of-n bootstrap scheme ... nonsmooth operations of the data. This nonsmoothness causes standard asymptotic approaches for inference like...
  • OpenGM

  • Referenced in 7 articles [sw21186]
  • distributive operations on these models. It includes state-of-the-art optimization and inference algorithms ... imposed on the factor graph or the operations of the model. OpenGM is modular ... model data structure, inference algorithms and different encodings of functions inter-operate through well-defined...
  • MTT

  • Referenced in 24 articles [sw09783]
  • scope of current termination tools. The operational meaning of such features is often formalized ... proof-theoretic manner by means of an inference system rather than just by a rewriting...
  • LUTNet

  • Referenced in 1 article [sw36421]
  • FPGA configurations for highly efficient neural network inference. Research has shown that deep neural networks ... perform any K -input Boolean operation. Inspired by this observation, we propose LUTNet ... accelerators using the native LUTs as inference operators. We describe the realization of both unrolled...
  • FLOPS

  • Referenced in 3 articles [sw34945]
  • Point Operations (FLOPS). Scan and parse each line of MATLAB codes, and infer FLOPS based ... MATLAB codes, we infer the floating point operations based on matrix sizes. Arithmetic operations, matrix...
  • LIGHT

  • Referenced in 3 articles [sw02357]
  • definition, as a logic language operating bottom-up inferences over OSF-terms, and its implementation...
  • PerMallows

  • Referenced in 16 articles [sw14542]
  • Ulam and it includes functions for making inference, sampling and learning such distributions, some ... product, PerMallows also includes operations for permutations, paying special attention to those related with...
  • KIDS

  • Referenced in 11 articles [sw15441]
  • components for performing algorithm design, deductive inference, program simplification, partial evaluation, finite differencing optimizations, data ... type refinement, compilation, and other development operations. Although their application is interactive...
  • Bedwyr

  • Referenced in 22 articles [sw09460]
  • captured in the sequent calculus by incorporating inference rules for definitions that allow fixed points ... well as may and must behavior in operational semantics. The second is that higher-order...
  • VARIOG2D

  • Referenced in 4 articles [sw12840]
  • that provides four basic operations for semi-variogram analysis: inference of the experimental semi-variogram...
  • FACTORIE

  • Referenced in 13 articles [sw08947]
  • express various aspects of model structure, inference, and learning. By combining the traditional, declarative, statistical ... with imperative definitions of their construction and operation, we allow the user to mix declarative...
  • FlexJava

  • Referenced in 1 article [sw22892]
  • with an approximation safety analysis, automatically infers the operations and data that affect these outputs...
  • TinkerType

  • Referenced in 5 articles [sw01773]
  • modular description of formal systems (type systems, operational semantics, logics, etc.). A family of related ... down into a set of clauses -- individual inference rules -- and a set of features controlling ... typing features, including subtyping, polymorphism, type operators and kinding, computational effects, and dependent types ... form of typeset collections of inference rules or as executable ML typecheckers. The second repository...
  • 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...