We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for recent submissions, skipping first 380

[ total of 1662 entries: 1-10 | ... | 351-360 | 361-370 | 371-380 | 381-390 | 391-400 | 401-410 | 411-420 | ... | 1661-1662 ]
[ showing 10 entries per page: fewer | more | all ]

Thu, 29 Sep 2022 (continued, showing 10 of 328 entries)

[381]  arXiv:2209.14050 [pdf, other]
Title: Optimality of the Proper Gaussian Signal in Complex MIMO Wiretap Channels
Comments: 22 pages, 3 figures
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP)
[382]  arXiv:2209.14049 [pdf, other]
Title: Popularity Driven Data Integration
Comments: KGSWC 2022. Fourth Ibero-American Knowledge Graph and Semantic Web Conference joint with Third Indo-American Knowledge Graph and Semantic Web Conference 21-23 November 2022, Universidad Camilo Jos\'e Cela, Madrid, Spain. arXiv admin note: substantial text overlap with arXiv:2105.09418
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Digital Libraries (cs.DL)
[383]  arXiv:2209.14048 [pdf, other]
Title: Accelerating netty-based applications through transparent InfiniBand support
Comments: 8 pages, 8 figures
Subjects: Networking and Internet Architecture (cs.NI)
[384]  arXiv:2209.14046 [pdf, other]
Title: Adma-GAN: Attribute-Driven Memory Augmented GANs for Text-to-Image Generation
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[385]  arXiv:2209.14045 [pdf, other]
Title: Verifying Safety of Behaviour Trees in Event-B
Authors: Matteo Tadiello (KTH), Elena Troubitsyna (KTH)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 139-155
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)
[386]  arXiv:2209.14044 [pdf, other]
Title: Extending Attack-Fault Trees with Runtime Verification
Authors: Rafael C. Cardoso (University of Aberdeen), Angelo Ferrando (University of Genova), Michael Fisher (The University of Manchester)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 193-207
Subjects: Software Engineering (cs.SE)
[387]  arXiv:2209.14042 [pdf, ps, other]
Title: Generating Safe Autonomous Decision-Making in ROS
Authors: Yi Yang (imec-DistriNet, Dept. of Computer Science, KU Leuven), Tom Holvoet (imec-DistriNet, Dept. of Computer Science, KU Leuven)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 184-192
Subjects: Multiagent Systems (cs.MA); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[388]  arXiv:2209.14041 [pdf, other]
Title: Towards Adaptive Planning of Assistive-care Robot Tasks
Authors: Jordan Hamilton (University of York), Ioannis Stefanakos (University of York), Radu Calinescu (University of York), Javier Cámara (University of Málaga)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 175-183
Subjects: Robotics (cs.RO)
[389]  arXiv:2209.14040 [pdf, other]
Title: Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems
Authors: Gricel Vázquez (University of York), Radu Calinescu (University of York), Javier Cámara (University of Málaga)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 156-174
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Robotics (cs.RO)
[390]  arXiv:2209.14039 [pdf, other]
Title: SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
Authors: Baptiste Pelletier (ONERA - The French Aerospace Lab), Charles Lesire (ONERA - The French Aerospace Lab), David Doose (ONERA - The French Aerospace Lab), Karen Godary-Dejean (LIRMM, Université de Montpellier), Charles Dramé-Maigné (LIRMM, Université de Montpellier)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 120-138
Subjects: Formal Languages and Automata Theory (cs.FL); Robotics (cs.RO)
[ total of 1662 entries: 1-10 | ... | 351-360 | 361-370 | 371-380 | 381-390 | 391-400 | 401-410 | 411-420 | ... | 1661-1662 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2209, contact, help  (Access key information)