Search
Search Results
-
Learning Type Inference for Enhanced Dataflow Analysis
Statically analyzing dynamically-typed code is a challenging endeavor, as even seemingly trivial tasks such as determining the targets of procedure...
-
Type Assignment & Type Inference
In this video we show you typescript works with type assignments and how type inference work. This helps you in better understanding how typescript...
-
The Inference Method for a Mamdani Type System with Nonsingleton Fuzzification
AbstractThis paper describes the results of logical inference for widely used fuzzy systems of Mamdani type in the case of nonsingleton...
-
Multi-Agent Systems for Collaborative Inference Based on Deep Policy Q-Inference Network
This study tackles the problem of increasing efficiency and scalability in deep neural network (DNN) systems by employing collaborative inference, an...
-
Data Type Inference for Logic Programming
In this paper we present a new static data type inference algorithm for logic programming. Without the need for declaring types for predicates, our...
-
T2RFIS: type-2 regression-based fuzzy inference system
This article discusses a novel type-2 fuzzy inference system with multiple variables in which no fuzzy rules are explicitly defined. By using a...
-
Optimized Fuzzy Inference for Sugeno-Type Systems
AbstractThe article proposes an optimized algorithm that allows the use of a fuzzy inference system with a large number of inference rules (about 10...
-
Lifting in Support of Privacy-Preserving Probabilistic Inference
Privacy-preserving inference aims to avoid revealing identifying information about individuals during inference. Lifted probabilistic inference works...
-
Testing Dependencies and Inference Rules in Databases
AbstractThe process of testing dependencies and inference rules can be used in two ways. First of all, testing allows verifying hypotheses about...
-
Sound and Complete Type Inference for Closed Effect Rows
Koka is a functional programming language that has algebraic effect handlers and a row-based effect system. The row-based effect system infers types...
-
Causal inference in the medical domain: a survey
Causal inference is considered a crucial topic in the medical field, as it enables the determination of causal effects for medical treatments through...
-
Accelerating BERT inference with GPU-efficient exit prediction
BERT is a representative pre-trained language model that has drawn extensive attention for significant improvements in downstream Natural Language...
-
-
Type Inference for Rank-2 Intersection Types Using Set Unification
Several type inference approaches for rank-2 idempotent and commutative intersection types have been presented in the literature. Type inference...
-
Type-1 Fuzzy Logic
This chapter introduces the basic concepts, notation, and basic operations for the type-1 fuzzy sets that will be needed in the following chapters....
-
Maximum Likelihood Inference of Time-Scaled Cell Lineage Trees with Mixed-Type Missing Data
Recent dynamic lineage tracing technologies combine CRISPR-based genome editing with single-cell sequencing to track cell divisions during...
-
Approximate inference for longitudinal mechanistic HIV contact network
Network models are increasingly used to study infectious disease spread. Exponential Random Graph models have a history in this area, with scalable...
-
A Survey on Collaborative DNN Inference for Edge Intelligence
With the vigorous development of artificial intelligence (AI), intelligence applications based on deep neural networks (DNNs) have changed people’s...
-
Adaptive neuro-fuzzy inference system for customizing investment type based on the potential investors’ demographics and feedback
The proposed model is an adaptive neuro-fuzzy inference recommender system that utilizes customer investment service feedback and fuzzy neural...
-
Likelihood-free inference in state-space models with unknown dynamics
Likelihood-free inference (LFI) has been successfully applied to state-space models, where the likelihood of observations is not available but...
