Výsledky vyhledávání - Semantics of Programming Languages General Terms Design
-
1
SiMaLSTM-SNP: novel semantic relatedness learning model preserving both Siamese networks and membrane computing
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.02.2024Vydáno v The Journal of supercomputing (01.02.2024)“…Semantic relatedness is one of the most significant aspects of natural language processing…”
Získat plný text
Journal Article -
2
Granular Computing: Analysis and Design of Intelligent Systems
ISBN: 1439886873, 9781439886878, 9781138074491, 1138074497, 9781439886816, 1439886814Vydáno: United States CRC Press 2013“…Granular computing focuses on formalizing information granules and unifying them to create a coherent methodological and developmental environment for intelligent system design and analysis…”
Získat plný text
E-kniha -
3
Design and Implementation of an Aspect-Oriented C Programming Language
ISSN: 2475-1421, 2475-1421Vydáno: New York, NY, USA ACM 29.04.2024Vydáno v Proceedings of ACM on programming languages (29.04.2024)“… In this paper, we design a new general-purpose and expressive aspect-oriented C programming language, namely Aclang, and implement a compiler for it, which brings fully-fledged AOP support into the C domain…”
Získat plný text
Journal Article -
4
Hybrid optimization and ontology-based semantic model for efficient text-based information retrieval: Hybrid optimization and ontology-based semantic model
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.02.2023Vydáno v The Journal of supercomputing (01.02.2023)“… The utilization of identical data sources and weighting strategies for expanding such terms are the major cause of this issue which leads the model unable to capture the comprehensive relationship…”
Získat plný text
Journal Article -
5
HSVDetector: a heterogeneous semantic graph-based method for smart contract vulnerability detection: HSVDetector: a heterogeneous semantic graph-based method
ISSN: 1573-0484Vydáno: New York Springer US 07.03.2025Vydáno v The Journal of supercomputing (07.03.2025)“… However, their security vulnerabilities have increasingly attracted attention. To overcome the limitations present in current detection methods, particularly in terms…”
Získat plný text
Journal Article -
6
The MGED Ontology: a resource for semantics-based description of microarray experiments
ISSN: 1367-4803, 1460-2059, 1367-4811Vydáno: Oxford Oxford University Press 01.04.2006Vydáno v Bioinformatics (01.04.2006)“… The MO provides terms for annotating all aspects of a microarray experiment from the design of the experiment and array…”
Získat plný text
Journal Article -
7
Improving the modularization quality of heterogeneous multi-programming software systems by unifying structural and semantic concepts
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.01.2020Vydáno v The Journal of supercomputing (01.01.2020)“… There has recently been a significant increase in written large-scale applications with a collaboration of several programming languages…”
Získat plný text
Journal Article -
8
Evolvix BEST Names for semantic reproducibility across code2brain interfaces
ISSN: 0077-8923, 1749-6632, 1749-6632Vydáno: United States Wiley Subscription Services, Inc 01.01.2017Vydáno v Annals of the New York Academy of Sciences (01.01.2017)“… While working toward an Evolvix syntax for general‐purpose programming that makes accurate modeling easy for biologists, we observed how names affect C2B quality…”
Získat plný text
Journal Article -
9
Test case generation for enterprise business services based on enterprise architecture design
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.02.2023Vydáno v The Journal of supercomputing (01.02.2023)“… of abstraction, they still cannot provide an accurate syntactic and semantic description. If test cases are generated based on accurate descriptions of enterprise business services, the subsequent revisions and changes can be reduced…”
Získat plný text
Journal Article -
10
Alignment Completeness for Relational Hoare Logics
Vydáno: IEEE 29.06.2021Vydáno v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… for richer programming languages and alignment patterns…”
Získat plný text
Konferenční příspěvek -
11
Syntactic and semantic dual-enhanced bidirectional network for aspect sentiment triplet extraction
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.02.2024Vydáno v The Journal of supercomputing (01.02.2024)“…) by enumerating all possible spans. However, previous span-level methods fail to exploit syntactic information to identify the correspondence between aspect terms and opinion terms, which makes the extracted triplets inaccurate…”
Získat plný text
Journal Article -
12
An interactive multi-head self-attention capsule network model for aspect sentiment classification
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.05.2024Vydáno v The Journal of supercomputing (01.05.2024)“…) for aspect sentiment classification. We design Local Context Mask to attenuate the influence of non-local contexts that are far away from the aspect terms, while expanding the influence of local contexts…”
Získat plný text
Journal Article -
13
Self-attention mapping U-net with infrared weak supervision for enhanced small target detection
ISSN: 1573-0484, 0920-8542, 1573-0484Vydáno: New York Springer US 27.03.2025Vydáno v The Journal of supercomputing (27.03.2025)“…Infrared small target detection (ISTD) is a critical task in computer vision, essential for surveillance, military reconnaissance, and autonomous navigation…”
Získat plný text
Journal Article -
14
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language
ISSN: 0361-7688, 1608-3261Vydáno: Moscow Pleiades Publishing 01.10.2024Vydáno v Programming and computer software (01.10.2024)“… At the same time, the transition to machine-readable standards, implemented in many countries to improve the quality of design documentation and automate its verification, faces serious…”
Získat plný text
Journal Article -
15
Detecting semantic violations of lock-free data structures through C++ contracts
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.07.2020Vydáno v The Journal of supercomputing (01.07.2020)“… In this paper, we present a framework for semantic violation detection of lock-free data structures which makes use of contracts, a novel feature of the upcoming C++…”
Získat plný text
Journal Article -
16
Abstractions for DNA circuit design
ISSN: 1742-5662, 1742-5662Vydáno: England 07.03.2012Vydáno v Journal of the Royal Society interface (07.03.2012)“… Strand displacement techniques enable computational devices to be implemented in DNA without the need for additional components, allowing computation to be programmed solely in terms of nucleotide sequences…”
Zjistit podrobnosti o přístupu
Journal Article -
17
Automatic assessment of descriptive answers in online examination system using semantic relational features
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.06.2020Vydáno v The Journal of supercomputing (01.06.2020)“… It offers qualification and credits at the desktop through online courses and evaluation. The prevailing system has its own pause in terms of volume, staffing, variation in the strategies of assessing…”
Získat plný text
Journal Article -
18
MSVL: a typed language for temporal logic programming
ISSN: 2095-2228, 2095-2236Vydáno: Beijing Higher Education Press 01.10.2017Vydáno v Frontiers of Computer Science (01.10.2017)“… In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which is an executable subset of projection temporal logic (PTL…”
Získat plný text
Journal Article -
19
Semantic annotation of summarized sensor data stream for effective query processing
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.06.2020Vydáno v The Journal of supercomputing (01.06.2020)“… The semantic annotation of the data stream provides a high-level description, and a semantic context supports intelligent querying and data analytics…”
Získat plný text
Journal Article -
20
A novel framework for social web forums’ thread ranking based on semantics and post quality features
ISSN: 0920-8542, 1573-0484Vydáno: New York Springer US 01.11.2016Vydáno v The Journal of supercomputing (01.11.2016)“… In keyword search techniques, such as cosine similarity, lexical overlap between query and document terms is considered…”
Získat plný text
Journal Article

