3281 search results - page 398 / 657 » An Approach to use Executable Models for Testing |
153
Voted
IGIS
1994
15 years 9 months ago
1994
The basic concept for processing spatial joins consists of two steps: First, the spatial join is performed on the minimum bounding rectangles of the objects by using a spatial acce...
129
click to vote
EDOC
2002
IEEE
15 years 10 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
133
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input para...
132
click to vote
PR
2007
15 years 4 months ago
2007
Tuning SVM hyperparameters is an important step in achieving a high-performance learning machine. It is usually done by minimizing an estimate of generalization error based on the...
175
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...