Failure to recognize 1) the existence of different types of human knowledge used in systems, 2) the ways this knowledge can be represented in the system, and 3) the knowledge elicitation techniques appropriate to elicit that knowledge, can result in what is known as "representational mismatch" ...
Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the thirteenth in the series, focuses on the principles and practice of...
3. What are the types of AI? Artificial intelligence (AI) can be classified into three categories: Artificial Narrow Intelligence (ANI), which is designed to perform a single task; Artificial General Intelligence (AGI), which would have the capability to understand, learn, and apply knowledge ...
Similarly to this, we structured the survey using focused lenses in a manner that corresponds with the topics of thematic interviews. Elicitation interview here refers to specific techniques in which the informants are repeatedly asked to focus on the same particular experience of their past. At ...
This article details an empirical study on requirement elicitation for a digital companion, underpinned by argumentation, to support behavioral change and foster healthy habits. Prototypes were developed to aid the study, which encompassed non-expert users and health experts. User motivation and ...
After purification the circular double-stranded DNA plasmids are ready for vaccination. The de novo production of the encoded antigens in the host results in the elicitation of both the antibody and the cellular response by activating cytotoxic T lymphocytes (CTLs). Vaccine proteins made by the ...
between Business Requirements and the various classes of solution requirements. They are gathered from stakeholders as described in the Requirements Elicitation KA and documented using the techniques described in the Requirements Analysis and Documentation KA. ...
Cite this paper Fleischmann, A., Schmidt, W., Stary, C. (2014). Tangible or Not Tangible – A Comparative Study of Interaction Types for Process Modeling Support. In: Kurosu, M. (eds) Human-Computer Interaction. Advanced Interaction Modalities and Techniques. HCI 2014. Lecture Notes in Comp...
To test for the same level of elicitation of peak emotion, we compared the chills measure in the chills group and tears measure in the tears group. Furthermore, we examined whether the pre-experiment baseline of physiological activities between groups was the same or not. For the main ...
Together these data supported the hypothesis that ALM-mediated initiation of goal-directed licking behavior is necessary for the elicitation of cortex-wide activity in superficial neuropil. Although this silencing experiment revealed the necessity of ALM for producing widespread task-related signals in ...