4438 search results - page 180 / 888 » The Case for Collaborative Programming |
145
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
Machine learning of limit programs (i.e., programs allowed finitely many mind changes about their legitimate outputs) for computable functions is studied. Learning of iterated lim...
187
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
188
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
157
click to vote
ECSCW
2007
15 years 8 months ago
2007
In this paper we analyse an apparently simple collaborative activity, that of passing an implement from one person to another. The particular case we consider is surgical operation...
240
click to vote
DATAMINE
2010
15 years 3 months ago
2010
: In dyadic prediction, the input consists of a pair of items (a dyad), and the goal is to predict the value of an observation related to the dyad. Special cases of dyadic predicti...