Search
Search Results
-
Linear Algebraic Abduction with Partial Evaluation
Linear algebra is an ideal tool to redefine symbolic methods with the goal to achieve better scalability. In solving the abductive Horn propositional...
-
PEG: A Partial Evaluation-based Distributed RDF Graph System
In this demo, we implement a Partial Evaluation-based distributed RDF Graph system (PEG for short), which can implement partial evaluation without...
-
Accuracy Evaluation of AR Navigation in Partial Nephrectomy
The standard treatment for small renal cell carcinoma is a “partial nephrectomy”, which is the surgical removal of a tumor from the kidney. A...
-
Optimizing subgraph matching over distributed knowledge graphs using partial evaluation
The partial evaluation and assembly framework has recently been applied for processing subgraph matching queries over large-scale knowledge graphs in...
-
A multi-class partial hinge loss for partial label learning
As an important branch of weakly supervised learning, partial label learning (PLL) tackles the problem where each training instance is associated...
-
Reconciling Partial and Local Invertibility
Invertible programming languages specify transformations to be run in two directions, such as compression/decompression or encryption/decryption. Two...
-
Exploiting counter-examples for active learning with partial labels
This paper studies a new problem, active learning with partial labels (ALPL). In this setting, an oracle annotates the query samples with partial...
-
Privacy-preserving federated learning based on partial low-quality data
Traditional machine learning requires collecting data from participants for training, which may lead to malicious acquisition of privacy in...
-
Evaluation
Suppose you are in charge of administering an enterprise database and are tasked with choosing an NLIDB system to provide a non-technical interface...
-
A new metaheuristic-based MPPT controller for photovoltaic systems under partial shading conditions and complex partial shading conditions
Solar photovoltaic energy is the potential energy in the universe for generating electricity and meeting the required load demand. However, on...
-
Efficient distributed path computation on RDF knowledge graphs using partial evaluation
A key property of Linked Data is the representation and publication of data as interconnected labelled graphs where different resources linked to...
-
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models
Reinforcement learning and planning under partial observability is notoriously difficult. In this setting, decision-making agents need to perform a...
-
Multi-instance partial-label learning: towards exploiting dual inexact supervision
Weakly supervised machine learning algorithms are able to learn from ambiguous samples or labels, e.g., multi-instance learning or partial-label...
-
Solving many-objective optimisation problems using partial dominance
Most optimisation problems have multiple, often conflicting, objectives. Due to the conflicting objectives, a single solution does not exist, and...
-
Traffic Analysis by Adversaries with Partial Visibility
Mixnets are a fundamental privacy enhancing technology in the context of anonymous communication that have been extensively studied in terms of a...
-
Unblocking Dynamic Partial Order Reduction
Existing dynamic partial order reduction (DPOR) algorithms scale poorly on concurrent data structure benchmarks because they visit a huge number of...
-
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems
Ranking functions, also called ordinal conditional functions (OCF), provide a semantics for conditionals by assigning a degree of implausibility to...
-
Principles of Staged Static+Dynamic Partial Analysis
In spite of decades of static-analysis research behind develo** precise whole-program analyses, languages that use just-in-time (JIT) compilers...
-
3P-ECLAT: mining partial periodic patterns in columnar temporal databases
Partial periodic pattern (3P) mining is a vital data mining technique that aims to discover all interesting patterns that have exhibited partial...
-
Semilayer-Wise Partial Quantization Without Accuracy Degradation or Back Propagation
In edge AI technologies, reducing memory bandwidth and computational complexity without reducing inference accuracy is a key challenge. To address...