4328 search results - page 208 / 866 » A New Kind of Science |
179
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
184
click to vote
AIM
2005
15 years 6 months ago
2005
If it is true that good problems produce good science, then it will be worthwhile to identify good problems, and even more worthwhile to discover the attributes that make them goo...
205
click to vote
GVD
2009
15 years 4 months ago
2009
Over the last years the means to collect personal data implicitly or explicitly over the Web and by various kinds of sensors and to combine data for profiling individuals has dram...
165
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
"Computer Science (CS) Unplugged"is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use o...
149
click to vote
CSCW
2006
ACM
16 years 20 days ago
2006
ACM
Despite their rapid proliferation, there has been little examination of the coordination and social practices of cyberinfrastructure projects. We use the notion of "human inf...