Simon Thompson

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
The pursuit of approaches to federate data to accelerate Alzheimer's disease and related dementia research: GAAIN, DPUK, and ADDI.
Frontiers Neuroinformatics, March, 2023

A model of actors and grey failures.
Log. Methods Comput. Sci., 2023

Towards Goal-Oriented Agents for Evolving Problems Observed via Conversation.
Proceedings of the Artificial Intelligence XL, 2023

Business Processes and Patterns of Blockchain Technology.
Proceedings of the Blockchain and Applications, 5th International Congress, 2023

Creating a Blockchain-Based Insurance Platform with Marlowe.
Proceedings of the Blockchain and Applications, 5th International Congress, 2023

2022
Using Glance Behaviour to Inform the Design of Adaptive HMI for Partially Automated Vehicles.
IEEE Trans. Intell. Transp. Syst., 2022

OESDs in an on-road study of semi-automated vehicle to human driver handovers.
Cogn. Technol. Work., 2022

Probabilistic Rainfall Estimation from Automotive Lidar.
Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2021
Markup: A Web-Based Annotation Tool Powered by Active Learning.
Frontiers Digit. Health, 2021

Modelling Satellite Data for Automobile Insurance Risk.
Proceedings of the Artificial Intelligence XXXVIII, 2021

Deep Fusion-based Visible and Thermal Camera Forecasting using Seq2Seq GAN.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Identification of Vehicle Dynamics Parameters Using Simulation-based Inference.
Proceedings of the IEEE Intelligent Vehicles Symposium Workshops, 2021

Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

2020
Autonomous Parking by Successive Convexification and Compound State Triggers.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Drivers' Interaction with, and Perception Toward Semi-autonomous Vehicles in Naturalistic Settings.
Proceedings of the Intelligent Human Systems Integration 2020, 2020

BVTNet: Multi-label Multi-class Fusion of Visible and Thermal Camera for Free Space and Pedestrian Segmentation.
Proceedings of the Pattern Recognition. ICPR International Workshops and Challenges, 2020

Purring Wheel: Thermal and Vibrotactile Notifications on the Steering Wheel.
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

Haptic Feedback for the Transfer of Control in Autonomous Vehicles.
Proceedings of the Adjunct Proceedings of the 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2020

Visible and Thermal Camera-Based Jaywalking Estimation Using a Hierarchical Deep Learning Framework.
Proceedings of the Computer Vision - ACCV 2020 Workshops - 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30, 2020

2019
SECOND-DX: Single-model Multi-class Extension for Sparse 3D Object Detection.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

VITAMIN-E: VIsual Tracking and MappINg With Extremely Dense Feature Points.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018
Simulation and Evaluation of LentiMark Markers for Accurate Pose Estimation.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Introduction of Prototype of Remote Type Automated Vehicle System by using Communication between Operator and Vehicles in Real Environment.
Proceedings of the 16th International Conference on Intelligent Transportation Systems Telecommunications, 2018

Registration of Inconsistent Point Cloud Maps with Large Scale Persistent Features.
Proceedings of the 15th International Conference on Informatics in Control, 2018

2017
A General Method for Defining Objects by Recursion over Syntax.
J. Univers. Comput. Sci., 2017

Evaluation of required adjustments for HDR displays under domestic ambient conditions.
Proceedings of the 7th IEEE International Conference on Consumer Electronics - Berlin, 2017

2016
Making Property-Based Testing Easier to Read for Humans.
Comput. Informatics, 2016

Registration of Low Cost Maps within Large Scale MMS Maps.
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016

Approaches to high dynamic range video.
Proceedings of the Digital Media Industry & Academic Forum, 2016

2015
Audio-visual perception of Mandarin lexical tones in AX same-different judgment task.
Proceedings of the Auditory-Visual Speech Processing, 2015

2014
A case study of the Secure Anonymous Information Linkage (SAIL) Gateway: A privacy-protecting remote access system for health-related research and evaluation.
J. Biomed. Informatics, 2014

A method of localisation and multi-layered 2D mapping using selective update for particle filter.
Proceedings of the 2014 IEEE International Conference on Robotics and Biomimetics, 2014

Extended Abstract: Getting Engaged.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013
Identifying and Addressing the Barriers to the Use of an Internet-Register for Multiple Sclerosis.
Int. J. Heal. Inf. Syst. Informatics, 2013

Evaluating 3D Polygon Maps for Mobile Robot Localisation.
Proceedings of the IEEE International Conference on Systems, 2013

An Autonomous Mobile Inspection Robot for an Electric Power Sub-station.
Proceedings of the ICINCO 2013 - Proceedings of the 10th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Reykjavík, Iceland, 29, 2013

