- Avigad, J. and Harrison, J. Formally verified mathematics. Commun. ACM 57, 4 (Apr. 2014), 66--75. Google ScholarDigital Library
- Moe, N.B., Šmite, D., Hanssen, G.K., and Barney, H. From offshore outsourcing to insourcing and partnerships: Four failed outsourcing attempts. Empirical Software Engineering 19, 5 (Aug. 2014), 1225--1258. Google ScholarDigital Library
Index Terms
- Human or machine?
Recommendations
Human-machine co-intelligence through symbiosis in the SMV space
AbstractRecent years have witnessed a rapidly-growing research agenda that explores the combined, integrated, and collective intelligence of humans and machines working together as a team. This paper contributes to the same line of research with three ...
Evaluating human versus machine learning performance in classifying research abstracts
AbstractWe study whether humans or machine learning (ML) classification models are better at classifying scientific research abstracts according to a fixed set of discipline groups. We recruit both undergraduate and postgraduate assistants for this task ...
Human computing and machine understanding of human behavior: a survey
ICMI '06: Proceedings of the 8th international conference on Multimodal interfacesA widely accepted prediction is that computing will move to the background, weaving itself into the fabric of our everyday living spaces and projecting the human user into the foreground. If this prediction is to come true, then next generation ...
Comments