1620 search results - page 91 / 324 » Testing Polymorphic Properties |
134
click to vote
ALT
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Three simple and explicit procedures for testing the independence of two multi-dimensional random variables are described. Two of the associated test statistics (L1, log-...
142
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
129
click to vote
BIBE
2000
IEEE
15 years 9 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
108
Voted
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper provides an empirical test of a hypothesis, which describes the effects of structural mechanisms in genetic programming. In doing so, the paper offers a test p...
119
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has ce...