Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Trie Based Subsumption and Improving the pi-Trie Algorithm
View through CrossRef
An algorithm that stores the prime implicates of a logical formula in a trie was developed in [Matusiewicz et.al. 2009]. In this paper, an improved version of that pi-trie algorithm is presented. It achieves its speedup primarily by significantly decreasing subsumption testing. Preliminary experiments indicate the new algorithm to be substantially faster and the trie based subsumption tests to be considerably more efficient than the clause by clause approach originally employed.
Title: Trie Based Subsumption and Improving the pi-Trie Algorithm
Description:
An algorithm that stores the prime implicates of a logical formula in a trie was developed in [Matusiewicz et.
al.
2009].
In this paper, an improved version of that pi-trie algorithm is presented.
It achieves its speedup primarily by significantly decreasing subsumption testing.
Preliminary experiments indicate the new algorithm to be substantially faster and the trie based subsumption tests to be considerably more efficient than the clause by clause approach originally employed.
Related Results
Trie-based Output Space Itemset Sampling
Trie-based Output Space Itemset Sampling
Abstract
Itemset mining methods are techniques to discover relevant patterns in transactional databases. The first methods, called constrained-based pattern mining, are bas...
Trie-based Output Space Itemset Sampling
Trie-based Output Space Itemset Sampling
Abstract
Itemset mining methods are techniques to discover relevant patterns in transactional databases. The first approach, called constrained-based pattern mining, is bas...
An Affective Computing Multilayer Cognitive Architecture for Evolutionary Cognitive Robotics
An Affective Computing Multilayer Cognitive Architecture for Evolutionary Cognitive Robotics
<p>Robots are entering our daily lives from self-driving cars to health-care robots. Historically, pre-programmed robots were vulnerable to changing conditions in daily life,...
Platformization as subsumption? A case study of taxi platforms in Oslo, Norway
Platformization as subsumption? A case study of taxi platforms in Oslo, Norway
Based on a case study of taxi platforms in Oslo, Norway comprised of interviews with drivers and an ethnographic fieldwork working a driver, this article explores the platformizati...
Process-Oriented Subsumption Architectures in Swarm Robotic Systems
Process-Oriented Subsumption Architectures in Swarm Robotic Systems
Previous work has demonstrated the feasibility of using process-oriented programming to implement simple subsumption architectures for robot control. However, the utility and scala...
PENDETEKSIAN KESALAHAN KETIK DENGAN DAMERAU-LEVENSHTEIN DISTANCE DAN TRIE
PENDETEKSIAN KESALAHAN KETIK DENGAN DAMERAU-LEVENSHTEIN DISTANCE DAN TRIE
Typographical errors are commonly found in text. Many applications implement a spell checking feature to detect and correct typographical errors. Spell checking requires an algorit...
Keeping capital at arm’s length
Keeping capital at arm’s length
Constructing a theoretically informed, historically grounded understanding of capitalist circuits of value and uneven development remains a challenge. Thomas Cowan's ‘Geographies o...