💻 Category

cs

3111 ورقة بحثية

💻 علوم الحاسوب

Reactive Replanning Using a Target-State-Driven Strategy for Heterogeneous Multi-Robot Systems under Counting LTL Constraints

تقترح هذه الورقة استراتيجية TRRS، وهي استراتيجية إعادة تخطيط تفاعلية مدفوعة بالحالة المستهدفة تستخدم صياغة البرمجة الخطية ذات الأعداد الصحيحة المختلطة ذات الأفق المتراجع للتعامل ديناميكيًا مع تغيرات المواقع وتحديثات الأولويات في الأنظمة متعددة الروبوتات غير المتجانسة تحت قيود المنطق الزمني الخطي (LTL) الخاصة بالعد، مما يظهر أداءً متفوقًا على النماذج المرجعية الثابتة والجشعة من خلال المحاكاة والتجارب الفيزيائية.

Ting Jiao, Mengge Wang, Yuwei Wang, Rong Zhang, Huanrong Ren2026-09-23
💻 علوم الحاسوب

When Synthetic Diffusion-Control Gains Fail to Transfer: Controlled and Observed-Cascade Evaluation of a Risk-Gated Graph-Attention Policy

تُثبت هذه الورقة أن سياسة التحكم في المخاطر (SCFCE-R)، رغم فعاليتها في محاكاة الشبكات الاصطناعية لاحتواء المعلومات الضارة، تفشل فشلاً ذريعاً في الانتقال إلى شلالات الشائعات الحقيقية على تويتر دون إعادة تدريب، مما يثبت أن الأداء القوي في الشبكات الخاضعة للتحكم لا يضمن الجاهزية للنشر.

Agasthya Anirudh Badampudi2026-09-23
💻 علوم الحاسوب

TOMAgent: Budget-Aware Test Opportunity Modeling for Reliability-Oriented Multi-Agent Unit Test Generation

تقدم هذه الورقة البحثية TOMAgent، وهو إطار عمل متعدد الوكلاء يراعي الميزانية ويقوم بتحسين توليد اختبارات الوحدة عبر نمذجة اختيار الوحدات كمسألة منفعة حدية، محققاً معدل نجاح في اكتشاف الأخطاء بنسبة 40% على معايير Defects4J — متفوقاً بشكل ملحوظ على النماذج المرجعية الموحدة والموجهة بالتغطية — مع الحفاظ في الوقت ذاته على درجات طفرات وكفاءة رموز برمجية تنافسية.

Yunyu Fang2026-09-23
💻 علوم الحاسوب

Insulator Defect Detection Based on Multi-Scale Perception and Context-Guided Feature Aggregation

لمعالجة تحديات تباين الحجم، وضعف الأنسجة، وتشابه الخلفية في الكشف عن عيوب العوازل باستخدام الطائرات بدون طيار، تقترح هذه الورقة شبكة تجميع السياق المدركة للمقياس (SACANet)، والتي تدمج تجميع المجال الاستقبالي المدرك للمقياس، وصقل الميزات ثنائي الاتجاه رباعي المقاييس، والتنبؤ متعدد المقاييس المتوافق مكانيًا لتحقيق أداء رائد على مجموعة بيانات FLOWID.

Dongqi Zhang, Xiaoxia Liu, Zainura Idrus, Shuai Liu2026-09-23
💻 علوم الحاسوب

Evidence aware multimodal auditing of museum image metadata consistency

تقدم هذه الورقة معياراً مرجعياً يعتمد على الأدلة ويتحكم في المصدر، باستخدام ٢٩٥ قطعة من المشغولات الخشبية المطلية باللاكيه من متحف القصر الوطني في تايبيه، لتدقيق اتساق البيانات الوصفية لصور المتاحف مقابل الأدلة المرئية، مما يكشف عن فجوات كبيرة في قدرات التقييم الآلي والبشري الحالية، ويسلط الضوء على ضرورة النمذجة الصريحة لكفاية الأدلة وعدم اليقين الخاص بالمجال في أنظمة تدقيق البيانات الوصفية المستقبلية.

