6355 search results - page 1257 / 1271 » From Logic to Games |
105
Voted
ENTCS
2006
15 years 1 months ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
120
Voted
INTEGRATION
2006
15 years 1 months ago
2006
In the context of physical synthesis, large-scale standard-cell placement algorithms must facilitate incremental changes to layout, both local and global. In particular, flexible ...
114
click to vote
IOR
2006
15 years 1 months ago
2006
Mixed-Integer Programs (MIP's) involving logical implications modelled through big-M coefficients, are notoriously among the hardest to solve. In this paper we propose and an...
120
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This is a programmatic paper, marking out two directions in which the study of social media can contribute to broader problems of social science: understanding cultural evolution ...
148
click to vote
CSI
2007
15 years 1 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...