Sciweavers

1805 search results - page 7 / 361
» A Theory of Closure Operators
Sort
View
100
Voted
ILP
2005
Springer
15 years 3 months ago
Online Closure-Based Learning of Relational Theories
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
Frédéric Koriche
JUCS
2010
105views more  JUCS 2010»
14 years 8 months ago
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
: We investigate the problem of decomposing a language into a catenation of nontrivial languages, none of which can be decomposed further. In many cases this leads to the operation...
Arto Salomaa
94
Voted
STACS
2009
Springer
15 years 4 months ago
Forward Analysis for WSTS, Part I: Completions
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
Alain Finkel, Jean Goubault-Larrecq
DLT
2009
14 years 7 months ago
Closures in Formal Languages and Kuratowski's Theorem
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit
LICS
1999
IEEE
15 years 1 months ago
Counting and Addition Cannot Express Deterministic Transitive Closure
An important open question in complexity theory is whether the circuit complexity class TC0 is (strictly) weaker than LOGSPACE. This paper considers this question from the viewpoi...
Matthias Ruhl