1422 search results - page 43 / 285 » Test Generation Algorithms Based on Preorder Relations |
AMOST
2007
ACM
15 years 1 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
101
click to vote
LWA
2004
14 years 11 months ago
2004
Data mining on large relational databases has gained popularity and its significance is well recognized. However, the performance of SQL based data mining is known to fall behind ...
PODS
2005
ACM
15 years 9 months ago
2005
ACM
We are often interested to test whether a given cause has a given effect. If we cannot specify the nature of the factors involved, such tests are called model-free studies. There ...
108
click to vote
DGO
2004
14 years 11 months ago
2004
: The use of Voronoi diagrams in GIS-oriented spatiotemporal databases is considered. The Voronoi algorithms generate appropriate meshes for data interpolation. We illustrate the d...
ICALT
2008
IEEE
15 years 4 months ago
2008
IEEE
The goal of this work is the design and construction of adaptive tutorials based on the application of algorithms for the automatic resolution of problems which can be used to aut...