![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Voice-Assisted Food Recall Using Voice Assistants
In this paper, we design a voice-assisted food recall tool that can be implemented on voice assistants of smart speakers and smartphones, enabling frequent, quick, and real-time self-administered food recall. ...
-
Chapter and Conference Paper
Usability Assessment of the **aoAi Touch Screen Speaker
With the development of modern economy and technology, people's living standards are constantly improving, and more intelligent products have come into people's vision. People's requirements for product availa...
-
Chapter and Conference Paper
ROBO-GUIDE: Towards Safe, Reliable, Trustworthy, and Natural Behaviours in Robotic Assistants
In this paper we describe a novel scenario, whereby an assistive robot is required to use a lift, and results from a preliminary investigation into floor determination using readily-available information. The ...
-
Chapter and Conference Paper
A Study of Automatic Speech Recognition in Noisy Classroom Environments for Automated Dialog Analysis
The development of large-scale automatic classroom dialog analysis systems requires accurate speech-to-text translation. A variety of automatic speech recognition (ASR) engines were evaluated for this purpose....
-
Chapter and Conference Paper
General Overview of ImageCLEF at the CLEF 2015 Labs
This paper presents an overview of the ImageCLEF 2015 evaluation campaign, an event that was organized as part of the CLEF labs 2015. ImageCLEF is an ongoing initiative that promotes the evaluation of technolo...
-
Chapter and Conference Paper
Opponent Modeling for Virtual Human Negotiators
Negotiation is a challenging domain for virtual human research. One aspect of this problem, known as opponent modeling, is discovering what the other party wants from the negotiation. Research in automated negoti...
-
Chapter and Conference Paper
Agent-Oriented Programming Languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based Applications
Develo** behaviours for complex component based systems is a difficult task. This paper evaluates the use of agent-oriented programming languages as a high level abstraction for performing this task. Evaluat...
-
Chapter and Conference Paper
Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking
We present a SMT-based bounded model checking (BMC) method for weighted interpreted systems (i.e. interpreted systems in which every agent includes a weight function that associates with each local action a we...
-
Chapter and Conference Paper
Supporting Human-Robot Teams in Space Missions Using ePartners and Formal Abstraction Hierarchies
Human space flight is a prototypical example of a complex, dynamic, and safety-critical domain in which missions are performed by collaborative teams of humans and technical systems. In such domains, intellige...
-
Chapter and Conference Paper
Supervised Learning for the Neurosurgery Intensive Care Unit Using Single-Layer Perceptron Classifiers
In the continuing goal to merge the fields of computational neuroscience with medical based neurodiagnostic clinical research this paper presents advancements on machine learning Big Electroencephalogram (EEG)...
-
Chapter and Conference Paper
Are Some Brain Injury Patients Improving More Than Others?
Predicting the evolution of individuals is a rather new mining task with applications in medicine. Medical researchers are interested in the progress of a disease and in the evolution of individuals subjected ...
-
Chapter and Conference Paper
A Reliability Analysis Technique for Estimating Sequentially Coordinated Multirobot Mission Performance
This paper presents a quantifiable method by which the behaviors of robots, as determined by their performance in a cyber-physical context, can be captured and generalized so that accurate predictions of seque...
-
Chapter and Conference Paper
Interactive Event: Enabling Vocabulary Acquisition while Providing Mobile Communication Support
We have developed an adaptive communication support tool that also supports vocabulary acquisition. This tool is called VocabNomad; it is one of the few mobile assisted language learning tools that aims to sup...
-
Chapter and Conference Paper
Process Mining in Healthcare: Data Challenges When Answering Frequently Posed Questions
In hospitals, huge amounts of data are recorded concerning the diagnosis and treatments of patients. Process mining can exploit such data and provide an accurate view on healthcare processes and show how they ...
-
Chapter and Conference Paper
Analyzing Deceptive Speech
This current work explored the speech-based attributes of participants who were being deceptive in an experimental interrogation setting. In particular, the study attempted to investigate the appropriateness o...
-
Chapter and Conference Paper
Learner Differences and Hint Content
Because feedback affects learning, it is central to many educational technologies. We analyze properties of hint feedback in an intelligent tutoring system for high school geometry. First, we examine whether f...
-
Chapter and Conference Paper
Towards an Understanding of Affect and Knowledge from Student Interaction with an Intelligent Tutoring System
Csikszentmihalyi’s Flow theory states that a balance between challenge and skill leads to high engagement, overwhelming challenge leads to anxiety or frustration, and insufficient challenge leads to boredom. I...
-
Chapter and Conference Paper
SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic
We present a SAT-based bounded model checking (BMC) method for the weighted interpreted systems (i.e. interpreted systems augmented to include a weight function, one per each agent, that associates weights with a...
-
Chapter and Conference Paper
A DE Based Variable Iterated Greedy Algorithm for the No-Idle Permutation Flowshop Scheduling Problem with Total Flowtime Criterion
In this paper, we present a variable iterated greedy (vIGP_DE) algorithm where its parameters (basically destruction size and cooling parameter for the simulated annealing type of acceptance criterion) are opt...
-
Chapter and Conference Paper
Scalable Analysis for Large Social Networks: The Data-Aware Mean-Field Approach
Studies on social networks have proved that endogenous and exogenous factors influence dynamics. Two streams of modeling exist on explaining the dynamics of social networks: 1) models predicting links through ...