月別アーカイブ: 2023年3月

Knowledge Transfer via Multi-Head Feature Adaptation for Whole Slide Image Classification

要約 ソース ドメインから同じまたは類似のターゲット ドメインに事前知識を転送す … 続きを読む

カテゴリー: cs.AI, cs.CV | Knowledge Transfer via Multi-Head Feature Adaptation for Whole Slide Image Classification はコメントを受け付けていません

Decision-Making Under Uncertainty: Beyond Probabilities

要約 このポジション ペーパーは、不確実性の下での意思決定における最先端の技術を … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.RO, cs.SY, eess.SY | Decision-Making Under Uncertainty: Beyond Probabilities はコメントを受け付けていません

Lemmas: Generation, Selection, Application

要約 補題は数学の重要な特徴であることに注意して、自動化された定理証明における補 … 続きを読む

カテゴリー: cs.AI, cs.LO | Lemmas: Generation, Selection, Application はコメントを受け付けていません

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools

要約 中等学校における自動控除システムの導入は、いくつかのボトルネックに直面して … 続きを読む

カテゴリー: cs.AI, cs.CY, cs.LO, I.2 | A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools はコメントを受け付けていません

On Exams with the Isabelle Proof Assistant

要約 イザベル証明アシスタントを使用して、自動推論のコースで学生の学習成果をテス … 続きを読む

カテゴリー: cs.AI, cs.LO, F.4; I.2.3; K.3.1 | On Exams with the Isabelle Proof Assistant はコメントを受け付けていません

Lazy Parameter Tuning and Control: Choosing All Parameters Randomly From a Power-Law Distribution

要約 ほとんどの進化的アルゴリズムには複数のパラメーターがあり、それらの値はパフ … 続きを読む

カテゴリー: cs.AI, cs.NE | Lazy Parameter Tuning and Control: Choosing All Parameters Randomly From a Power-Law Distribution はコメントを受け付けていません

Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models

要約 構造学習は、ニューロシンボリック AI と統計的関係学習の分野の中心にある … 続きを読む

カテゴリー: cs.AI | Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models はコメントを受け付けていません

Seq2Seq Surrogates of Epidemic Models to Facilitate Bayesian Inference

要約 流行モデルは、感染症を理解するための強力なツールです。 ただし、サイズと複 … 続きを読む

カテゴリー: cs.AI, cs.LG, math.PR, q-bio.PE, stat.ML | Seq2Seq Surrogates of Epidemic Models to Facilitate Bayesian Inference はコメントを受け付けていません

Machine Learning-powered Course Allocation

要約 機械学習を利用したコース割り当てメカニズムを導入します。 具体的には、最先 … 続きを読む

カテゴリー: cs.AI, cs.GT, cs.LG | Machine Learning-powered Course Allocation はコメントを受け付けていません

Classifying the evolution of COVID-19 severity on patients with combined dynamic Bayesian networks and neural networks

要約 何らかの病気の影響で病院に到着する患者に直面するとき、直面する主な問題の … 続きを読む

カテゴリー: cs.AI, cs.LG | Classifying the evolution of COVID-19 severity on patients with combined dynamic Bayesian networks and neural networks はコメントを受け付けていません