Sciweavers

4949 search results - page 160 / 990
» Consistency and Set Intersection
Sort
View
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 4 months ago
Coalgebraic Automata Theory: Basic Results
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
Clemens Kupke, Yde Venema
ADCM
2006
110views more  ADCM 2006»
15 years 4 months ago
Interpolation on lattices generated by cubic pencils
: Principal lattices are distributions of points in the plane obtained from a triangle by drawing equidistant parallel lines to the sides and taking the intersection points as node...
Jesús M. Carnicer, Mariano Gasca
FUIN
2008
71views more  FUIN 2008»
15 years 4 months ago
Nonterminal Complexity of Some Operations on Context-Free Languages
: We investigate context-free languages with respect to the measure Var of descriptional complexity, which gives the minimal number of nonterminals which is necessary to generate t...
Jürgen Dassow, Ralf Stiebe
IJUFKS
2006
37views more  IJUFKS 2006»
15 years 4 months ago
Automorphisms of the Algebra of Fuzzy Truth Values
One special subalgebra of the algebra of fuzzy truth values is the set of those elements that take only 0 and 1 as values. This subalgebra is in one-to-one correspondence with the...
Carol L. Walker, Elbert A. Walker
JSW
2008
203views more  JSW 2008»
15 years 4 months ago
Automatic Discovery of Semantic Relations Based on Association Rule
Automatic discovery of semantic relations between resources is a key issue in Web-based intelligent applications such as document understanding and Web services. This paper explore...
Xiangfeng Luo, Kai Yan, Xue Chen