English
Related papers

Related papers: SNMP for Common Lisp

200 papers

Answer Set Programming (ASP) is a popular declarative programming language for solving hard combinatorial problems. Although ASP has gained widespread acceptance in academic and industrial contexts, there are certain user groups who may…

Artificial Intelligence · Computer Science 2023-11-20 Simone Caruso , Carmine Dodaro , Marco Maratea , Marco Mochi , Francesco Riccio

Sign Language Recognition (SLR) plays a crucial role in bridging the communication gap between the hearing-impaired community and society. This paper introduces SLRNet, a real-time webcam-based ASL recognition system using MediaPipe…

Computer Vision and Pattern Recognition · Computer Science 2025-06-18 Sharvari Kamble

The rise of large language models (LLMs) has made natural language-driven route planning an emerging research area that encompasses rich user objectives. Current research exhibits two distinct approaches: direct route planning using…

Artificial Intelligence · Computer Science 2025-09-17 Liangqi Yuan , Dong-Jun Han , Christopher G. Brinton , Sabine Brunswicker

The secure operation of the routing protocol is one of the major challenges to be met for the proliferation of the Mobile Ad hoc Networking (MANET) paradigm. Nevertheless, security enhancements have been proposed mostly for reactive MANET…

Cryptography and Security · Computer Science 2024-04-01 Panagiotis Papadimitratos , Zygmunt J. Haas

The proliferation and accessability of the Internet have made it simple to view, download, and publish source code. This paper gives a short tutorial on how to create a new Common Lisp project and publish it.

Other Computer Science · Computer Science 2012-09-26 Robert Smith

Session Initiation Protocol (SIP) grows for VoIP applications, and faces challenges including security and overload. On the other hand, the new concept of Software-defined Networking (SDN) has made great changes in the networked world. SDN…

Networking and Internet Architecture · Computer Science 2019-08-13 Ahmadreza Montazerolghaem

The new transmission control protocol (TCP) relies on Deep Learning (DL) for prediction and optimization, but requires significant manual effort to design deep neural networks (DNNs) and struggles with generalization in dynamic…

Networking and Internet Architecture · Computer Science 2024-12-25 Shyam Kumar Shrestha , Shiva Raj Pokhrel , Jonathan Kua

ACL2 provides a systems programming capability that allows one to write code that uses and extends ACL2 inside of ACL2. However, for soundness reasons, ACL2 bars the unrestricted use of certain kinds of programming constructs, like…

Logic in Computer Science · Computer Science 2022-05-25 Andrew T. Walter , Panagiotis Manolios

SNMP-MIB is a widely used approach that uses machine learning to classify data and obtain results, but using SNMP-MIB huge dataset is not efficient and it is also time and resources consuming. In this paper, a REP Tree, J48(Decision Tree)…

Networking and Internet Architecture · Computer Science 2019-06-04 Abdelrahman Manna , Mouhammd Alkasassbeh

The rapid evolution of network infrastructure is bringing new challenges and opportunities for efficient network management, optimization, and security. With very large monitoring databases becoming expensive to explore, the use of AI and…

Networking and Internet Architecture · Computer Science 2025-07-31 Hong-Jun Yoon , Mariam Kiran , Danial Ebling , Joe Breen

SMLP: Symbolic Machine Learning Prover an open source tool for exploration and optimization of systems represented by machine learning models. SMLP uses symbolic reasoning for ML model exploration and optimization under verification and…

Machine Learning · Computer Science 2024-05-17 Franz Brauße , Zurab Khasidashvili , Konstantin Korovin

We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common…

Logic in Computer Science · Computer Science 2025-07-28 Andrew T. Walter , Panagiotis Manolios

Traditional Digital Signal Processing ( DSP ) compilers work at low level ( C-level / assembly level ) and hence lose much of the optimization opportunities present at high-level ( domain-level ). The emerging multi-level compiler…

Signal Processing · Electrical Eng. & Systems 2025-06-23 Abhinav Kumar , Atharva Khedkar , Aviral Shrivastava

This work provides a survey of several networking cipher algorithms and proposes a method for integrating natural language processing (NLP) as a protective agent for them. Two main proposals are covered for the use of NLP in networking.…

Computation and Language · Computer Science 2022-06-23 John E. Ortega

This paper introduces a centralized, open-source dataset repository designed to advance NLP and NMT for Assamese, a low-resource language. The repository, available at GitHub, supports various tasks like sentiment analysis, named entity…

Computation and Language · Computer Science 2024-10-17 S. Tamang , D. J. Bora

Sign Language Processing (SLP) is an interdisciplinary field comprised of Natural Language Processing (NLP) and Computer Vision. It is focused on the computational understanding, translation, and production of signed languages. Traditional…

Computation and Language · Computer Science 2024-12-04 Amit Moryossef

Industrial Control Systems (ICS) are extensively used in critical infrastructures ensuring efficient, reliable, and continuous operations. However, their increasing connectivity and addition of advanced features make them vulnerable to…

Cryptography and Security · Computer Science 2025-05-20 Christoforos Vasilatos , Dunia J. Mahboobeh , Hithem Lamri , Manaar Alam , Michail Maniatakos

Structured Natural Language Processing (XNLP) is an important subset of NLP that entails understanding the underlying semantic or syntactic structure of texts, which serves as a foundational component for many downstream applications.…

Computation and Language · Computer Science 2024-06-24 Hao Fei , Meishan Zhang , Min Zhang , Tat-Seng Chua

The growing demand for real-time, safety-critical systems has significantly increased both the adoption and complexity of Time Sensitive Networking (TSN). Configuring an optimized TSN network is highly challenging, requiring careful…

Networking and Internet Architecture · Computer Science 2025-10-02 Rubi Debnath , Luxi Zhao , Mohammadreza Barzegaran , Sebastian Steinhorst

Technology evolves quickly. Low-cost and ready-to-connect devices are designed to provide new services and applications. Smart grids or smart healthcare systems are some examples of these applications, all of which are in the context of…

Cryptography and Security · Computer Science 2021-12-07 Roberto Magán-Carrión , José Camacho , Gabriel Maciá-Fernández , Ángel Ruíz-Zafra