
WASP
 Referenced in 55 articles
[sw09565]
 unfoundedsets 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. Userdeclared 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 neuralfuzzy 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 mmost 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 moutofn 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 stateoftheart 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 interoperate through welldefined...

MTT
 Referenced in 24 articles
[sw09783]
 scope of current termination tools. The operational meaning of such features is often formalized ... prooftheoretic 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 bottomup inferences over OSFterms, 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 higherorder...

VARIOG2D
 Referenced in 4 articles
[sw12840]
 that provides four basic operations for semivariogram analysis: inference of the experimental semivariogram...

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...

DoReFaNet
 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...