Sciweavers

49 search results - page 1 / 10
» Succinct Minimal Generators: Theoretical Foundations and App...
Sort
View
IJFCS
2008
102views more  IJFCS 2008»
13 years 4 months ago
Succinct Minimal Generators: Theoretical Foundations and Applications
In data mining applications, highly sized contexts are handled what usually results in a considerably large set of frequent itemsets, even for high values of the minimum support t...
Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu N...
IJCINI
2007
113views more  IJCINI 2007»
13 years 4 months ago
Toward Theoretical Foundations of Autonomic Computing
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and inference-driven mechanisms. Th...
Yingxu Wang
ICEIS
2003
IEEE
13 years 10 months ago
Code Generation for Distributed Systems
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
Markus Aleksy, Ralf Gitzel
SAT
2005
Springer
122views Hardware» more  SAT 2005»
13 years 10 months ago
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
Maher N. Mneimneh, Inês Lynce, Zaher S. Andr...
ACMSE
2006
ACM
13 years 10 months ago
Inductive bases and their application to searches for minimal unary NFAs
Classic results in the theory of regular languages show that the problem of converting an NFA (nondeterministic finite automaton) into a minimal equivalent NFA is NP-hard, even f...
Geoffrey Smith