Sciweavers

4066 search results - page 14 / 814
» Almost Complete Sets
Sort
View
FUZZIEEE
2007
IEEE
15 years 6 months ago
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets
— The algebra of truth values of type-2 fuzzy sets contains isomorphic copies of the algebra of truth values of type1 fuzzy sets and the algebra of truth values of interval-value...
John Harding, Carol L. Walker, Elbert A. Walker
ENTCS
2008
73views more  ENTCS 2008»
14 years 11 months ago
Observational Coalgebras and Complete Sets of Co-operations
In this paper we introduce the notion of an observational coalgebra structure and of a complete set of co-operations. We demonstrate in various example the usefulness of these not...
Clemens Kupke, Jan J. M. M. Rutten
IGPL
2008
67views more  IGPL 2008»
14 years 11 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
JGT
2008
88views more  JGT 2008»
14 years 11 months ago
On minimum sets of 1-factors covering a complete multipartite graph
We determine necessary and sufficient conditions for a complete multipartite graph to admit a set of 1-factors whose union is the whole graph and, when these conditions are satisf...
David Cariolaro, Hung-Lin Fu
ATVA
2005
Springer
132views Hardware» more  ATVA 2005»
15 years 5 months ago
Flat Counter Automata Almost Everywhere!
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
Jérôme Leroux, Grégoire Sutre