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-50 | ... | 231-280 | 281-330 | 331-380 | 381-430 | 431-480 | 481-530 | 531-580 | ... | 1631-1662 ]
[ showing 50 entries per page: fewer | more | all ]

Thu, 29 Sep 2022 (continued, showing 50 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)
[391]  arXiv:2209.14038 [pdf, other]
Title: A Doxastic Characterisation of Autonomous Decisive Systems
Authors: Astrid Rakow
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 103-119
Subjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA); Robotics (cs.RO)
[392]  arXiv:2209.14036 [pdf, other]
Title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
Authors: Gleifer Vaz Alves (UTFPR), Maike Schwammberger (University of Oldenburg)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 77-85
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[393]  arXiv:2209.14035 [pdf, other]
Title: Advising Autonomous Cars about the Rules of the Road
Authors: Joe Collenette (The University of Manchester), Louise A. Dennis (The University of Manchester), Michael Fisher (The University of Manchester)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 62-76
Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
[394]  arXiv:2209.14034 [pdf, other]
Title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata
Authors: Maike Schwammberger (University of Oldenburg), Verena Klös (TU Berlin)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 20-37
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[395]  arXiv:2209.14032 [pdf, other]
Title: Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions
Authors: Dominik Grundt (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Anna Köhne (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Ishan Saxena (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Ralf Stemmer (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Bernd Westphal (German Aerospace Center, Institute of Systems Engineering for Future Mobility), Eike Möhlmann (German Aerospace Center, Institute of Systems Engineering for Future Mobility)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 53-61
Subjects: Logic in Computer Science (cs.LO)
[396]  arXiv:2209.14031 [pdf, other]
Title: Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Authors: Bernhard K. Aichernig (Institute of Software Technology, Graz University of Technology), Edi Muškardin (Silicon Austria Labs, TU Graz - SAL DES Lab, Institute of Software Technology, Graz University of Technology), Andrea Pferscher (Institute of Software Technology, Graz University of Technology)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 1-19
Subjects: Formal Languages and Automata Theory (cs.FL)
[397]  arXiv:2209.14030 [pdf, other]
Title: Monitoring ROS2: from Requirements to Autonomous Robots
Authors: Ivan Perez (KBR at NASA Ames Research Center), Anastasia Mavridou (KBR at NASA Ames Research Center), Tom Pressburger (NASA Ames Research Center), Alexander Will (Virginia Commonwealth University), Patrick J. Martin (Virginia Commonwealth University)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Journal-ref: EPTCS 371, 2022, pp. 208-216
Subjects: Robotics (cs.RO); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL)
[398]  arXiv:2209.14028 [pdf, ps, other]
Title: Bounded Invariant Checking for Stateflow
Authors: Predrag Filipovikj (Scania CV AB), Gustav Ung (Scania CV AB), Dilian Gurov (KTH Royal Institute of Technology), Mattias Nyberg (Scania CV AB)
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181. arXiv admin note: substantial text overlap with arXiv:2103.06248
Journal-ref: EPTCS 371, 2022, pp. 38-52
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL)
[399]  arXiv:2209.14026 [pdf, other]
Title: Human-in-the-loop Robotic Grasping using BERT Scene Representation
Comments: 15 pages, 10 figures, Coling2022 Oral
Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC)
[400]  arXiv:2209.14024 [pdf, other]
Title: Motion Transformer for Unsupervised Image Animation
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[401]  arXiv:2209.14022 [pdf, other]
Title: Leveraging machine learning for less developed languages: Progress on Urdu text detection
Authors: Hazrat Ali
Comments: Accepted at NeurIPS ML4D workshop. arXiv admin note: text overlap with arXiv:2109.08060
Journal-ref: NeurIPS ML4D 2021
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Image and Video Processing (eess.IV)
[402]  arXiv:2209.14021 [pdf, other]
Title: A Framework for Formal Verification of DRAM Controllers
Comments: ACM/IEEE International Symposium on Memory Systems (MEMSYS 2022)
Subjects: Formal Languages and Automata Theory (cs.FL); Hardware Architecture (cs.AR)
[403]  arXiv:2209.14017 [pdf]
Title: On the visual analytic intelligence of neural networks
Subjects: Neural and Evolutionary Computing (cs.NE)
[404]  arXiv:2209.14015 [pdf, other]
Title: Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes
Comments: Accepted in Indian Control Conference 2022
Subjects: Systems and Control (eess.SY)
[405]  arXiv:2209.14013 [pdf, ps, other]
Title: On the Robustness of Ensemble-Based Machine Learning Against Data Poisoning
Comments: 8 pages, 4 figures
Subjects: Machine Learning (cs.LG)
[406]  arXiv:2209.14010 [pdf, other]
Title: Argumentative Reward Learning: Reasoning About Human Preferences
Comments: 4 pages, ICML HMCaT workshop
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[407]  arXiv:2209.14009 [pdf, other]
Title: Carrying the uncarriable: a deformation-agnostic and human-cooperative framework for unwieldy objects using multiple robots
Authors: Doganay Sirintuna (1), Idil Ozdamar (1), Arash Ajoudani (1) ((1) Human-Robot Interfaces and Physical Interaction, Istituto Italiano di Tecnologia, Genoa, Italy)
Comments: 7 pages, 6 figures, submitted to IEEE International Conference on Robotics and Automation (ICRA 2023), for associated video, see this https URL
Subjects: Robotics (cs.RO)
[408]  arXiv:2209.14008 [pdf, other]
Title: Keyword Extraction from Short Texts with~a~Text-To-Text Transfer Transformer
Comments: Accepted to ACIIDS 2022. The proceedings of ACIIDS 2022 will be published by Springer in series Lecture Notes in Artificial Intelligence (LNAI) and Communications in Computer and Information Science (CCIS)
Subjects: Computation and Language (cs.CL)
[409]  arXiv:2209.14007 [pdf, other]
Title: OA-Bug: An Olfactory-Auditory Augmented Bug Algorithm for Swarm Robots in a Denied Environment
Comments: 7 pages, 5 figures
Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA)
[410]  arXiv:2209.14003 [pdf, other]
Title: Vision based Crop Row Navigation under Varying Field Conditions in Arable Fields
Comments: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
Subjects: Computer Vision and Pattern Recognition (cs.CV); Robotics (cs.RO)
[411]  arXiv:2209.13999 [pdf]
Title: CEFER: A Four Facets Framework based on Context and Emotion embedded features for Implicit and Explicit Emotion Recognition
Subjects: Computation and Language (cs.CL)
[412]  arXiv:2209.13995 [pdf, other]
Title: Revealing the Semantics of Data Wrangling Scripts With COMANTICS
Subjects: Software Engineering (cs.SE); Human-Computer Interaction (cs.HC)
[413]  arXiv:2209.13985 [pdf, other]
Title: Towards Explaining Autonomy with Verbalised Decision Tree States
Subjects: Robotics (cs.RO); Computation and Language (cs.CL)
[414]  arXiv:2209.13983 [pdf, other]
Title: Medical Image Captioning via Generative Pretrained Transformers
Comments: 13 pages, 3 figures, The work was completed in 2021
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)
[415]  arXiv:2209.13981 [pdf, other]
Title: Visualizing the Scripts of Data Wrangling with SOMNUS
Subjects: Human-Computer Interaction (cs.HC)
[416]  arXiv:2209.13978 [pdf, other]
Title: Feature Sets in Just-in-Time Defect Prediction: An Empirical Evaluation
Comments: 10 pages, 3 figures, accepted at the 18th edition of the International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE'22)
Subjects: Software Engineering (cs.SE)
[417]  arXiv:2209.13975 [pdf, ps, other]
Title: Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications
Journal-ref: 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 2021, pp. 1-7
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[418]  arXiv:2209.13974 [pdf, other]
Title: From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds
Subjects: Neural and Evolutionary Computing (cs.NE)
[419]  arXiv:2209.13973 [pdf, other]
Title: Knowledge-aware Neural Networks with Personalized Feature Referencing for Cold-start Recommendation
Comments: under submission
Subjects: Information Retrieval (cs.IR)
[420]  arXiv:2209.13971 [pdf, other]
Title: 3D Neural Sculpting (3DNS): Editing Neural Signed Distance Functions
Comments: 13 pages, 9 figures, 3 tables
Subjects: Graphics (cs.GR); Computer Vision and Pattern Recognition (cs.CV)
[421]  arXiv:2209.13966 [pdf, other]
Title: SoftTreeMax: Policy Gradient with Tree Search
Subjects: Machine Learning (cs.LG)
[422]  arXiv:2209.13965 [pdf]
Title: Anomaly detection optimization using big data and deep learning to reduce false-positive
Journal-ref: J Big Data 7, 68 (2020)
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Machine Learning (cs.LG)
[423]  arXiv:2209.13964 [pdf, other]
Title: Graph Soft-Contrastive Learning via Neighborhood Ranking
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[424]  arXiv:2209.13963 [pdf, other]
Title: Machine Beats Machine: Machine Learning Models to Defend Against Adversarial Attacks
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[425]  arXiv:2209.13961 [pdf]
Title: Big data analysis and distributed deep learning for next-generation intrusion detection system optimization
Journal-ref: J Big Data 6, 88 (2019)
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
[426]  arXiv:2209.13959 [pdf, other]
Title: Dynamic MDETR: A Dynamic Multimodal Transformer Decoder for Visual Grounding
Comments: Technical report
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[427]  arXiv:2209.13958 [pdf, other]
Title: That Depends -- Assessing User Perceptions of Authentication Schemes across Contexts of Use
Comments: 22 pages, 5 figures, 8 tables, Supplementary Material
Subjects: Human-Computer Interaction (cs.HC)
[428]  arXiv:2209.13957 [pdf, other]
Title: Forecasting Sensor Values in Waste-To-Fuel Plants: a Case Study
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[429]  arXiv:2209.13953 [pdf]
Title: ArNLI: Arabic Natural Language Inference for Entailment and Contradiction Detection
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[430]  arXiv:2209.13948 [pdf, other]
Title: Obj2Seq: Formatting Objects as Sequences with Class Prompt for Visual Tasks
Comments: Accepted by NeurIPS 2022. Code available at this https URL
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[ total of 1662 entries: 1-50 | ... | 231-280 | 281-330 | 331-380 | 381-430 | 431-480 | 481-530 | 531-580 | ... | 1631-1662 ]
[ showing 50 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)