Search Results - Hybrid Semantics of Programming Languages

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning by Riguzzi, Fabrizio

“… Combining the two is a very active field of study. Probabilistic Programming extends programming languages with probabilistic primitives that can be used to write complex probabilistic models…”
Get full text

On the Semantics of Hybrid ASP Systems Based on Clingo by Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Wanko, Philipp

“…Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems…”
Get full text

Enhancing supply chain resilience using ontology-based decision support system by Singh, Sube, Ghosh, Soumava, Jayaram, Jayanth, Tiwari, Manoj Kumar

“… The concept of semantic and ontology is adopted in developing the knowledge base for the entire supply chain network including manufacturing units. Protégé…”
Get full text

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings by Goubault-Larrecq, Jean, König, Barbara

“…; semantics of programming languages; program analysis, correctness, transformation, and verification…”
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.

“…Query expansion is an important approach utilized to improve the efficiency of data retrieval tasks. Numerous works are carried out by the researchers to…”
Get full text

Dynamic Object Detection Revolution: Deep Learning with Attention, Semantic Understanding, and Instance Segmentation for Real-World Precision by Shaik, Karimunnisa, Banerjee, Dyuti, Begum, R. Sabin, Srikanth, Narne, Narasimharao, Jonnadula, El-Ebiary, Yousef A.Baker, Thenmozhi, E.

“… This work presents a novel method that uses a hybrid deep learning architecture with the Python programming language to smoothly combine semantic and instance segmentation…”
Get full text

Declarative probabilistic logic programming in discrete-continuous domains by Zuidberg Dos Martires, Pedro, De Raedt, Luc, Kimmig, Angelika

“… The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the so-called distribution semantics…”
Get full text

A hybrid semantic recommender system based on an improved clustering by Bahrani, Payam, Minaei-Bidgoli, Behrouz, Parvin, Hamid, Mirzarezaee, Mitra, Keshavarz, Ahmad

“…) and Content-based Filtering Recommender System (ConFRS). Also, there is another model that is a hybrid of those two traditional recommender systems…”
Get full text

HybriDroid: Static analysis framework for Android hybrid applications by Sungho Lee, Dolby, Julian, Sukyoung Ryu

“… for different platforms without much duplicated efforts. However, most hybrid apps are developed in multiple programming languages with different semantics, which may be vulnerable to programmer errors…”
Get full text

CroLSSim: Cross‐language software similarity detector using hybrid approach of LSA‐based AST‐MDrep features and CNN‐LSTM model by Ullah, Farhan, Naeem, Muhammad Rashid, Naeem, Hamad, Cheng, Xiaochun, Alazab, Mamoun

“… However, it is a challenging task because each programming language has a unique syntax and semantic structure…”
Get full text

A Semantics for Hybrid Iteration by Goncharov, Sergey, Jakob, Julian, Neves, Renato

“… In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations…”
Get full text

Improving the Measurement of Semantic Similarity between Gene Ontology Terms and Gene Products: Insights from an Edge- and IC-Based Hybrid Method by Wu, Xiaomei, Pang, Erli, Lin, Kui, Pei, Zhen-Ming

“…Explicit comparisons based on the semantic similarity of Gene Ontology terms provide a quantitative way to measure the functional similarity between gene products and are widely applied in large-scale…”
Get full text

Compiling Cross-Language Network Programs Into Hybrid Data Plane by Li, Hao, Zhang, Peng, Sun, Guangda, Cao, Wanyue, Hu, Chengchen, Shan, Danfeng, Pan, Tian, Fu, Qiang

“…Network programming languages (NPLs) empower operators to program network data planes (NDPs…”
Get full text

Building a hybrid systems modeler from synchronous language principles by Pouzet, Marc

“…]. The formal verification of hybrid systems has been extensively studied [9]. Yet, we share the viewpoint of Lee and Zheng that hybrid modeling languages are best viewed as programming languages that happen to have a hybrid systems semantics [16, 17…”
Get full text

Building a Hybrid Systems Modeler on Synchronous Languages Principles by Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Colaco, Jean-Louis, Pasteur, Cedric, Pouzet, Marc

“… The result is a hybrid systems modeling language in which synchronous programming constructs can be mixed with ordinary differential equations (ODEs…”
Get full text

SA-ASBA: a hybrid model for aspect-based sentiment analysis using synthetic attention in pre-trained language BERT model with extreme gradient boosting by Mewada, Arvind, Dewang, Rupesh Kumar

“…Aspect-based sentiment analysis (ABSA) is a granular-level sentiment analysis task that aims to detect the sentiment polarities of a specified aspect in the…”
Get full text

Improving anomaly detection in software logs through hybrid language modeling and reduced reliance on parser by Sun, Yicheng, Keung, Jacky, Yang, Zhen, Liu, Shuo, Yu, Hi Kuen

“…Anomaly detection in software logs is crucial for development and maintenance, allowing timely identification of system failures and ensuring normal…”
Get full text

VRD: Visual Research Discovery—A Hybrid Framework Integrating Semantic Search and Interactive Visualization by Yadav, Neha, Gopinathan, Dhanalekshmi

“… This study proposes an easy-to-use hybrid recommendation system, to help with identifying and accessing relevant research papers…”
Get full text

Visual and semantic guided scene text retrieval by Luo, Hailong, Ibrayim, Mayire, Hamdulla, Askar, Deng, Qilin

“… By integrating visual and language modules, our network extracts rich visual and semantic features from the query image, facilitating efficient similarity modeling and query matching…”
Get full text

SNCL: a supernode OpenCL implementation for hybrid computing arrays by Tang, Tao, Lu, Kai, Peng, Lin, Cui, Yingbo, Fang, Jianbin, Huang, Chun, Wang, Ruibo, Yang, Canqun, Guo, Yifei

“…Heterogeneous computing has been developing continuously in the field of high-performance computing because of its high performance and energy efficiency. More…”
Get full text