28962 search results - page 297 / 5793 » Computational Mechanism Design |
176
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
A significant focus in the United States recently has been to increase engagement and interest in STEM curricula, particularly among girls and underrepresented minorities [3]. In ...
188
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
Volunteer Computing (VC) is a paradigm that takes advantage of idle cycles from computing resources donated by volunteers and connected through the Internet to compute large-scale...
158
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
211
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
188
click to vote
WCC
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...