Výsledky vyhledávání - Semantics of Programming Languages General Terms Design

  1. 1

    SiMaLSTM-SNP: novel semantic relatedness learning model preserving both Siamese networks and membrane computing Autor Gu, Xu, Chen, Xiaoliang, Lu, Peng, Lan, Xiang, Li, Xianyong, Du, Yajun

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.02.2024
    Vydá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. 2

    Granular Computing: Analysis and Design of Intelligent Systems Autor Pedrycz, Witold

    ISBN: 1439886873, 9781439886878, 9781138074491, 1138074497, 9781439886816, 1439886814
    Vydá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. 3

    Design and Implementation of an Aspect-Oriented C Programming Language Autor Chen, Zhe, Zhu, Yunlong, Wang, Zhemin

    ISSN: 2475-1421, 2475-1421
    Vydáno: New York, NY, USA ACM 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. 4

    Hybrid optimization and ontology-based semantic model for efficient text-based information retrieval: Hybrid optimization and ontology-based semantic model Autor Kumar, Ram, Sharma, S. C.

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.02.2023
    Vydá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. 5

    HSVDetector: a heterogeneous semantic graph-based method for smart contract vulnerability detection: HSVDetector: a heterogeneous semantic graph-based method Autor Zhu, Heming, Li, Hao, Lu, Gehao

    ISSN: 1573-0484
    Vydáno: New York Springer US 07.03.2025
    Vydá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. 6

    The MGED Ontology: a resource for semantics-based description of microarray experiments Autor Whetzel, Patricia L., Parkinson, Helen, Causton, Helen C., Fan, Liju, Fostel, Jennifer, Fragoso, Gilberto, Game, Laurence, Heiskanen, Mervi, Morrison, Norman, Rocca-Serra, Philippe, Sansone, Susanna-Assunta, Taylor, Chris, White, Joseph, Stoeckert, Christian J.

    ISSN: 1367-4803, 1460-2059, 1367-4811
    Vydáno: Oxford Oxford University Press 01.04.2006
    Vydá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. 7

    Improving the modularization quality of heterogeneous multi-programming software systems by unifying structural and semantic concepts Autor Kargar, Masoud, Isazadeh, Ayaz, Izadkhah, Habib

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.01.2020
    Vydá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. 8
  9. 9

    Test case generation for enterprise business services based on enterprise architecture design Autor Rahmanian, Mehdi, Nassiri, Ramin, Mohsenzadeh, Mehran, Ravanmehr, Reza

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.02.2023
    Vydá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. 10

    Alignment Completeness for Relational Hoare Logics Autor Nagasamudram, Ramana, Naumann, David A.

    Vydáno: IEEE 29.06.2021
    “… for richer programming languages and alignment patterns…”
    Získat plný text
    Konferenční příspěvek
  11. 11

    Syntactic and semantic dual-enhanced bidirectional network for aspect sentiment triplet extraction Autor Wang, Guangjin, Wang, Yuanying, Xu, Fuyong, Zhang, Yongsheng, Liu, Peiyu

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.02.2024
    Vydá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. 12

    An interactive multi-head self-attention capsule network model for aspect sentiment classification Autor She, Lina, Gong, Hongfang, Zhang, Siyu

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.05.2024
    Vydá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. 13

    Self-attention mapping U-net with infrared weak supervision for enhanced small target detection Autor Lang, Tingting, Lin, Zhihan, Zhang, Lingjian, Qiu, Yanqing, Yang, Shengying, Liu, Yong

    ISSN: 1573-0484, 0920-8542, 1573-0484
    Vydáno: New York Springer US 27.03.2025
    Vydá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. 14

    Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language Autor Semenov, V. A., Morozov, S. V., Arishin, S. V., Kuzina, O. N., Rimshin, V. I., Makisha, E. V.

    ISSN: 0361-7688, 1608-3261
    Vydáno: Moscow Pleiades Publishing 01.10.2024
    Vydá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. 15

    Detecting semantic violations of lock-free data structures through C++ contracts Autor López-Gómez, Javier, del Rio Astorga, David, Dolz, Manuel F., Fernández, Javier, García, J. Daniel

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.07.2020
    Vydá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. 16

    Abstractions for DNA circuit design Autor Lakin, Matthew R, Youssef, Simon, Cardelli, Luca, Phillips, Andrew

    ISSN: 1742-5662, 1742-5662
    Vydáno: England 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. 17

    Automatic assessment of descriptive answers in online examination system using semantic relational features Autor Nandini, V., Uma Maheswari, P.

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.06.2020
    Vydá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. 18

    MSVL: a typed language for temporal logic programming Autor WANG, Xiaobing, TIAN, Cong, DUAN, Zhenhua, ZHAO, Liang

    ISSN: 2095-2228, 2095-2236
    Vydáno: Beijing Higher Education Press 01.10.2017
    Vydá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. 19

    Semantic annotation of summarized sensor data stream for effective query processing Autor Pacha, Shobharani, Murugan, Suresh Ramalingam, Sethukarasi, R.

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.06.2020
    Vydá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. 20

    A novel framework for social web forums’ thread ranking based on semantics and post quality features Autor Faisal, Ch. Muhammad Shahzad, Daud, Ali, Imran, Faisal, Rho, Seungmin

    ISSN: 0920-8542, 1573-0484
    Vydáno: New York Springer US 01.11.2016
    Vydá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