English
Related papers

Related papers: Algorithms for weighted multi-tape automata

200 papers

We introduce a fast, high-precision algorithm for calculating intersections between great circle arcs and lines of constant latitude on the unit sphere. We first propose a simplified intersection point formula with improved speed and…

Numerical Analysis · Mathematics 2025-10-14 Hongyu Chen , Paul A. Ullrich , Julian Panetta

We present a frame interpolation algorithm that synthesizes multiple intermediate frames from two input images with large in-between motion. Recent methods use multiple networks to estimate optical flow or depth and a separate network…

Computer Vision and Pattern Recognition · Computer Science 2022-07-19 Fitsum Reda , Janne Kontkanen , Eric Tabellion , Deqing Sun , Caroline Pantofaru , Brian Curless

In this paper we propose a novel approach to multi-action recognition that performs joint segmentation and classification. This approach models each action using a Gaussian mixture using robust low-dimensional action features. Segmentation…

Computer Vision and Pattern Recognition · Computer Science 2015-02-09 Johanna Carvajal , Conrad Sanderson , Chris McCool , Brian C. Lovell

We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the $\pi$-calculus. The…

Logic in Computer Science · Computer Science 2017-04-18 Ugo Dal Lago , Ryo Tanaka , Akira Yoshimizu

Understanding actions within surgical workflows is critical for evaluating post-operative outcomes and enhancing surgical training and efficiency. Capturing and analyzing long sequences of actions in surgical settings is challenging due to…

Computer Vision and Pattern Recognition · Computer Science 2025-06-12 Rezowan Shuvo , M S Mekala , Eyad Elyan

Realignment operation has a significant role in detecting bound as well as free entanglement. Just like partial transposition, it is also based on permutations of the matrix elements. However, the physical implementation of realignment…

Quantum Physics · Physics 2024-06-19 Shruti Aggarwal , Satyabrata Adhikari

We present a multi-task learning approach to jointly estimate the means of multiple independent data sets. The proposed multi-task averaging (MTA) algorithm results in a convex combination of the single-task maximum likelihood estimates. We…

Machine Learning · Statistics 2015-03-19 Sergey Feldman , Bela A. Frigyik , Maya R. Gupta

We study \emph{multiplicity equivalence} testing of automata over partially commutative monoids (pc monoids) and show efficient algorithms in special cases, exploiting the structure of the underlying non-commutation graph of the monoid.…

Formal Languages and Automata Theory · Computer Science 2020-06-02 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

An algorithm for the estimation of multiple targets from partial and corrupted observations is introduced based on the concept of partially-distinguishable multi-target system. It combines the advantages of engineering solutions like MHT…

Probability · Mathematics 2017-12-05 J. Houssineau , D. E. Clark

Multi-stage sensing is a novel concept that refers to a general class of spectrum sensing algorithms that divide the sensing process into a number of sequential stages. The number of sensing stages and the sensing technique per stage can be…

Performance · Computer Science 2012-08-30 Wesam Gabran , Przemysław Pawełczak , Danijela Čabrić

Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined over such models implicitly assume perfect knowledge of the…

Systems and Control · Computer Science 2013-08-27 Alberto Casagrande , Tommaso Dreossi , Carla Piazza

We present a braided circuit topology framework for investigating topology and structural phase transitions in aggregates of semiflexible polymers. In the conventional approach to circuit topology, which specifically applies to single…

Soft Condensed Matter · Physics 2024-02-27 Jonas Berx , Alireza Mashaghi

1-way quantum finite state automata are reversible in nature, which greatly reduces its accepting property. In fact, the set of languages accepted by 1-way quantum finite automata is a proper subset of regular languages. We introduce 2-tape…

Formal Languages and Automata Theory · Computer Science 2016-07-05 Debayan Ganguly , Kumar Sankar Ray

To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an…

Geometric Topology · Mathematics 2014-07-25 Benjamin A. Burton , William Pettersson

Video frame interpolation methodologies endeavor to create novel frames betwixt extant ones, with the intent of augmenting the video's frame frequency. However, current methods are prone to image blurring and spurious artifacts in…

Computer Vision and Pattern Recognition · Computer Science 2024-02-06 Pengfei Han , Fuhua Zhang , Bin Zhao , Xuelong Li

Glushkov's construction has many interesting properties and they become even more evident when applied to transducers. This article strives to show the wast range of possible extensions and optimisations for this algorithm. Special flavour…

Formal Languages and Automata Theory · Computer Science 2020-09-23 Aleksander Mendoza-Drosik

Millimeter-wave (mmw) radar is indispensable for Intelligent Transportation Systems (ITS), which can monitor traffic conditions in all weathers. An end-to-end simulation method for mmw radar monitoring and identification at traffic…

Signal Processing · Electrical Eng. & Systems 2022-08-30 Ming Zong , Zhanyu Zhu

The transducer architecture is becoming increasingly popular in the field of speech recognition, because it is naturally streaming as well as high in accuracy. One of the drawbacks of transducer is that it is difficult to decode in a fast…

Audio and Speech Processing · Electrical Eng. & Systems 2022-11-02 Wei Kang , Liyong Guo , Fangjun Kuang , Long Lin , Mingshuang Luo , Zengwei Yao , Xiaoyu Yang , Piotr Żelasko , Daniel Povey

We present a novel algorithm for reciprocal collision avoidance between heterogeneous agents of different shapes and sizes. We present a novel CTMAT representation based on medial axis transform to compute a tight fitting bounding shape for…

Artificial Intelligence · Computer Science 2018-04-10 Yuexin Ma , Dinesh Manocha , Wenping Wang

Massive MTC support is an important future market segment, but not yet efficiently supported in cellular systems. In this paper we follow-up on recent concepts combining advanced MAC protocols with Compressed Sensing (CS) based multiuser…

Information Theory · Computer Science 2017-07-04 Gerhard Wunder , Cedomir Stefanovic , Petar Popovski , Lars Thiele
‹ Prev 1 4 5 6 7 8 10 Next ›