6800 search results - page 525 / 1360 » Testing with Functions as Specifications |
178
click to vote
HAIS
2008
Springer
15 years 8 months ago
2008
Springer
The widespread use of artificial neural networks and the difficult work regarding the correct specification (tuning) of parameters for a given problem are the main aspects that mot...
253
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
182
click to vote
FSS
2008
15 years 7 months ago
2008
In this paper we propose a generic methodology for the automated generation of fuzzy models. The methodology is realized in three stages. Initially, a crisp model is created and i...
201
click to vote
JUCS
2008
15 years 7 months ago
2008
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
189
click to vote
SLOGICA
2008
15 years 7 months ago
2008
The work on prototypes in ontologies pioneered by Rosch [10] and elaborated by Lakoff [8] and Freund [3] is related to vagueness in the sense that the more remote an instance is fr...