💻 Category

cs

4478 artículos

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs

Este artículo caracteriza los conjuntos de grafos definibles en lógica monádica de segundo orden con conteo y contextolibres, demostrando su equivalencia con conjuntos reconocibles de ancho arbóreo acotado, conjuntos analizables mediante transducciones definibles y la imagen de conjuntos de árboles reconocibles bajo transducciones definibles, basándose en la conexión entre resultados seminales de Courcelle, Engelfriet, Bojanczyk y Pilipczuk.

Radu Iosif, Florian Zuleger2026-03-11💻 cs

Normal Forms for Elements of ∗{}^*-Continuous Kleene Algebras Representing the Context-Free Languages

Este artículo establece una base para un cálculo de expresiones contextuales sin ligadores de variables mediante la identificación de una copia del cierre de punto fijo de un álgebra de Kleene dentro de un producto tensorial con un álgebra poliacíclica, utilizando representaciones de autómatas y teoremas de forma normal que restringen la aparición de paréntesis.

Mark Hopkins, Hans Leiß2026-03-11💻 cs

Enumeration for MSO-Queries on Compressed Trees

El artículo presenta un algoritmo que permite enumerar las respuestas a consultas en lógica monádica de segundo orden (MSO) sobre bosques no ordenados comprimidos mediante programas lineales rectos (SLP) con un preprocesamiento lineal en el tamaño de la compresión y un retraso lineal en la salida, superando así las limitaciones de los métodos anteriores al trabajar directamente con datos comprimidos.

Markus Lohrey, Markus L. Schmid2026-03-11💻 cs

Using weakest application conditions to rank graph transformations for graph repair

Este artículo presenta un enfoque teórico y algorítmico que utiliza condiciones de aplicación indicadoras de deterioro y reparación, derivadas de restricciones gráficas, para cuantificar y clasificar las transformaciones de grafos según su potencial de reparación, permitiendo así gestionar inconsistencias de manera graduada y escalable.

Lars Fritsche, Alexander Lauer, Maximilian Kratz + 2 more2026-03-11💻 cs

Möbius-Transformed Trapezoidal Rule

Este artículo presenta una regla de integración numérica que combina la regla del trapecio con una transformación de Möbius para demostrar que se alcanza la tasa de convergencia óptima al integrar funciones en espacios de Sobolev ponderados, sin necesidad de muestrear la medida de probabilidad ni conocer sus derivadas, y explora extensiones a la aproximación, integración aleatorizada y multivariada.

Yuya Suzuki, Nuutti Hyvönen, Toni Karvonen2026-03-11💻 cs

Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros

Los autores demuestran que la función de partición del modelo de Potts antiferromagnético no se anula para grafos de grado máximo Δ\Delta cuando el número de colores qq es ligeramente menor que $2\Delta,loquepermitedisen~arunalgoritmodeterministadetiempopolinomialparaaproximarelnuˊmerodecoloracionespropias,superandoasıˊlabarrerade, lo que permite diseñar un algoritmo determinista de tiempo polinomial para aproximar el número de coloraciones propias, superando así la barrera de q=2\Delta$.

Ferenc Bencs, Khallil Berrekkal, Guus Regts2026-03-11💻 cs

Optimizing QoS in HD Map Updates: Cross-Layer Multi-Agent with Hierarchical and Independent Learning

Este artículo propone un enfoque de aprendizaje multiagente con estructura jerárquica e independiente que optimiza la calidad de servicio en la actualización de mapas de alta definición mediante una solución de capas cruzadas que ajusta dinámicamente los parámetros CWmin, CWmax e IFSn, logrando reducciones significativas en la latencia en comparación con el estándar IEEE802.11p EDCA.

Jeffrey Redondo, Nauman Aslam, Juan Zhang + 1 more2026-03-11💻 cs

TIMotion: Temporal and Interactive Framework for Efficient Human-Human Motion Generation

El artículo presenta TIMotion, un marco eficiente y efectivo para la generación de movimientos entre humanos que mejora el rendimiento mediante la inyección interactiva causal, el escaneo evolutivo de roles y la amplificación de patrones localizados para modelar adecuadamente las secuencias temporales y las interacciones.

Yabiao Wang, Shuo Wang, Jiangning Zhang, Ke Fan, Jiafu Wu, Zhucun Xue, Yong Liu2026-03-11💻 cs

VisPoison: An Effective Backdoor Attack Framework for Tabular Data Visualization Models

El artículo presenta VisPoison, un marco de ataque de puerta trasera que explota la inyección de datos en modelos de texto-a-visualización para tablas, logrando tasas de éxito superiores al 90% mediante desencadenantes sigilosos que provocan filtración de datos, visualizaciones engañosas o denegación de servicio, al tiempo que expone la insuficiencia de las estrategias de defensa actuales.

Shuaimin Li, Chen Jason Zhang, Xuanang Chen, Anni Peng, Zhuoyue Wan, Yuanfeng Song, Shiwen Ni, Min Yang, Fei Hao, Raymond Chi-Wing Wong2026-03-11💻 cs

Open-World Task and Motion Planning via Vision-Language Model Genereated Constraints

El artículo presenta OWL-TAMP, un enfoque que integra Modelos Visuales-Lingüísticos (VLMs) en sistemas de Planificación de Tareas y Movimientos (TAMP) para generar restricciones que permiten a los robots resolver problemas de manipulación a largo plazo en entornos abiertos a partir de objetivos en lenguaje natural.

Nishanth Kumar, William Shen, Fabio Ramos, Dieter Fox, Tomás Lozano-Pérez, Leslie Pack Kaelbling, Caelan Reed Garrett2026-03-11💻 cs

"Should I Give Up Now?" Investigating LLM Pitfalls in Software Engineering

Este estudio analiza cómo las inexactitudes y la sobrecarga cognitiva provocadas por los asistentes de IA en tareas de ingeniería de software llevan a la mayoría de los participantes a abandonar su uso, revelando que las respuestas poco útiles aumentan significativamente la probabilidad de abandono mientras que la iteración de prompts la reduce.

Jiessie Tie, Bingsheng Yao, Tianshi Li, Hongbo Fang, Syed Ishtiaque Ahmed, Dakuo Wang, Shurui Zhou2026-03-11💻 cs