Symbolic Logic Reasoning Web2016 Papers
機械学習技術 人工知能技術 自然言語処理技術 セマンティックウェブ技術 オントロジー技術 デジタルトランスフォーメーション技術 AI学会論文 知識情報処理技術 AI学会論文を集めて 推論技術
In the pre...
アルゴリズム:Algorithms
Symbolic Logic Symbolic Logic Protected: Introduction to Optimization with Support Vector Machines: Optimality Conditions and Generic Solution Methods
Optimality conditions (strong duality and KKT) and generic solution methods (active set and interior point method) in support vector machines used for digital transformation, artificial intelligence and machine learning tasks
アルゴリズム:Algorithms Dream of a realistic SimCity
Integration of simulation and machine learning technologies used for digital transformation, artificial intelligence, and machine learning tasks; application of SimCity to the real world using emulation and machine learning
アルゴリズム:Algorithms Protected: kernel function
General kernel functions in support vector machines used in digital transformation (DX), artificial intelligence (AI), and machine learning, and kernel functions on probabilistic, string, and graph-type data
R Protected: State space modeling with R – using dlm and KFAS (2) Seasonal adjustment model with dlm
Analysis of time series data used for digital transformation (DX), artificial intelligence (AI), and machine learning (ML) tasks, and seasonal-variant time series models on real data using R's dlm
アルゴリズム:Algorithms Protected: Support vector machines for unsupervised learning
Application of support vector machines for digital transformation, artificial intelligence, and machine learning tasks (1-class SVM with nu-SV classification algorithm for unsupervised classification used for anomaly detection)
IOT技術:IOT Technology Weather Forecasting and Data Science
Weather forecasting and data assimilation for simulation and data science integration for digital transformation, artificial intelligence, and machine learning task utilization
アルゴリズム:Algorithms Protected: Regression Analysis with Support Vector Machines (2) Approach to Nonlinear Regression Problems
Approaches to nonlinear regression problems with support vector machines (quantile regression, kernel quantile regression, heterogeneous distribution models, ε-insensitive loss functions) utilized in digital transformation, artificial intelligence, and machine learning tasks.
IOT技術:IOT Technology Protected: Time series data analysis (3)Filtering of nonlinear and non-Gaussian state space models (e.g. particle filter)
Filtering and smoothing of nonlinear and non-Gaussian state-space models using particle filters in the analysis of time-series data with state-space models for digital transformation, artificial intelligence, and machine learning tasks
Stream Data Processing Protected: Simulation, Data Assimilation, and Emulation
Fusion of extrapolation (deduction) estimation using simulation and interpolation (induction) estimation using machine learning (simulation assimilation and emulation using DNN, etc.) for digital transformation, artificial intelligence and machine learning tasks