329 search results - page 58 / 66 » Uniform variable splitting |
EOR
2006
14 years 11 months ago
2006
In this paper, we develop an acyclic network of queues for the design of a dynamic flow shop, where each service station represents a machine. The orders arrive at the input stati...
111
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
117
click to vote
PROMISE
2010
14 years 6 months ago
2010
Background. Recent studies have shown that Support Vector Regression (SVR) has an interesting potential in the field of effort estimation. However applying SVR requires to careful...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
112
click to vote
EVOW
1994
Springer
15 years 3 months ago
1994
Springer
One of the main problems in applying evolutionary optimisation methods is the choice of operators and parameter values. This paper propose a competitive evolution method, in which ...