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

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

要約 この作品は、定量的反応合成のための効率的なシンボリック アルゴリズムを紹介 … 続きを読む

カテゴリー: cs.FL, cs.GT, cs.RO, cs.SC | Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks はコメントを受け付けていません

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

要約 ニューラル シンボリック AI (NeSy) により、ニューラル ネットワ … 続きを読む

カテゴリー: cs.AI, cs.LG, cs.LO, cs.PL, cs.SC, I.2.4 | Neural Probabilistic Logic Programming in Discrete-Continuous Domains はコメントを受け付けていません

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks

要約 この作品は、定量的反応合成のための効率的なシンボリック アルゴリズムを紹介 … 続きを読む

カテゴリー: cs.FL, cs.GT, cs.RO, cs.SC | Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks はコメントを受け付けていません

Leveraging Symbolic Algebra Systems to Simulate Contact Dynamics in Rigid Body Systems

要約 衝突検出は、相互作用する剛体のシミュレーションで重要な役割を果たします。 … 続きを読む

カテゴリー: cs.RO, cs.SC | Leveraging Symbolic Algebra Systems to Simulate Contact Dynamics in Rigid Body Systems はコメントを受け付けていません

That’s All Folks: a KG of Values as Commonsense Social Norms and Behaviors

要約 倫理で意図されているように、価値観は、道徳的および社会的規範の形と妥当性を … 続きを読む

カテゴリー: cs.AI, cs.CY, cs.SC | That’s All Folks: a KG of Values as Commonsense Social Norms and Behaviors はコメントを受け付けていません

Co-Driven Recognition of Semantic Consistency via the Fusion of Transformer and HowNet Sememes Knowledge

要約 意味的一貫性認識は、2 つのテキスト文の意味が互いに一致しているかどうかを … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.SC | Co-Driven Recognition of Semantic Consistency via the Fusion of Transformer and HowNet Sememes Knowledge はコメントを受け付けていません

The Role of Semantic Parsing in Understanding Procedural Text

要約 この論文では、深いセマンティックパーサーから抽出されたシンボリックセマンテ … 続きを読む

カテゴリー: cs.CL, cs.SC | The Role of Semantic Parsing in Understanding Procedural Text はコメントを受け付けていません

Context-driven Visual Object Recognition based on Knowledge Graphs

要約 オブジェクト認識のための現在の深層学習方法は純粋にデータ駆動型であり、良い … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.CV, cs.LG, cs.SC | Context-driven Visual Object Recognition based on Knowledge Graphs はコメントを受け付けていません

LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

要約 テキストから画像へのモデルは、最近、写真のようにリアルな品質の一見正確なサ … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.CV, cs.LO, cs.SC | LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems はコメントを受け付けていません

Drawing out of Distribution with Neuro-Symbolic Generative Models

要約 知覚入力から汎用表現を学習することは、人間の知性の特徴です。 たとえば、人 … 続きを読む

カテゴリー: cs.AI, cs.CV, cs.LG, cs.NE, cs.SC | Drawing out of Distribution with Neuro-Symbolic Generative Models はコメントを受け付けていません