1128 search results - page 135 / 226 » Little Engines of Proof |
105
click to vote
RE
2008
Springer
15 years 12 days ago
2008
Springer
Requirements interdependencies create technical dependencies among project members that generally belong to different functional groups in an organization, but who need to coordin...
132
click to vote
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Accurate software cost and schedule estimations are essential especially for large software projects. However, once the required efforts have been estimated, little is done to rec...
116
click to vote
ANTSW
2010
Springer
14 years 11 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
107
click to vote
UIST
2010
ACM
14 years 10 months ago
2010
ACM
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces. We focus on writing and editing, compl...
105
click to vote
UIST
2010
ACM
14 years 10 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...