6800 search results - page 158 / 1360 » Testing with Functions as Specifications |
112
Voted
APBC
2004
15 years 4 months ago
2004
Transcription factors play essential role in the gene regulation in higher organisms, binding to multiple target sequences and regulating multiple genes in a complex manner. In or...
217
Voted
VCIP
2003
15 years 4 months ago
2003
International recommendations for subjective video quality assessment (e.g., ITU-R BT.500-11) include specifications for how to perform many different types of subjective tests. I...
150
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
111
Voted
ROOM
2000
15 years 4 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
CJ
2010
15 years 2 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...