Search
Search Results
-
-
Model Completeness for Rational Trees
We analyze the theory of rational trees with finitely many constructors, infinitely many atoms and an atomicity predicate. We design a new decision... -
Learning Top-K Subtask Planning Tree Based on Discriminative Representation Pretraining for Decision-making
Decomposing complex real-world tasks into simpler subtasks and devising a subtask execution plan is critical for humans to achieve effective...
-
W-Tree: A Concept Correlation Tree for Data Analysis and Annotations
As human beings develop and study new topics to understand and conceptualize their surroundings, the need for records and documentation arises. The... -
Alleviating overfitting in transformation-interaction-rational symbolic regression with multi-objective optimization
The Transformation-Interaction-Rational is a representation for symbolic regression that limits the search space of functions to the ratio of two...
-
A Logical Framework with Higher-Order Rational (Circular) Terms
Logical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent... -
KnowDT: Empathetic dialogue generation with knowledge enhanced dependency tree
A human-like dialogue system should prioritize expressing empathy towards others, which entails two crucial aspects: (1) semantic cognition and (2)...
-
On the complexity of rational verification
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent/multiagent system, under the assumption...
-
A kernel-independent uniform fast multipole method based on barycentric rational interpolation
A kernel-independent uniform fast multipole method (UFMM) is presented for fast summation of particle interactions, where the kernel is approximated...
-
Rational Index of Languages with Bounded Dimension of Parse Trees
The rational index \(\rho _L\) of a language L... -
Tree-Based Scenario Classification
Scenario-based testing is envisioned as a key approach for the safety assurance of automated driving systems. In scenario-based testing, relevant... -
The Net Automaton of a Rational Expression
In this paper, we present a new construction of a finite automaton associated with a rational (or regular) expression. It is very similar to the one... -
The Complexity of LTL Rational Synthesis
In rational synthesis, we automatically construct a reactive system that satisfies its specification in all rational environments, namely... -
Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking
Learning algorithms and their implementations are used as black-boxes to produce decision trees, e.g., for realizing critical classification tasks. A...
-
On the Decision Tree Complexity of Threshold Functions
In this paper we study decision tree models with various types of queries. For a given function it is usually not hard to determine the complexity in...
-
An incentive-compatible rational secret sharing scheme using blockchain and smart contract
In the rational cryptographic protocol, the two rational players often fall into the prisoner’s dilemma, which is also the case for the rational...
-
Decision Tree Regression Analysis of Proposed Metric Suite for Software Fault Prediction
The objective of this study is to identify a metric suite for software fault prediction that can solve challenges related to reliability, quality,...
-
Recognition of Arithmetic Line Segments and Hyperplanes Using the Stern-Brocot Tree
The classic problem of discrete structure recognition is revisited in this article. We focus on naive digital straight segments (DSS) and, more... -
uR-tree: a spatial index structure for handling multiple point selection queries
People often query various Points of Interest (POIs) to plan their city tour itineraries using location-based services that provide reviews and...
-
A rational delegating computation protocol based on reputation and smart contract
The delegating computation has become an irreversible trend, together comes the pressing need for fairness and efficiency issues. To solve this...