2520 search results - page 272 / 504 » Model-checking behavioral programs |
160
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper a simple but effective approach for parallelization of cellular neural networks for image processing is developed. Digital gray-scale images were used to evaluate th...
161
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
We apply gene expression programing to evolve a player for a real-time strategy (RTS) video game. The paper describes the game, evolutionary encoding of strategies and the technica...
178
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Unambiguously, adaptive systems have to be evaluated empirically to guarantee that the adaptivity really works. Nevertheless, only few of the existing adaptive systems have been ev...
190
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
171
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...