Searched for: subject%3A%22Computation%255C%2Btheory%22
(1 - 10 of 10)
document
Masin, M. (author), Palumbo, F. (author), Adriaanse, J. (author), Myrhaug, H. (author), Regazzoni, F. (author), Sanchez, M. (author), Zedda, K. (author)
Technical Requirements (TRs) provide a “black box” conceptualization of the target project results with explicit verification tests. The goal of Technical Requirements Elicitation (TRE) is to ensure that all needs of involved stakeholders are being identified and adequately addressed without prescribing how to achieve them. Whilst TRE...
conference paper 2019
document
Sileno, G. (author), Boer, A. (author), van Engers, T. (author)
conference paper 2019
document
Schouten, D.G.M. (author), Venneker, F. (author), Bosse, T. (author), Neerincx, M.A. (author), Cremers, A.H.M. (author)
In this study, we investigate if a digital coach for low-literate learners that provides cognitive learning support based on scaffolding can be improved by adding affective learning support based on motivational interviewing, and social learning support based on small talk. Several knowledge gaps are identified: motivational interviewing and...
article 2018
document
Kaptein, F. (author), Broekens, J. (author), Hindriks, K. (author), Neerincx, M.A. (author)
Artificial Intelligence (AI) systems, including intelligent agents, are becoming increasingly complex. Explainable AI (XAI) is the capability of these systems to explain their behaviour, in a for humans understandable manner. Cognitive agents, a type of intelligent agents, typically explain their actions with their beliefs and desires. However,...
conference paper 2018
document
de Greeff, J. (author), Hayes, B. (author), Gombolay, M. (author), Johnson, M. (author), Neerincx, M.A. (author), van Diggelen, J. (author), Cefkin, M. (author), Kruijff-Korbayová, I. (author)
As robots that share working and living environments with humans proliferate, human-robot teamwork (HRT) is becoming more relevant every day. By necessity, these HRT dynamics develop over time, as HRT can hardly happen only in the moment. What theories, algorithms, tools, computational models and design methodologies enable effective and safe...
conference paper 2018
document
van den Berg, T. (author), Siegel, B. (author), Cramp, A. (author)
NATO and the nations use distributed simulation environments for various purposes, such as training, mission rehearsal, and decision support in acquisition processes. Consequently, modeling and simulation (M&S) has become a critical technology for the coalition and its nations. Achieving interoperability between participating simulation systems...
article 2017
document
Blanson Henkemans, O.A. (author), van Empelen, P. (author), Paradies, G.L. (author), Looije, R. (author), Neerincx, M.A. (author)
Despite its acknowledged benefits for health promotion, the full potential of persuasive technology is not (yet) reached in regard to usability, effectiveness, and reproducibility. It often lacks an effective combination of technical features and behavior change strategies. This paper presents a multidisciplinary approach, addressing both...
conference paper 2015
document
Janssen, G.M.C.M. (author), Valstar, J.R. (author), van der Zee, S.E.A.T.M. (author), TNO Bouw en Ondergrond (author)
Traveltime determinations have found increasing application in the characterization of groundwater systems. No algorithms are available, however, to optimally design sampling strategies including this information type. We propose a first-order methodology to include groundwater age or tracer arrival time determinations in measurement network...
article 2008
document
TNO Defensie en Veiligheid (author), Toet, A. (author), Kooi, F.L. (author), Kuijper, F.L. (author), Smeenk, R.J.M. (author)
Synthetic imagery used for training and evaluating visual search and detection tasks should result in the same observer performance as obtained in the field. The generation of synthetic imagery generally involves a range of computational approximations and simplifications of the physical processes involved in the image formation, in order to...
conference paper 2005
document
Toet, A. (author), Hogervorst, M.A. (author)
We applied a recently introduced universal image quality index Q that quantifies the distortion of a processed image relative to its original version, to assess the performance of different graylevel image fusion schemes. The method is as follows. First, we adopt an original test image as the reference image. Second, we produce several distorted...
conference paper 2003
Searched for: subject%3A%22Computation%255C%2Btheory%22
(1 - 10 of 10)