Results 321 to 329 of about 842,589 (329)

Weighted Automata

2022
openaire   +1 more source

Weighted Timed Automata: Model-Checking and Games

Electronic Notes in Theoretical Computer Science, 2006
Patricia Bouyer
exaly  

Adding pebbles to weighted automata: Easy specification & efficient evaluation

Theoretical Computer Science, 2014
Paul Gastin, Benjamin Monmege
exaly  

Weighted automata and multi-valued logics over arbitrary bounded lattices

Theoretical Computer Science, 2012
Heiko Vogler
exaly  

Weighted register automata and weighted logic on data words

Theoretical Computer Science, 2018
Vitaly Perevoshchikov
exaly  

Weighted simple reset pushdown automata

Theoretical Computer Science, 2019
Sven Dziadek
exaly  

A Dual-Image Based Secured Reversible Data Hiding Scheme Exploiting Weighted Matrix and Cellular Automata

ASCAT
Kankana Datta, Som Banerjee, Biswapati Jana, M. Dalui   +3 more
semanticscholar   +1 more source

Weighted automata and weighted logics on infinite words

Russian Mathematics, 2010
exaly  

WEIGHTED AUTOMATA AND QUANTITATIVE LOGICS

Quantitative Logic and Soft Computing, 2012
openaire   +1 more source