cs.CC」カテゴリーアーカイブ

Quantifying over Optimum Answer Sets

要約 量指定子を使用した解答セット プログラミング (ASP(Q)) は、多項式 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.CL | Quantifying over Optimum Answer Sets はコメントを受け付けていません

Stabilizer bootstrapping: A recipe for efficient agnostic tomography and magic estimation

要約 私たちは不可知論的トモグラフィーのタスクを研究します: 与えられたクラス … 続きを読む

カテゴリー: cs.CC, cs.DS, cs.LG, quant-ph | Stabilizer bootstrapping: A recipe for efficient agnostic tomography and magic estimation はコメントを受け付けていません

Computability of Classification and Deep Learning: From Theoretical Limits to Practical Feasibility through Quantization

要約 過去 10 年間における深層学習の揺るぎない成功により、さまざまな応用分野 … 続きを読む

カテゴリー: 03D80, 65D15, 68T05, 68T07, cs.CC, cs.LG | Computability of Classification and Deep Learning: From Theoretical Limits to Practical Feasibility through Quantization はコメントを受け付けていません

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation

要約 機械学習 (ML) モデルを解釈する能力はますます重要になってきています。 … 続きを読む

カテゴリー: cs.CC, cs.LG, cs.LO | Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation はコメントを受け付けていません

Backward explanations via redefinition of predicates

要約 History eXplanation based on Predicat … 続きを読む

カテゴリー: cs.AI, cs.CC, I.2.6 | Backward explanations via redefinition of predicates はコメントを受け付けていません

Data Debugging is NP-hard for Classifiers Trained with SGD

要約 データ・デバッグとは、学習データの部分集合を見つけ、その部分集合に対して再 … 続きを読む

カテゴリー: cs.CC, cs.LG | Data Debugging is NP-hard for Classifiers Trained with SGD はコメントを受け付けていません

Non-Clashing Teaching Maps for Balls in Graphs

要約 最近、カークパトリックら。 [ALT 2019] および Fallat e … 続きを読む

カテゴリー: cs.CC, cs.DM, cs.DS, cs.LG, math.CO | Non-Clashing Teaching Maps for Balls in Graphs はコメントを受け付けていません

Explaining Decisions in ML Models: a Parameterized Complexity Analysis

要約 この論文では、さまざまな機械学習 (ML) モデルにおける説明問題のパラメ … 続きを読む

カテゴリー: cs.AI, cs.CC | Explaining Decisions in ML Models: a Parameterized Complexity Analysis はコメントを受け付けていません

ReLU Neural Networks of Polynomial Size for Exact Maximum Flow Computation

要約 この論文では、整流された線形単位を備えた人工ニューラル ネットワークの表現 … 続きを読む

カテゴリー: cs.CC, cs.DS, cs.LG, cs.NE, stat.ML | ReLU Neural Networks of Polynomial Size for Exact Maximum Flow Computation はコメントを受け付けていません

Submodular Information Selection for Hypothesis Testing with Misclassification Penalties

要約 仮説検証/分類タスクに最適な情報ソースのサブセットを選択するという問題を考 … 続きを読む

カテゴリー: cs.CC, cs.IT, cs.LG, math.IT, math.OC, stat.ML | Submodular Information Selection for Hypothesis Testing with Misclassification Penalties はコメントを受け付けていません