Prefix

Falsification of LTL Safety Properties in Hybrid Systems

Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi

Citations: 54 • 2009

Self-Delimiting Neural Networks

Juergen Schmidhuber

Citations: 22 • 2012

Parallel Dynamics Computation Using Prefix Sum Operations

Yajue Yang, Yuanqing Wu, Jia Pan

Citations: 16 • 2017

An anti-collision algorithm for RFID-based robots based on dynamic grouping binary trees

Yin Zhang⋆, Fan Yang, Qian Wang, Qianlin He, Jiacheng Li

Citations: 11 • 2017

Comparative Study of Truncating and Statistical Stemming Algorithms

Sanaullah Memon, Ghulam Ali, Kareema Memon, AG Shaikh, Sunny K.Aasoori, Faheem Ul

Citations: 9 • 2020

Self-Delimiting Neural Networks

Jürgen Schmidhuber

Citations: 5 • 2012

Exploring and Improving the Spatial Reasoning Abilities of Large Language Models

M. Sharma

Citations: 2 • 2023