「F.1.1」カテゴリーアーカイブ

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

投稿日: 2023年9月4日 作成者: jarxiv

要約 時限命題時間論理(TPTL)の${0, \infty}$ 断片の決定可能性 … 続きを読む →

カテゴリー: cs.CL, cs.FL, cs.LO, F.1.1 | Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete はコメントを受け付けていません

Simulation of Human and Artificial Emotion (SHArE)

投稿日: 2023年6月30日 作成者: jarxiv

要約 人間と人工感情のシミュレーション (SHArE) のフレームワークは、心理 … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.LG, F.1.1 | Simulation of Human and Artificial Emotion (SHArE) はコメントを受け付けていません

A Uniform Quantum Computing Model Based on Virtual Quantum Processors

投稿日: 2023年2月27日 作成者: jarxiv

要約 完全に実現された量子コンピュータは、コンピューティング能力を指数関数的に向 … 続きを読む →

カテゴリー: cs.AI, cs.AR, F.1.1, quant-ph | A Uniform Quantum Computing Model Based on Virtual Quantum Processors はコメントを受け付けていません

Memory-augmented Online Video Anomaly Detection

投稿日: 2023年2月22日 作成者: jarxiv

要約 周囲のシーンを理解する能力は、自動運転車 (AV) にとって最も重要です。 … 続きを読む →

カテゴリー: 68-02, 68-04, 68-06, 68T07, 68T10, 68T45, cs.AI, cs.CV, F.1.1 | Memory-augmented Online Video Anomaly Detection はコメントを受け付けていません