6014 search results - page 410 / 1203 » Structural Testing with Use Cases |
158
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we formulate a combinatorial auction brokering problem as a set packing problem and apply a simulated annealing heuristic with hybrid local moves to solve the proble...
138
click to vote
IFM
2005
Springer
15 years 11 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
154
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper addresses the problem of the explanation of the result given by a decision tree, when it is used to predict the class of new cases. In order to evaluate this result, the...
156
click to vote
EWC
2008
15 years 6 months ago
2008
In parallel adaptive mesh refinement (AMR) computations the problem size can vary significantly during a simulation. The goal here is to explore the performance implications of dyn...
203
click to vote
ISAMI
2010
15 years 4 months ago
2010
It is widely agreed that complex diseases are typically caused by the joint effects of multiple instead of a single genetic variation. These genetic variations may show very little...