Search
Search Results
-
Sequential composition of propositional logic programs
This paper introduces and studies the sequential composition and decomposition of propositional logic programs. We show that acyclic programs can be...
-
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL
Metamodeling refers to scenarios in ontologies in which class-es and roles can be members of classes or occur in roles. This is a desirable modelling... -
JPPF: Multi-task Fusion for Consistent Panoptic-Part Segmentation
Part-aware panoptic segmentation is a problem of computer vision that aims to provide a semantic understanding of the scene at multiple levels of...
-
Eventual consensus in Synod: verification using a failure-aware actor model
Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze...
-
SoK: X-assisted BFT Consensus Protocols
Blockchain, as an enabler of the current Internet infrastructure, has introduced a plethora of unique features, revolutionizing distributed systems... -
Future Location and Trajectory Prediction
This chapter presents modern approaches and frameworks for predicting trajectories with detailed descriptions of three main research pillars. The... -
Detection of violence using mosaicking and DFE- WLSRF: Deep feature extraction with weighted least square with random forest
The violence-related instances had surged recently in areas including footpaths, sports stadiums, remote roads, liquor stores and elevators that are...
-
-
Hidden Stochastic Model for Speech
The Hidden Markov Model (HMM) has been widely used for pattern recognition since 1970s. One common application of HMM is the acoustic modeling. The... -
Algebraic Models for Big Data and Knowledge Management
When processing large volumes of information, obtaining an accurate solution often requires excessive resources or is even impossible at all.... -
A comprehensive survey of link prediction methods
Link prediction aims to anticipate the probability of a future connection between two nodes in a given network based on their previous interactions...
-
An Introduction to Answer Set Programming and Some of Its Extensions
Answer Set Programming (ASP) is a rule-based language rooted in traditional Logic Programming, Databases, Knowledge Representation, and Nonmonotonic... -
A new multi-wave continuous action-set cellular learning automata for link prediction problem in weighted multi-layer social networks
One of the main research areas in social network analysis (SNA) is link prediction (LP). Social networks can be shown as a graph, and LP algorithms...
-
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze... -
Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety
Causal ordering is an important building block for distributed software systems. It was recently proved that it is impossible to provide causal... -
Chain Answer Sets for Logic Programs with Generalized Atoms
Answer Set Programming (ASP) has seen several extensions by generalizing the notion of atom used in these programs, for example dl-atoms, aggregate... -
Fast computation of General SimRank on heterogeneous information network
Similarity computation is a fundamental aspect of information network analysis, underpinning many research tasks including information retrieval,...
-
Blockchain State of the Art
In the previous chapter, we examine the many similarities between blockchains and distributed databases, and discuss how blockchains prioritize... -
MobilityDL: a review of deep learning from trajectory data
Trajectory data combines the complexities of time series, spatial data, and (sometimes irrational) movement behavior. As data availability and...
-
ZERMIA - A Fault Injector Framework for Testing Byzantine Fault Tolerant Protocols
Byzantine fault tolerant (BFT) protocols are designed to increase system dependability and security. They guarantee liveness and correctness even in...