![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
128 Result(s)
-
Chapter and Conference Paper
Model Construction for Modal Clauses
We present deterministic model construction algorithms for sets of modal clauses saturated with respect to three refinements of the modal-layered resolution calculus implemented in the prover
-
Chapter and Conference Paper
Indigenous-Led Yarning Circles Using Live Miro Boards: Encouraging Critical and Inclusive Discourse on Cultural Heritage
This position paper describes and reflects on two years of an iterative process of introducing Indigenous ways of knowledge sharing known as yarning, combined with visual thinking, and design futuring methods [9]...
-
Chapter and Conference Paper
A Comparative Analysis of Evolutionary Adversarial One-Pixel Attacks
Adversarial attacks pose significant challenges to the robustness of machine learning models. This paper explores the one-pixel attacks in image classification, a black-box adversarial attack that introduces c...
-
Chapter and Conference Paper
Utilizing Natural Language Processing for Automated Assessment of Classroom Discussion
Rigorous and interactive class discussions that support students to engage in high-level thinking and reasoning are essential to learning and are a central component of most teaching interventions. However, fo...
-
Chapter and Conference Paper
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
We are interested in widening the reasoning support for propositional modal logics in the so-called modal cube. The modal cube consists of extensions of the basic modal logic
-
Chapter and Conference Paper
Dialogue Explanations for Rule-Based AI Systems
The need for AI systems to explain themselves is increasingly recognised as a priority, particularly in domains where incorrect decisions can result in harm and, in the worst cases, death. Explainable Artifici...
-
Chapter and Conference Paper
Adaptive Cognitive Agents: Updating Action Descriptions and Plans
In this paper we present an extension of Belief-Desire-Intention agents which can adapt their performance in response to changes in their environment. We consider situations in which the agent’s actions no lon...
-
Chapter and Conference Paper
Predicting Molecular Traits from Tissue Morphology Through Self-interactive Multi-instance Learning
Previous efforts to learn histology features that correlate with specific genetic/molecular traits resort to tile-level multi-instance learning (MIL) which relies on a fixed pretrained model for feature extrac...
-
Chapter and Conference Paper
Learning Interpretable Regularized Ordinal Models from 3D Mesh Data for Neurodegenerative Disease Staging
We extend the sparse, spatially piecewise-contiguous linear classification framework for mesh-based data to ordinal logistic regression. The algorithm is intended for use with subcortical shape and cortical th...
-
Chapter and Conference Paper
Multimodal-GuideNet: Gaze-Probe Bidirectional Guidance in Obstetric Ultrasound Scanning
Eye trackers can provide visual guidance to sonographers during ultrasound (US) scanning. Such guidance is potentially valuable for less experienced operators to improve their scanning skills on how to manipu...
-
Chapter and Conference Paper
Local Reductions for the Modal Cube
The modal logic \({\mathsf {K}}\) K is commonly used to rep...
-
Chapter and Conference Paper
Journal-First: Formal Modelling and Runtime Verification of Autonomous Gras** for Active Debris Removal
Verifying that autonomous space robotic software behaves correctly is crucial, particularly since such software is often mission-critical, that is, a software failure can lead to mission failure. In this paper...
-
Chapter and Conference Paper
Towards Unsupervised Ultrasound Video Clinical Quality Assessment with Multi-modality Data
Video quality assurance is an important topic in obstetric ultrasound imaging to ensure that captured videos are suitable for biometry and fetal health assessment. Previously, one successful objective approach...
-
Chapter and Conference Paper
Implementing Durative Actions with Failure Detection in Gwendolen
We present an extension of the semantics for action execution in the Gwendolen BDI programming language. This extension firstly explicitly assumes that actions have durations and, moreover, that the reasoning cyc...
-
Chapter and Conference Paper
Towards Scale and Position Invariant Task Classification Using Normalised Visual Scanpaths in Clinical Fetal Ultrasound
We present a method for classifying tasks in fetal ultrasound scans using the eye-tracking data of sonographers. The visual attention of a sonographer captured by eye-tracking data over time is defined by a sc...
-
Chapter and Conference Paper
Theorem Proving Using Clausal Resolution: From Past to Present
Modal and temporal logics are extensions to classical logic that have operators that deal with necessity and possibility (modal logics) and such as sometime, always and next (temporal logics). Models are sets ...
-
Chapter and Conference Paper
An Advert Creation System for 3D Product Placements
Over the past decade, the evolution of video-sharing platforms has attracted a significant amount of investments on contextual advertising. The common contextual advertising platforms utilize the information p...
-
Chapter and Conference Paper
Efficient Local Reductions to Basic Modal Logic
We present novel reductions of the propositional modal logics , , , ...
-
Chapter and Conference Paper
A Fairness Evaluation of Automated Methods for Scoring Text Evidence Usage in Writing
Automated Essay Scoring (AES) can reliably grade essays at scale and reduce human effort in both classroom and commercial settings. There are currently three dominant supervised learning paradigms for building...
-
Chapter and Conference Paper
Evaluation of a Permutation-Based Evolutionary Framework for Lyndon Factorizations
String factorization is an important tool for partitioning data for parallel processing and other algorithmic techniques often found in the context of big data applications such as bioinformatics or compressio...