Zobrazeno 1 - 10
of 2 414
pro vyhledávání: '"Jones, Simon P."'
Autor:
Jones, Simon, Hauert, Sabine
Building a distributed spatial awareness within a swarm of locally sensing and communicating robots enables new swarm algorithms. We use local observations by robots of each other and Gaussian Belief Propagation message passing combined with continuo
Externí odkaz:
http://arxiv.org/abs/2411.07056
Autor:
Abeywickrama, Dhaminda B., Lee, Suet, Bennett, Chris, Abu-Aisheh, Razanne, Didiot-Cook, Tom, Jones, Simon, Hauert, Sabine, Eder, Kerstin
Modelling and characterizing emergent behaviour within a swarm can pose significant challenges in terms of 'assurance'. Assurance tasks encompass adherence to standards, certification processes, and the execution of verification and validation (V&V)
Externí odkaz:
http://arxiv.org/abs/2407.15475
We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By parameterising our denotational interpreter over the semantic domain and then varying it, we recover
Externí odkaz:
http://arxiv.org/abs/2403.02778
Multi-robot platforms are playing an increasingly important role in warehouse automation for efficient goods transport. This paper proposes a novel customization of a multi-robot system, called Tactile Mobile Manipulators (TacMMs). Each TacMM integra
Externí odkaz:
http://arxiv.org/abs/2306.16783
Autor:
Jones, Simon Peyton, Graf, Sebastian
The trie data structure is a good choice for finite maps whose keys are data structures (trees) rather than atomic values. But what if we want the keys to be patterns, each of which matches many lookup keys? Efficient matching of this kind is well st
Externí odkaz:
http://arxiv.org/abs/2302.08775
Autor:
Shaikhha, Amir, Huot, Mathieu, Ghasemirad, Shabnam, Fitzgibbon, Andrew, Jones, Simon Peyton, Vytiniotis, Dimitrios
Automatic differentiation (AD) is a technique for computing the derivative of a function represented by a program. This technique is considered as the de-facto standard for computing the differentiation in many machine learning and optimisation softw
Externí odkaz:
http://arxiv.org/abs/2212.10307
We present DOTS, a new open access testbed for industrial swarm robotics experimentation. It consists of 20 fast agile robots with high sensing and computational performance, and real-world payload capability. They are housed in an arena equipped wit
Externí odkaz:
http://arxiv.org/abs/2203.13809
Autor:
Morales-Alvarez, Pablo, Gong, Wenbo, Lamb, Angus, Woodhead, Simon, Jones, Simon Peyton, Pawlowski, Nick, Allamanis, Miltiadis, Zhang, Cheng
Learning structures between groups of variables from data with missing values is an important task in the real world, yet difficult to solve. One typical scenario is discovering the structure among topics in the education domain to identify learning
Externí odkaz:
http://arxiv.org/abs/2110.08223
Autor:
Kim, Jooyeon, Lamb, Angus, Woodhead, Simon, Jones, Simon Peyton, Zheng, Cheng, Allamanis, Miltiadis
Graph representations of a target domain often project it to a set of entities (nodes) and their relations (edges). However, such projections often miss important and rich information. For example, in graph representations used in missing value imput
Externí odkaz:
http://arxiv.org/abs/2110.04866
In many applications one wants to identify identical subtrees of a program syntax tree. This identification should ideally be robust to alpha-renaming of the program, but no existing technique has been shown to achieve this with good efficiency (bett
Externí odkaz:
http://arxiv.org/abs/2105.02856