String (computer science)

About: String (computer science) is a research topic. Over the lifetime, 19430 publications have been published within this topic receiving 333247 citations. The topic is also known as: str & s.

Method and system for collation in a processing system of a variety of distinct sets of information

Abstract: According to the system and method disclosed herein, the present invention provides a system and method for organizing information to perform accurate and efficient collation for information such as languages of various nationalities and regions. This invention provides a number of improvements over the existing string comparison routines: portability, improved performance, ability to handle Unicode, and improved linguistic capability.

Quadratic Conditional Lower Bounds for String Problems and Dynamic Time Warping

Abstract: Classic similarity measures of strings are longest common subsequence and Levenshtein distance (i.e., the classic edit distance). A classic similarity measure of curves is dynamic time warping. These measures can be computed by simple $O(n^2)$ dynamic programming algorithms, and despite much effort no algorithms with significantly better running time are known. We prove that, even restricted to binary strings or one-dimensional curves, respectively, these measures do not have strongly subquadratic time algorithms, i.e., no algorithms with running time $O(n^{2-\varepsilon})$ for any $\varepsilon > 0$, unless the Strong Exponential Time Hypothesis fails. We generalize the result to edit distance for arbitrary fixed costs of the four operations (deletion in one of the two strings, matching, substitution), by identifying trivial cases that can be solved in constant time, and proving quadratic-time hardness on binary strings for all other cost choices. This improves and generalizes the known hardness result for Levenshtein distance [Backurs, Indyk STOC'15] by the restriction to binary strings and the generalization to arbitrary costs, and adds important problems to a recent line of research showing conditional lower bounds for a growing number of quadratic time problems. As our main technical contribution, we introduce a framework for proving quadratic-time hardness of similarity measures. To apply the framework it suffices to construct a single gadget, which encapsulates all the expressive power necessary to emulate a reduction from satisfiability. Finally, we prove quadratic-time hardness for longest palindromic subsequence and longest tandem subsequence via reductions from longest common subsequence, showing that conditional lower bounds based on the Strong Exponential Time Hypothesis also apply to string problems that are not necessarily similarity measures.

ExpansionTool: Concept-Based Query Expansion and Construction

Abstract: We develop a deductive data model for concept-based query expansion. It is based on three abstraction levels: the conceptual, linguistic and string levels. Concepts and relationships among them are represented at the conceptual level. The linguistic level gives natural language expressions for concepts. Each expression has one or more matching patterns at the string level. The models specify the matching of the expression in database indices built in varying ways. The data model supports a declarative concept-based query expansion and formulation tool, the ExpansionTool, for heterogeneous IR system environments. Conceptual expansion is implemented by a novel intelligent operator for traversing transitive relationships among cyclic concept networks. The number of expansion links followed, their types, and weights can be used to control expansion. A sample empirical experiment illustrating the use of the ExpansionTool in IR experiments is presented.

Robust local and string stability for a decentralized car following control strategy for connected automated vehicles

Abstract: This paper presents a robust car-following control strategy under uncertainty for connected and automated vehicles (CAVs). The proposed control is designed as a decentralized linear feedback and feedforward controller with a focus on robust local and string stability under (i) time-varying uncertain vehicle dynamics and (ii) time-varying uncertain communication delay. The former uncertainty is incorporated into the general longitudinal vehicle dynamics (GLVD) equation that regulates the difference between the desired acceleration (prescribed by the control model) and the actual acceleration by compensating for nonlinear vehicle dynamics (e.g., due to aerodynamic drag force). The latter uncertainty is incorporated into acceleration information received from the vehicle immediately ahead. As a primary contribution, this study derives and proves (i) a sufficient and necessary condition for local stability and (ii) sufficient conditions for robust string stability in the frequency domain using the Laplacian transformation. Simulation experiments verify the correctness of the mathematical proofs and demonstrate that the proposed control is effective for ensuring stability against uncertainties.