Results 1 to 10 of about 1,118 (132)
Weighted Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem.
Manfred Droste, George Rahonis
doaj +4 more sources
Pebble Weighted Automata and Weighted Logics [PDF]
ACM Transactions on Computational Logic, 2014 We introduce new classes of weighted automata on words. Equipped with pebbles, they go beyond the class of recognizable formal power series: they capture weighted first-order logic enriched with a quantitative version of transitive closure. In contrast to previous work, this calculus allows for unrestricted use of existential and universal ...
Benedikt Bollig, Benjamin Monmege
exaly +3 more sources
From Cookbooks to Networks: A Framework for Comparing Multiethnic Ingredient Systems in Transylvania [PDF]
FoodsCookbooks serve as structured records of both ingredient repertoires and the underlying processing logics that define a culture’s culinary identity. By modeling five Transylvanian ethnic traditions—Hungarian, Romanian, Transylvanian Saxon, Jewish, and ...
Zsolt Magyari-Sáska +2 more
doaj +2 more sources
Weighted tree automata and weighted logics
Theoretical Computer Science, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heiko Vogler
exaly +2 more sources
Architectures in parametric component-based systems: Qualitative and quantitative modelling [PDF]
Logical Methods in Computer Science, 2021 One of the key aspects in component-based design is specifying the software architecture that characterizes the topology and the permissible interactions of the components of a system.
Maria Pittou, George Rahonis
doaj +1 more source
Descriptive Complexity for Counting Complexity Classes [PDF]
Logical Methods in Computer Science, 2020 Descriptive Complexity has been very successful in characterizing complexity classes of decision problems in terms of the properties definable in some logics.
Marcelo Arenas +2 more
doaj +1 more source
Concurrent weighted logic [PDF]
Journal of Logical and Algebraic Methods in Programming, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kim G. Larsen +2 more
openaire +4 more sources
Assessment of Technical Condition of an Accumulator Common Rail Injector by Temperature of its Units
Communications, 2021 This paper presents a method for the vehicle speed estimation with a Fuzzy Logic based algorithm. The algorithm acquires the measurements of the yaw rate, steering angle, wheel velocities and exploits a set of five Fuzzy Logics dedicated to different ...
Ildar Gabitov +5 more
doaj +1 more source
Weighted Logics for Nested Words and Algebraic Formal Power Series [PDF]
Logical Methods in Computer Science, 2010 Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show
Christian Mathissen
doaj +1 more source
Weighted Automata and Weighted Logics [PDF]
Theoretical Computer Science, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Droste, Manfred, Gastin, Paul
openaire +3 more sources