Building trustworthy refactoring tools.
Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2012
Sources of Discovery, Reasons for Registration, and Expectations of an Internet-Based Register for Multiple Sclerosis: Visualisations and Explorations of Word Uses and Contexts.
Int. J. Heal. Inf. Syst. Informatics, 2012

Spherical microphone array for spatial sound localization for a mobile robot.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

2011
Selection of polygon sets for 6DOF localisation of autonomous vehicles.
Proceedings of the IEEE International Conference on Systems, 2011

2010
Effectiveness Evaluation of Precomputation Search Using Steering Sets.
J. Robotics Mechatronics, 2010

Smooth Path Planning with Pedestrian Avoidance for Wheeled Robots.
J. Robotics Mechatronics, 2010

High-Speed Planning and Reducing Memory Usage of a Precomputed Search Tree Using Pruning.
Adv. Robotics, 2010

Constrained 6DOF localisation for autonomous vehicles.
Proceedings of the IEEE International Conference on Systems, 2010

Map-generation and identification of multiple sound sources from robot in motion.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

2009
Effectiveness evaluation of precomputation search using steering set.
Proceedings of the 18th IEEE International Symposium on Robot and Human Interactive Communication, 2009

2D sound source mapping from mobile robot using beamforming and particle filtering.
Proceedings of the IEEE International Conference on Acoustics, 2009

A probabilistic model of human motion and navigation intent for mobile robot path planning.
Proceedings of the 4th International Conference on Autonomous Robots and Agents, 2009

Smooth path planning with pedestrian avoidance for wheeled robots: Implementation and evaluation.
Proceedings of the 4th International Conference on Autonomous Robots and Agents, 2009

Erlang Programming - A Concurrent Approach to Software Development.
O'Reilly, ISBN: 978-0-596-51818-9, 2009

2008
Loudness measurement of human utterance to a robot in noisy environment.
Proceedings of the 3rd ACM/IEEE international conference on Human robot interaction, 2008

2007
Sound Localization and Separation for Mobile Robot Tele-Operation by Tri-Concentric Microphone Array.
J. Robotics Mechatronics, 2007

Path shortening and smoothing of grid-based path planning with consideration of obstacles.
Proceedings of the IEEE International Conference on Systems, 2007

Pedestrian tracking from a mobile robot using a laser range finder.
Proceedings of the IEEE International Conference on Systems, 2007

"Calling from the other room" by Ceiling Ultrasonic Locator and Microphone Array.
Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Combining ubiquitous and on-board audio sensing for human-robot interaction.
Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, 2007

2006
Human-Robot Interaction in a Ubiquitous House.
Proceedings of the Interactive Technologies and Sociotechnical Systems, 2006

Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

Localisation for Autonomous Humanoid Navigation.
Proceedings of the 2006 6th IEEE-RAS International Conference on Humanoid Robots, 2006

2005
Humanoid HRP2-DHRC for Autonomous and Interactive Behavior.
Proceedings of the Robotics Research: Results of the 12th International Symposium, 2005

Humanoid robot localisation using stereo vision.
Proceedings of the 5th IEEE-RAS International Conference on Humanoid Robots, 2005

Continuous Curvature Trajectory Generation with Obstacle Avoidance for Car-Like Robots.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

2004
Stereo vision terrain modeling for non-planar mobile robot mapping and navigation.
Proceedings of the IEEE International Conference on Systems, 2004

The Use of Landmarks in Pedestrian Navigation Instructions and the Effects of Context.
Proceedings of the Mobile Human-Computer Interaction, 2004

Stereo vision and sonar sensor based view registration for 2.5 dimensional map generation.
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

Fast Sum of Absolute Differences Visual Landmark Detector.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

2003
Accurate vision based position tracking between places in a topological map.
Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Computational Intelligence in Robotics and Automation for the New Millennium, 2003

2002
Accurate Local Positioning using Visual Landmarks from a Panoramic Sensor.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2000
Mobile robot localization using circular correlations of panoramic images.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

1996
Haskell - the craft of functional programming.
International computer science series, Addison-Wesley, ISBN: 978-0-201-40357-2, 1996

1995
Miranda - the craft of functional programming.
Addison-Wesley, ISBN: 978-0-201-42279-5, 1995

1991
Type theory and functional programming.
International computer science series, Addison-Wesley, ISBN: 978-0-201-41667-1, 1991

1989
Functional programming: executable specifications and program transformations.
Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1985
Priority Arguments in the Continuous R. E. Degrees.
J. Symb. Log., 1985

Axiomatic Recursion Theory and the Continuous Functionals.
J. Symb. Log., 1985


  Loading...