Peng Yue, Jia Hou, Xiao Zhang2026-09-23
💻 علوم الحاسوب

MDKT: Robust Multi-Dimensional Knowledge Tracing with Adaptive Dual-Phase State Evolution

تقترح الورقة البحثية نموذج MDKT، وهو نموذج تتبع معرفي قوي يعزز دقة التنبؤ والمرونة في سيناريوهات البيانات الضوضائية والمتفرقة من خلال نمذجة المعرفة بشكل مشترك على مستويات السؤال والمفهوم والمستوى العام عبر مشفر ثنائي الطور تكيفي وتنعيم تنافسي.

Muhui Lin, Jiangsong Xu, Ziqi Wang, Mingwei Lin, Shenbao Yu, Jun Shen2026-09-23
💻 علوم الحاسوب

Probabilistic Multi-dimensional Classification with Incomplete Data

تقترح هذه الورقة نهجاً احتمالياً جديداً، وقابلاً للتوسع، ومتيناً للتصنيف متعدد الأبعاد باستخدام بيانات مختلطة وغير مكتملة، مع توفير أسس نظرية لخوارزمياته وأدلة تجريبية على فعاليته عبر سيناريوهات مختلفة من فقدان البيانات.

Thu Ha Do, Kim-Dung Tran, Vu-Linh Nguyen, Yves Grandvalet, Sébastien Destercke2026-09-23
💻 علوم الحاسوب

AI for Sustainability: A Smart Data Model to Guide Governmental Decisions

تقترح هذه الورقة إطاراً ذكياً لتحليل البيانات يستخدم نماذج تعلم الآلة (الانحدار الخطي، والغابة العشوائية، وXGBoost) لتقييم وتوقع مؤشرات الاستدامة المتوافقة مع أهداف التنمية المستدامة للأمم المتحدة، مما يثبت أن نموذج XGBoost يقدم الأداء الأكثر استقراراً مع تزويد الحكومات بأداة قابلة للتفسير وقائمة على الأدلة لتحسين تخصيص الموارد والتخطيط الاستراتيجي طويل الأمد.

Mira Tamer Shaker, Hadeer El-Batanouny, Yehia Helmy, Mohamed Abdelsalam2026-09-23
💻 علوم الحاسوب

Effective Segregation of Duties in Agentic Enterprise Authorization: Evaluating Shared-Dependence Risk in Maker–Checker Controls

تقدم هذه الورقة مفهوم الفصل الفعال بين المهام (SoD) للتمييز بين الفصل الاسمي للهويات والتأكيد المستقل الفعلي في التفويض القائم على الذكاء الاصطناعي، مُثبتةً من خلال اختبار مرجعي واسع النطاق لنظير إلى نظير (P2P) أن التخفيف الفعال للمخاطر يعتمد على وساطة الأدلة ونماذج التحقق غير المتجانسة بدلاً من مجرد تمايز الأطالأ.

Mohamed Abbas Elmasry2026-09-23
💻 علوم الحاسوب

A MARL Simulation Benchmark and Systematic Evaluation for Multi-UAV Cooperative 3D Voxel Coverage

تقدم هذه الورقة GridWorld3DEnv، وهو معيار محاكاة ثلاثي الأبعاد قائم على الفوكسل (voxel) وقابل لإعادة الإنتاج مع مقاييس وبروتوكولات تقييم موحدة، لمعالجة نقص المقارنات العادلة بين الدراسات في مجال التغطية التعاونية متعددة الطائرات بدون طيار من خلال التقييم المنهجي لخوارزميات التعلم التعزيزي متعدد الوكلاء مثل QMIX وVDN مع إصدار كافة الأكواد والبيانات.

Qing Wang, Zhenrong Zhang2026-09-23