Skip to main content

Showing 1–5 of 5 results for author: Gal, J

Searching in archive cs. Search in all archives.
.
  1. arXiv:2310.05766  [pdf, other

    cs.RO

    FeatSense -- A Feature-based Registration Algorithm with GPU-accelerated TSDF-Map** Backend for NVIDIA Jetson Boards

    Authors: Julian Gaal, Thomas Wiemann, Alexander Mock, Mario Porrmann

    Abstract: This paper presents FeatSense, a feature-based GPU-accelerated SLAM system for high resolution LiDARs, combined with a map generation algorithm for real-time generation of large Truncated Signed Distance Fields (TSDFs) on embedded hardware. FeatSense uses LiDAR point cloud features for odometry estimation and point cloud registration. The registered point clouds are integrated into a global Trunca… ▽ More

    Submitted 9 October, 2023; originally announced October 2023.

  2. arXiv:2304.06313  [pdf, other

    cs.CR

    Majority is not Needed: A Counterstrategy to Selfish Mining

    Authors: Jonathan Gal, Maytal B Szabo

    Abstract: In the last few years several papers investigated selfish mine attacks, most of which assumed that every miner that is not part of the selfish mine pool will continue to mine honestly. However, in reality, remaining honest is not always incentivized, particularly when another pool is employing selfish mining or other deviant strategies. In this work we explore the scenario in which a large enough… ▽ More

    Submitted 13 April, 2023; originally announced April 2023.

  3. arXiv:2206.04218  [pdf, other

    cs.AR

    AritPIM: High-Throughput In-Memory Arithmetic

    Authors: Orian Leitersdorf, Dean Leitersdorf, Jonathan Gal, Mor Dahan, Ronny Ronen, Shahar Kvatinsky

    Abstract: Digital processing-in-memory (PIM) architectures are rapidly emerging to overcome the memory-wall bottleneck by integrating logic within memory elements. Such architectures provide vast computational power within the memory itself in the form of parallel bitwise logic operations. We develop novel algorithmic techniques for PIM that, combined with new perspectives on computer arithmetic, extend thi… ▽ More

    Submitted 15 April, 2023; v1 submitted 8 June, 2022; originally announced June 2022.

    Comments: Accepted to IEEE Transactions on Emerging Topics in Computing (TETC)

  4. arXiv:1904.13324  [pdf, other

    cs.AI cs.RO

    Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations

    Authors: Ozan Arkan Can, Pedro Zuidberg Dos Martires, Andreas Persson, Julian Gaal, Amy Loutfi, Luc De Raedt, Deniz Yuret, Alessandro Saffiotti

    Abstract: Human-robot interaction often occurs in the form of instructions given from a human to a robot. For a robot to successfully follow instructions, a common representation of the world and objects in it should be shared between humans and the robot so that the instructions can be grounded. Achieving this representation can be done via learning, where both the world representation and the language gro… ▽ More

    Submitted 30 April, 2019; originally announced April 2019.

  5. arXiv:1308.0689  [pdf, ps, other

    cs.LO cs.AI cs.PL

    Measure Transformer Semantics for Bayesian Machine Learning

    Authors: Johannes Borgström, Andrew D Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael

    Abstract: The Bayesian approach to machine learning amounts to computing posterior distributions of random variables from a probabilistic model of how the variables are related (that is, a prior distribution) and a set of observations of variables. There is a trend in machine learning towards expressing Bayesian models as probabilistic programs. As a foundation for this kind of programming, we propose a cor… ▽ More

    Submitted 23 September, 2013; v1 submitted 3 August, 2013; originally announced August 2013.

    Comments: An abridged version of this paper appears in the proceedings of the 20th European Symposium on Programming (ESOP'11), part of ETAPS 2011

    Journal ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 9, 2013) lmcs:815