4067 search results - page 276 / 814 » Programs for Applying Symmetries |
182
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
172
click to vote
PROCOMET
1998
15 years 8 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
192
click to vote
ICGA
2008
15 years 6 months ago
2008
Recently, Monte-Carlo Tree Search (MCTS) has become a popular approach for intelligent play in games. Amongst others, it is successfully used in most state-of-the-art Go programs....
154
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...