3081 search results - page 120 / 617 » A Formal Ontology of Properties |
139
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
150
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
195
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
165
click to vote
ICANN
2010
Springer
15 years 6 months ago
2010
Springer
We discuss the problem of overfitting of probabilistic neural networks in the framework of statistical pattern recognition. The probabilistic approach to neural networks provides a...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Persistent Topology studies topological features of shapes by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising i...