1127 search results - page 71 / 226 » Theory Extension in ACL2(r) |
91
Voted
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
Computational evolutionary art has been an active practice for at least 20 years. Given the remarkable advances in that time in other realms of computing, including other forms of ...
76
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
109
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Two-player games of billiards, of the sort seen in recent Computer Olympiads held by the International Computer Games Association, are an emerging area with unique challenges for ...
102
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...
98
Voted
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
— One of the main obstacles facing the application of computational intelligence technologies in pattern recognition (and indeed in many other tasks) is that of dataset dimension...