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

Sequential composition of propositional logic programs

要約 この論文は、命題論理プログラムの逐次合成と分解を紹介し、研究します。 非周 … 続きを読む

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Sequential composition of propositional logic programs はコメントを受け付けていません

Are Graph Neural Networks Optimal Approximation Algorithms?

要約 この研究では、半定値計画法 (SDP) の強力なアルゴリズム ツールを使用 … 続きを読む

カテゴリー: cs.AI, cs.DM, cs.DS, cs.LG | Are Graph Neural Networks Optimal Approximation Algorithms? はコメントを受け付けていません

Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection

要約 Bergman らによって導入された決定図に基づく分岐限定アルゴリズム。 … 続きを読む

カテゴリー: 90C27, 90C39, 90C57, cs.AI, cs.DM, cs.DS, I.2.8, math.OC | Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection はコメントを受け付けていません

Transforming Geospatial Ontologies by Homomorphisms

要約 この論文では、地理空間オントロジーとその操作の内部詳細を必要とせずに、一連 … 続きを読む

カテゴリー: cs.AI, cs.DM | Transforming Geospatial Ontologies by Homomorphisms はコメントを受け付けていません

Diachronic Data Analysis Supports and Refines Conceptual Metaphor Theory

要約 メタファー分析への貢献として、長年の推測の実証的分析とメタファーの体系的特 … 続きを読む

カテゴリー: 05C07, 05C80, 05C90, 68T50, 91C20, 91F20, 94C15, cs.CL, cs.DM, I.2.7 | Diachronic Data Analysis Supports and Refines Conceptual Metaphor Theory はコメントを受け付けていません

Combinatorial Pure Exploration with Full-bandit Feedback and Beyond: Solving Combinatorial Optimization under Uncertainty with Limited Observation

要約 組み合わせ最適化は、理論コンピューターサイエンスとオペレーションズリサーチ … 続きを読む

カテゴリー: cs.DM, cs.DS, cs.LG, cs.SI, stat.ML | Combinatorial Pure Exploration with Full-bandit Feedback and Beyond: Solving Combinatorial Optimization under Uncertainty with Limited Observation はコメントを受け付けていません

Pseudo-Boolean Polynomials Approach To Edge Detection And Image Segmentation

要約 画像パッチ上で擬似ブール多項式を定式化することにより、エッジ検出と画像セグ … 続きを読む

カテゴリー: 68U05, cs.CV, cs.DM, I.4.6 | Pseudo-Boolean Polynomials Approach To Edge Detection And Image Segmentation はコメントを受け付けていません

Edge Generation Scheduling for DAG Tasks using Deep Reinforcement Learning

要約 有向非巡回グラフ (DAG) タスクは現在、相互通信タスクのチェーンを通じ … 続きを読む

カテゴリー: cs.DC, cs.DM, cs.LG | Edge Generation Scheduling for DAG Tasks using Deep Reinforcement Learning はコメントを受け付けていません

SAT Requires Exhaustive Search

要約 この論文では、CSP (ドメインが大きい) と SAT (句が長い) の非 … 続きを読む

カテゴリー: cs.AI, cs.CC, cs.DM, cs.DS, math.CO | SAT Requires Exhaustive Search はコメントを受け付けていません

Causal Fourier Analysis on Directed Acyclic Graphs and Posets

要約 我々は、エッジ重み付き有向非巡回グラフ (DAG) によってインデックス付 … 続きを読む

カテゴリー: cs.DM, cs.LG, eess.SP, math.CO, stat.ME | Causal Fourier Analysis on Directed Acyclic Graphs and Posets はコメントを受け付けていません