Simon Thompson

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 40

Top Topics

Recursive Functions

Business Processes

Top Venues

Publications

Michael Free, Andrew Langworthy, Mary Dimitropoulaki, Simon Thompson
Towards Goal-Oriented Agents for Evolving Problems Observed via Conversation. CoRR (2024)
Yossra Zghal, Bálint Molnár, Simon Thompson
Business Processes and Patterns of Blockchain Technology. BLOCKCHAIN (2023)
Michael Free, Andrew Langworthy, Mary Dimitropoulaki, Simon Thompson
Towards Goal-Oriented Agents for Evolving Problems Observed via Conversation. SGAI Conf. (2023)
Arthur W. Toga, Mukta Phatak, Ioannis Pappas, Simon Thompson, Caitlin P. McHugh, Matthew H. S. Clement, Sarah Bauermeister, Tetsuyuki Maruyama, John Gallacher
The pursuit of approaches to federate data to accelerate Alzheimer's disease and related dementia research: GAAIN, DPUK, and ADDI. Frontiers Neuroinformatics 17 (2023)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. Log. Methods Comput. Sci. 19 (4) (2023)
Ayda Bransia, Bálint Molnár, Simon Thompson
Creating a Blockchain-Based Insurance Platform with Marlowe. BLOCKCHAIN (2023)
Robin Karlsson, David Robert Wong, Kazunari Kawabata, Simon Thompson, Naoki Sakai
Probabilistic Rainfall Estimation from Automotive Lidar. IV (2022)
Dániel Horpácsi, Péter Bereczky, Simon Thompson
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. CoRR (2022)
Simon Thompson, Dániel Horpácsi
Refactoring = Substitution + Rewriting. CoRR (2022)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A Model of Actors and Grey Failures. COORDINATION (2022)
Arun Ulahannan, Simon Thompson, Paul A. Jennings, Stewart A. Birrell
Using Glance Behaviour to Inform the Design of Adaptive HMI for Partially Automated Vehicles. IEEE Trans. Intell. Transp. Syst. 23 (5) (2022)
Neville A. Stanton, James W. H. Brown, Kirsten M. A. Revell, Jisun Kim, Joy Richardson, Pat Langdon, Mike D. Bradley, Nermin Caber, Lee Skrypchuk, Simon Thompson
OESDs in an on-road study of semi-automated vehicle to human driver handovers. Cogn. Technol. Work. 24 (2) (2022)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. CoRR (2022)
Samuel Dobbie, Huw Strafford, William Owen Pickrell, Beata Fonferko-Shadrach, Carys Jones, Ashley Akbari, Simon Thompson, Arron Lacey
Markup: A Web-Based Annotation Tool Powered by Active Learning. Frontiers Digit. Health 3 (2021)
Ali Boyali, Simon Thompson, David Robert Wong
Identification of Vehicle Dynamics Parameters Using Simulation-based Inference. CoRR (2021)
Robin Karlsson, David Robert Wong, Kazunari Kawabata, Simon Thompson, Naoki Sakai
Probabilistic Rainfall Estimation from Automotive Lidar. CoRR (2021)
Ali Boyali, Simon Thompson, David Robert Wong
Identification of Vehicle Dynamics Parameters Using Simulation-based Inference. IV Workshops (2021)
Robin Karlsson, David Robert Wong, Simon Thompson, Kazuya Takeda
Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision. ITSC (2021)
Robin Karlsson, David Robert Wong, Simon Thompson, Kazuya Takeda
Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision. CoRR (2021)
Sam Richardson, Yixie Shao, Dana Khartabil, Simon Thompson
Modelling Satellite Data for Automobile Insurance Risk. SGAI Conf. (2021)
Vijay John, Annamalai Lakshmanan, Ali Boyali, Simon Thompson, Seiichi Mita
Deep Fusion-based Visible and Thermal Camera Forecasting using Seq2Seq GAN. IV (2021)
Ali Boyali, Simon Thompson
Autonomous Parking by Successive Convexification and Compound State Triggers. ITSC (2020)
Vijay John, Ali Boyali, Simon Thompson, Annamalai Lakshmanan, Seiichi Mita
Visible and Thermal Camera-Based Jaywalking Estimation Using a Hierarchical Deep Learning Framework. ACCV Workshops (2020)
Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon Thompson
Validating Formal Semantics by Property-Based Cross-Testing. IFL (2020)
Patrizia Di Campli San Vito, Stephen A. Brewster, Frank E. Pollick, Simon Thompson, Lee Skrypchuk, Alexandros Mouzakitis
Purring Wheel: Thermal and Vibrotactile Notifications on the Steering Wheel. ICMI (2020)
Patrizia Di Campli San Vito, Edward Brown, Stephen A. Brewster, Frank E. Pollick, Simon Thompson, Lee Skrypchuk, Alexandros Mouzakitis
Haptic Feedback for the Transfer of Control in Autonomous Vehicles. AutomotiveUI (adjunct) (2020)
Jisun Kim, Kirsten Revell, Pat Langdon, Mike Bradley, Ioannis Politis, Simon Thompson, Lee Skrypchuk, Jim O.-Donoghue, Joy Richardson, Jed Clark, Aaron P. J. Roberts, Alex Mouzakitis, Neville A. Stanton
Drivers' Interaction with, and Perception Toward Semi-autonomous Vehicles in Naturalistic Settings. IHSI (2020)
Vijay John, Ali Boyali, Simon Thompson, Seiichi Mita
BVTNet: Multi-label Multi-class Fusion of Visible and Thermal Camera for Free Space and Pedestrian Segmentation. ICPR Workshops (6) (2020)
Ali Boyali, Simon Thompson
Autonomous Parking by Successive Convexification and Compound State Triggers. CoRR (2020)
Masashi Yokozuka, Shuji Oishi, Simon Thompson, Atsuhiko Banno
VITAMIN-E: VIsual Tracking and MappINg With Extremely Dense Feature Points. CVPR (2019)
Masashi Yokozuka, Shuji Oishi, Simon Thompson, Atsuhiko Banno
VITAMIN-E: VIsual Tracking And MappINg with Extremely Dense Feature Points. CoRR (2019)
Yusuke Muramatsu, Yuki Tsuji, Alexander Carballo, Simon Thompson, Hiroyuki Chishiro, Shinpei Kato
SECOND-DX: Single-model Multi-class Extension for Sparse 3D Object Detection. ITSC (2019)
Naohisa Hashimoto, Simon Thompson, Yusuke Takinami, Kazuhisa Mizushima, Takao Otsuka, Manabu Omae, Shin Kato
Introduction of Prototype of Remote Type Automated Vehicle System by using Communication between Operator and Vehicles in Real Environment. ITST (2018)
Simon Thompson, Yoshinari Omori, Tatsuya Komuro, Ken Okayama, Norihiko Kato, Hideyuki Tanaka
Simulation and Evaluation of LentiMark Markers for Accurate Pose Estimation. SMC (2018)
Simon Thompson, Masashi Yokozuka, Naohisa Hashimoto
Registration of Inconsistent Point Cloud Maps with Large Scale Persistent Features. ICINCO (2) (2018)
Simon Thompson
A General Method for Defining Objects by Recursion over Syntax. J. Univers. Comput. Sci. 23 (1) (2017)
Simon Thompson, Katy C. Noland, Manish Pindoria
Evaluation of required adjustments for HDR displays under domestic ambient conditions. ICCE-Berlin (2017)
Simon Thompson, Masashi Yokozuka, Naohisa Hashimoto, Osamu Matsumoto
Registration of Low Cost Maps within Large Scale MMS Maps. HPCC/SmartCity/DSS (2016)
Tim Borer, Andrew Cotton, Manish Pindoria, Simon Thompson
Approaches to high dynamic range video. DMIAF (2016)
Rui Wang, Biao Zeng, Simon Thompson
Audio-visual perception of Mandarin lexical tones in AX same-different judgment task. AVSP (2015)
Kerina H. Jones, David V. Ford, Chris Jones, Rohan Dsilva, Simon Thompson, Caroline J. Brooks, Martin L. Heaven, Daniel S. Thayer, Cynthia L. McNerney, Ronan A. Lyons
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 50 (2014)
Yuma Nihei, Takura Egawa, Ippei Samejima, Naotaka Hatao, Simon Thompson, Satoshi Kagami, Hiroshi Takemura, Hiroshi Mizoguchi
A method of localisation and multi-layered 2D mapping using selective update for particle filter. ROBIO (2014)
Simon Thompson
Building trustworthy refactoring tools. VPT@CAV (2013)
Simon Thompson, Satoshi Kagami
Evaluating 3D Polygon Maps for Mobile Robot Localisation. SMC (2013)
Simon Thompson, Satoshi Kagami, Masafumi Okajima
An Autonomous Mobile Inspection Robot for an Electric Power Sub-station. ICINCO (2) (2013)
Lisa A. Osborne, Hazel M. Lockhart-Jones, Rod M. Middleton, Simon Thompson, Inocencio D. C. Maramba, Kerina H. Jones, David V. Ford, J. Gareth Noble
Identifying and Addressing the Barriers to the Use of an Internet-Register for Multiple Sclerosis. Int. J. Heal. Inf. Syst. Informatics 8 (1) (2013)
Yoko Sasaki, Mitsutaka Kabasawa, Simon Thompson, Satoshi Kagami, Kyoichi Oro
Spherical microphone array for spatial sound localization for a mobile robot. IROS (2012)
Lisa A. Osborne, J. Gareth Noble, Hazel M. Lockhart-Jones, Rodden Middleton, Simon Thompson, Inocencio D. C. Maramba, Kerina H. Jones, David V. Ford
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 7 (3) (2012)
Simon Thompson, Satoshi Kagami, Masafumi Okajima
Selection of polygon sets for 6DOF localisation of autonomous vehicles. SMC (2011)
Yumiko Suzuki, Simon Thompson, Satoshi Kagami
Effectiveness Evaluation of Precomputation Search Using Steering Sets. J. Robotics Mechatronics 22 (1) (2010)
Yumiko Suzuki, Simon Thompson, Satoshi Kagami
Smooth Path Planning with Pedestrian Avoidance for Wheeled Robots. J. Robotics Mechatronics 22 (1) (2010)
Yumiko Suzuki, Simon Thompson, Satoshi Kagami
High-Speed Planning and Reducing Memory Usage of a Precomputed Search Tree Using Pruning. Adv. Robotics 24 (5-6) (2010)
Simon Thompson, Satoshi Kagami, Masafumi Okajima
Constrained 6DOF localisation for autonomous vehicles. SMC (2010)
Yoko Sasaki, Simon Thompson, Masahito Kaneyoshi, Satoshi Kagami
Map-generation and identification of multiple sound sources from robot in motion. IROS (2010)
Yumiko Suzuki, Simon Thompson, Satoshi Kagami
Smooth path planning with pedestrian avoidance for wheeled robots: Implementation and evaluation. ICARA (2009)
Yumiko Suzuki, Simon Thompson, Satoshi Kagami
Effectiveness evaluation of precomputation search using steering set. RO-MAN (2009)
Yumiko Suzuki, Simon Thompson, Satoshi Kagami
High-speed planning and reducing memory usage of a precomputed search tree using pruning. IROS (2009)
Satoshi Kagami, Simon Thompson, Yoko Sasaki, Hiroshi Mizoguchi, Tadashi Enomoto
2D sound source mapping from mobile robot using beamforming and particle filtering. ICASSP (2009)
Simon Thompson, Takehiro Horiuchi, Satoshi Kagami
A probabilistic model of human motion and navigation intent for mobile robot path planning. ICARA (2009)
Satoshi Kagami, Yoko Sasaki, Simon Thompson, Tomoaki Fujihara, Tadashi Enomoto, Hiroshi Mizoguchi
Loudness measurement of human utterance to a robot in noisy environment. HRI (2008)
Yoko Sasaki, Saori Masunaga, Simon Thompson, Satoshi Kagami, Hiroshi Mizoguchi
Sound Localization and Separation for Mobile Robot Tele-Operation by Tri-Concentric Microphone Array. J. Robotics Mechatronics 19 (3) (2007)
Satoshi Kagami, Simon Thompson, Yoko Sasaki, Yoshifumi Nishida, Hiroshi Mizoguchi, Tadashi Enomoto
"Calling from the other room" by Ceiling Ultrasonic Locator and Microphone Array. IROS (2007)
Simon Thompson, Satoshi Kagami, Yoko Sasaki, Yoshifumi Nishida, Tadashi Enomoto, Hiroshi Mizoguchi
Combining ubiquitous and on-board audio sensing for human-robot interaction. HRI (2007)
Masatomo Kanehara, Satoshi Kagami, James J. Kuffner, Simon Thompson, Hiroshi Mizoguchi
Path shortening and smoothing of grid-based path planning with consideration of obstacles. SMC (2007)
Takehiro Horiuchi, Simon Thompson, Satoshi Kagami, Yoshihiro Ehara
Pedestrian tracking from a mobile robot using a laser range finder. SMC (2007)
Satoshi Kagami, Simon Thompson, Yoshifumi Nishida, Tadashi Enomoto, Toshihiro Matsui
Home Robot Service by Ceiling Ultrasonic Locator and Microphone Array. ICRA (2006)
Simon Thompson, Satoshi Kagami, Yoshifumi Nishida
Human-Robot Interaction in a Ubiquitous House. VSMM (2006)
Simon Thompson, Satoshi Kagami, Koichi Nishiwaki
Localisation for Autonomous Humanoid Navigation. Humanoids (2006)
Simon Thompson, Satoshi Kagami
Continuous Curvature Trajectory Generation with Obstacle Avoidance for Car-Like Robots. CIMCA/IAWTIC (2005)
Satoshi Kagami, Koichi Nishiwaki, James J. Kuffner, Simon Thompson, Joel E. Chestnutt, Mike Stilman, Philipp Michel
Humanoid HRP2-DHRC for Autonomous and Interactive Behavior. ISRR (2005)
Simon Thompson, Satoshi Kagami
Humanoid robot localisation using stereo vision. Humanoids (2005)
Simon Thompson, Satoshi Kagami
Stereo vision and sonar sensor based view registration for 2.5 dimensional map generation. IROS (2004)
Craig Watman, David J. Austin, Nick Barnes, Gary Overett, Simon Thompson
Fast Sum of Absolute Differences Visual Landmark Detector. ICRA (2004)
Tracy Ross, Andrew J. May, Simon Thompson
The Use of Landmarks in Pedestrian Navigation Instructions and the Effects of Context. Mobile HCI (2004)
Simon Thompson, Satoshi Kagami
Stereo vision terrain modeling for non-planar mobile robot mapping and navigation. SMC (6) (2004)
Simon Thompson, Alexander Zelinsky
Accurate vision based position tracking between places in a topological map. CIRA (2003)
Simon Thompson, Alexander Zelinsky
Accurate Local Positioning using Visual Landmarks from a Panoramic Sensor. ICRA (2002)
Toshihiro Matsui, Hideki Asoh, Simon Thompson
Mobile robot localization using circular correlations of panoramic images. IROS (2000)
Simon Thompson
Functional programming: executable specifications and program transformations. IWSSD (1989)
Simon Thompson
Axiomatic Recursion Theory and the Continuous Functionals. J. Symb. Log. 50 (2) (1985)
Simon Thompson
Priority Arguments in the Continuous R. E. Degrees. J. Symb. Log. 50 (3) (1985)