Search Results - Semantics of Programming Languages General Terms Design

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

“…Semantic relatedness is one of the most significant aspects of natural language processing…”
Get full text

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

“…Granular computing focuses on formalizing information granules and unifying them to create a coherent methodological and developmental environment for intelligent system design and analysis…”
Get full text

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

“… 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…”
Get full text

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

“… 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…”
Get full text

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

“… However, their security vulnerabilities have increasingly attracted attention. To overcome the limitations present in current detection methods, particularly in terms…”
Get full text

The MGED Ontology: a resource for semantics-based description of microarray experiments by 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.

“… The MO provides terms for annotating all aspects of a microarray experiment from the design of the experiment and array…”
Get full text

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

“… There has recently been a significant increase in written large-scale applications with a collaboration of several programming languages…”
Get full text

Evolvix BEST Names for semantic reproducibility across code2brain interfaces by Loewe, Laurence, Scheuer, Katherine S., Keel, Seth A., Vyas, Vaibhav, Liblit, Ben, Hanlon, Bret, Ferris, Michael C., Yin, John, Dutra, Inês, Pietsch, Anthony, Javid, Christine G., Moog, Cecilia L., Meyer, Jocelyn, Dresel, Jerdon, McLoone, Brian, Loberger, Sonya, Movaghar, Arezoo, Gilchrist‐Scott, Morgaine, Sabri, Yazeed, Sescleifer, Dave, Pereda‐Zorrilla, Ivan, Zietlow, Andrew, Smith, Rodrigo, Pietenpol, Samantha, Goldfinger, Jacob, Atzen, Sarah L., Freiberg, Erika, Waters, Noah P., Nusbaum, Claire, Nolan, Erik, Hotz, Alyssa, Kliman, Richard M., Mentewab, Ayalew, Fregien, Nathan, Loewe, Martha

“… While working toward an Evolvix syntax for general‐purpose programming that makes accurate modeling easy for biologists, we observed how names affect C2B quality…”
Get full text

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

“… 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…”
Get full text

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

“… for richer programming languages and alignment patterns…”
Get full text

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

“…) 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…”
Get full text

KAN-based hierarchical attention with temporal dynamics for multi-label text classification by Yuan, Zhen, Ma, Xuesi

“…Multi-label text classification (MLTC) faces challenges such as label dependencies, semantic misalignment, and long-tail distributions…”
Get full text

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

“…) 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…”
Get full text

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

“…Infrared small target detection (ISTD) is a critical task in computer vision, essential for surveillance, military reconnaissance, and autonomous navigation…”
Get full text

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

“… 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…”
Get full text

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

“… 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++…”
Get full text

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

“… 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…”
Get more information

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

“… 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…”
Get full text

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

“… 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…”
Get full text

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

“… The semantic annotation of the data stream provides a high-level description, and a semantic context supports intelligent querying and data analytics…”
Get full text