689 search results - page 76 / 138 » Metrics for more than two points at once |
CAV
1992
Springer
15 years 1 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
111
click to vote
IWC
2007
14 years 9 months ago
2007
Scientific problem solving often involves concordance (or discordance) analysis among the result sets from different approaches. For example, different scientific analysis met...
105
click to vote
NN
2002
Springer
14 years 9 months ago
2002
Springer
The ability to grow extra nodes is a potentially useful facility for a self-organising neural network. A network that can add nodes into its map space can approximate the input sp...
TSMC
2002
14 years 9 months ago
2002
By exploiting the Fourier series expansion, we have developed a new constructive method of automatically generating a multivariable fuzzy inference system from any given sample set...
IJCM
2010
14 years 8 months ago
2010
Recognizable transductions constitute a proper subclass of rational transductions, characterized by the well-known Mezei’s Theorem. We propose a family of transducers which refl...