12194 search results - page 223 / 2439 » cans 2010 |
158
click to vote
ENTCS
2002
15 years 6 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
153
click to vote
ENTCS
2002
15 years 6 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
163
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
Radiative perturbation theory is a computational technique which can greatly ease the burden of repeated solution of the radiative transfer equation for model atmospheres which di...
139
click to vote
EOR
2002
15 years 6 months ago
2002
It is argued that the cultural roots within Europe are powerful links and that there exist other regions as well, powerfully stamped by Indian, Chinese, Japanese, or Arabian and o...
189
click to vote
EOR
2002
15 years 6 months ago
2002
We present a genetic algorithm for heuristically solving a cost minimization problem applied to communication networks with threshold based discounting. The network model assumes t...