Suchergebnisse - Hybrid Semantics of Programming Languages

Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning von 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 …”
Volltext

On the Semantics of Hybrid ASP Systems Based on Clingo von 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 …”
Volltext

Enhancing supply chain resilience using ontology-based decision support system von 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é …”
Volltext

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 von Goubault-Larrecq, Jean, König, Barbara

“… ; semantics of programming languages; program analysis, correctness, transformation, and verification …”
Volltext

Hybrid optimization and ontology-based semantic model for efficient text-based information retrieval: Hybrid optimization and ontology-based semantic model von 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 …”
Volltext

Dynamic Object Detection Revolution: Deep Learning with Attention, Semantic Understanding, and Instance Segmentation for Real-World Precision von 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 …”
Volltext

Declarative probabilistic logic programming in discrete-continuous domains von 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 …”
Volltext

A hybrid semantic recommender system based on an improved clustering von 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 …”
Volltext

HybriDroid: Static analysis framework for Android hybrid applications von 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 …”
Volltext

CroLSSim: Cross‐language software similarity detector using hybrid approach of LSA‐based AST‐MDrep features and CNN‐LSTM model von 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 …”
Volltext

A Semantics for Hybrid Iteration von 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 …”
Volltext

Improving the Measurement of Semantic Similarity between Gene Ontology Terms and Gene Products: Insights from an Edge- and IC-Based Hybrid Method von 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 …”
Volltext

Compiling Cross-Language Network Programs Into Hybrid Data Plane von 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 …”
Volltext

Building a hybrid systems modeler from synchronous language principles von 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 …”
Volltext

Building a Hybrid Systems Modeler on Synchronous Languages Principles von 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 …”
Volltext

SA-ASBA: a hybrid model for aspect-based sentiment analysis using synthetic attention in pre-trained language BERT model with extreme gradient boosting von 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 …”
Volltext

Improving anomaly detection in software logs through hybrid language modeling and reduced reliance on parser von 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 …”
Volltext

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

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

Visual and semantic guided scene text retrieval von 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 …”
Volltext

SNCL: a supernode OpenCL implementation for hybrid computing arrays von 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 …”
Volltext