Sciweavers

70 search results - page 2 / 14
» (U, N)-Implications and Their Characterizations
Sort
View
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 4 months ago
Approximation in quantale-enriched categories
Our work is a fundamental study of the notion of approximation in Q-categories and in (U, Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, appro...
Dirk Hofmann, Pawel Waszkiewicz
DM
2006
143views more  DM 2006»
13 years 5 months ago
Characterization of eccentric digraphs
The eccentric digraph ED(G) of a digraph G represents the binary relation, defined on the vertex set of G, of being `eccentric'; that is, there is an arc from u to v in ED(G)...
Joan Gimbert, Nacho López, Mirka Miller, Jo...
MLQ
2010
226views more  MLQ 2010»
13 years 3 months ago
The Ultrafilter Closure in ZF
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
Gonçalo Gutierres
TCS
2011
13 years 6 days ago
Minimal non-convex words
Using a combinatorial characterization of digital convexity based on words, one defines the language of convex words. The complement of this language forms an ideal whose minimal...
Xavier Provençal
ISCAS
2003
IEEE
124views Hardware» more  ISCAS 2003»
13 years 10 months ago
Convergent transfer subgraph characterization and computation
In this paper, we present a precise characterization of the existence of a convergent transfer subgraph in an edge colored directed acyclic graph. Based on the characterization, l...
Wing Ning Li