Sciweavers

6833 search results - page 280 / 1367
» Some two-character sets
Sort
View
IJPRAI
1998
100views more  IJPRAI 1998»
15 years 6 months ago
Obtaining The Correspondence between Bayesian and Neural Networks
We present in this paper a novel method for eliciting the conditional probability matrices needed for a Bayesian network with the help of a neural network. We demonstrate how we c...
Athena Stassopoulou, Maria Petrou
CORR
1999
Springer
139views Education» more  CORR 1999»
15 years 6 months ago
Combinatorics of branchings in higher dimensional automata
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
Philippe Gaucher
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
177
Voted
FSS
2010
98views more  FSS 2010»
15 years 5 months ago
On the distributivity of fuzzy implications over representable uninorms
Recently, many works have appeared dealing with the distributivity of fuzzy implications over t-norms, tconorms and uninorms (see [2, 3, 4, 5, 12, 13, 14]). These equations have a...
Michal Baczynski
176
Voted
GC
2010
Springer
15 years 5 months ago
Enumerative Properties of Rooted Circuit Maps
In 1966 Barnette introduced a set of graphs, called circuit graphs, which are obtained from 3-connected planar graphs by deleting a vertex. Circuit graphs and 3-connected planar g...
Zhicheng Gao, Han Ren