7167 search results - page 712 / 1434 » Answer Set Programming |
163
click to vote
CEC
2005
IEEE
16 years 24 days ago
2005
IEEE
Abstract- We present experiments (co)evolving Go players based on artificial neural networks (ANNs) for a 5x5 board. ANN structure and weights are encoded in multi–chromosomal g...
179
click to vote
IPPS
2005
IEEE
16 years 23 days ago
2005
IEEE
High-performance computing is and has always been performance oriented. However, a consequence of the push towards maximum performance is increased energy consumption, especially ...
193
click to vote
RTA
2005
Springer
16 years 19 days ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
195
click to vote
PLDI
2004
ACM
16 years 18 days ago
2004
ACM
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
158
click to vote
KBSE
2003
IEEE
16 years 13 days ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...