7988 search results - page 1246 / 1598 » A Useful Undecidable Theory |
211
click to vote
CEC
2009
IEEE
16 years 10 days ago
2009
IEEE
— We study the evolution of cooperation using the Prisoner’s Dilemma as a metaphor of the tensions between cooperators and non-cooperators, and evolutionary game theory as the ...
225
click to vote
COMPGEOM
2009
ACM
16 years 9 days ago
2009
ACM
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...
232
click to vote
COMPGEOM
2009
ACM
16 years 9 days ago
2009
ACM
We present a new (1 + ε)-spanner for sets of n points in Rd . Our spanner has size O(n/εd−1 ) and maximum degree O(logd n). The main advantage of our spanner is that it can be...
178
click to vote
HPCC
2009
Springer
16 years 7 days ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
198
click to vote
PPDP
2009
Springer
16 years 5 days ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...