861 search results - page 172 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
As a learning method support vector machine is regarded as one of the best classifiers with a strong mathematical foundation. On the other hand, evolutionary computational techniq...
ACMMSP
2005
ACM
14 years 1 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
CIKM
2005
Springer
14 years 29 days ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...
CCS
2005
ACM
14 years 26 days ago
2005
ACM
Large-scale attacks, such as those launched by worms and zombie farms, pose a serious threat to our network-centric society. Existing approaches such as software patches are simpl...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In repeated games with incomplete information, rational agents must carefully weigh the tradeoffs of advantageously exploiting their information to achieve a short-term gain versu...