10870 search results - page 1846 / 2174 » Model Checking Programs |
231
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
164
click to vote
TSP
2008
15 years 6 months ago
2008
The problem of opportunistic access of parallel channels occupied by primary users is considered. Under a continuous-time Markov chain modeling of the channel occupancy by the prim...
181
click to vote
CCE
2004
15 years 6 months ago
2004
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...
110
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
174
click to vote
PC
2002
15 years 6 months ago
2002
This paper presents a solution to the open problem of finding the optimal tile size to minimise the execution time of a parallelogram-shaped iteration space on a distributed memory...