💻 Category

cs

3775 artigos

💻 ciência da computação

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

Este artigo propõe o TRRS, uma estratégia de replanejamento reativo orientado ao estado-alvo que utiliza uma formulação de programação linear inteira mista de horizonte recuante para lidar dinamicamente com mudanças de posição e atualizações de prioridade em sistemas multi-robôs heterogêneos sob restrições LTL de contagem, demonstrando desempenho superior em relação às bases estáticas e gananciosas por meio de simulações e experimentos físicos.

Ting Jiao, Mengge Wang, Yuwei Wang, Rong Zhang, Huanrong Ren2026-09-23
💻 ciência da computação

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

Este artigo demonstra que a política de controle de risco SCFCE-R, embora eficaz em simulações de redes sintéticas para conter informações prejudiciais, falha catastroficamente ao ser transferida para cascata de rumores reais do Twitter sem retreinamento, provando, assim, que um forte desempenho em redes controladas não garante prontidão para implantação.

Agasthya Anirudh Badampudi2026-09-23
💻 ciência da computação

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

Este artigo apresenta o TOMAgent, um framework multiagente consciente de orçamento que otimiza a geração de testes unitários ao modelar a seleção de alvos como um problema de utilidade marginal, alcançando uma taxa de sucesso de detecção de falhas de 40% nos benchmarks do Defects4J — superando significativamente os baselines uniformes e guiados por cobertura — enquanto mantém pontuações de mutação e eficiência de tokens competitivas.

Yunyu Fang2026-09-23
💻 ciência da computação

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

Para enfrentar os desafios de variação de escala, texturas fracas e similaridade de fundo na detecção de defeitos em isoladores baseada em UAV, este artigo propõe a Rede de Agregação de Contexto Sensível à Escala (SACANet), que integra agregação de campo receptivo sensível à escala, refinamento de características bidirecional de quatro escalas e predição multiescala espacialmente alinhada para alcançar o estado da arte de desempenho no conjunto de dados FLOWID.

Dongqi Zhang, Xiaoxia Liu, Zainura Idrus, Shuai Liu2026-09-23
💻 ciência da computação

Evidence aware multimodal auditing of museum image metadata consistency

Este artigo introduz um benchmark orientado por evidências e controlado por proveniência, utilizando 295 objetos de laca do Museu Nacional do Palácio de Taipei, para auditar a consistência dos metadados de imagens de museus em relação às evidências visuais, revelando lacunas significativas nas atuais capacidades de avaliação automatizada e humana e destacando a necessidade de modelar explicitamente a suficiência de evidências e a incerteza específica de campo em futuros sistemas de auditoria de metadados.

Peng Yue, Jia Hou, Xiao Zhang2026-09-23
💻 ciência da computação

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

O artigo propõe o MDKT, um modelo de rastreamento de conhecimento robusto que aumenta a precisão da previsão e a resiliência em cenários de dados ruidosos e esparsos ao modelar conjuntamente o conhecimento nos níveis de questão, conceito e geral por meio de um codificador duplo adaptativo e suavização adversária.

Muhui Lin, Jiangsong Xu, Ziqi Wang, Mingwei Lin, Shenbao Yu, Jun Shen2026-09-23
💻 ciência da computação

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

Este artigo propõe uma estrutura de análise inteligente de dados utilizando modelos de aprendizado de máquina (Regressão Linear, Random Forest e XGBoost) para avaliar e prever indicadores de sustentabilidade alinhados com os ODS da ONU, demonstrando que o XGBoost oferece o desempenho mais estável ao fornecer aos governos uma ferramenta interpretável e baseada em evidências para otimizar a alocação de recursos e o planejamento estratégico de longo prazo.

Mira Tamer Shaker, Hadeer El-Batanouny, Yehia Helmy, Mohamed Abdelsalam2026-09-23
💻 ciência da computação

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

Este artigo introduz o conceito de Segregação de Funções (SoD) Efetiva para distinguir entre a separação nominal de identidade e a real garantia independente em autorizações impulsionadas por IA, demonstrando através de um benchmark P2P de larga escala que a mitigação efetiva de riscos depende da mediação de evidências e de modelos de verificação heterogêneos, em vez de mera distinção de princípios.

Mohamed Abbas Elmasry2026-09-23
💻 ciência da computação

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

Este artigo apresenta o GridWorld3DEnv, um benchmark de simulação baseado em voxels 3D reprodutível com métricas e protocolos de avaliação padronizados, para abordar a falta de comparações justas entre estudos em cobertura cooperativa multi-UAV ao avaliar sistematicamente algoritmos de MARL como QMIX e VDN, enquanto disponibiliza todo o código e conjuntos de dados.

Qing Wang, Zhenrong Zhang2026-09-23