1620 search results - page 203 / 324 » Testing Polymorphic Properties |
223
Voted
APPROX
2011
Springer
14 years 5 months ago
2011
Springer
In this work we consider the problem of approximating the number of relevant variables in a function given query access to the function. Since obtaining a multiplicative factor ap...
154
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
170
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
153
click to vote
CF
2005
ACM
15 years 7 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
159
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Time-course microarray experiments can produce useful data which can help in understanding the underlying dynamics of the system. Clustering is an important stage in m...