Results 251 to 259 of about 1,522 (259)

Characterizing weighted MSO for trees by branching transitive closure logics

Theoretical Computer Science, 2015
Zoltan Fülöp, Heiko Vogler
exaly  

Weighted automata and logics for infinite nested words

Information and Computation, 2017
exaly  

Boolean Weighting in Possibilistic Logic

Didier Dubois, Henri Prade
openaire   +1 more source

Weighted automata and weighted logics on infinite words

Russian Mathematics, 2010
exaly  

Weighted adders with selector logics for super-resolution and its FPGA-based evaluation

2012
Nozomu Togawa
exaly  

The Logic of Weighted Queries

IEEE Transactions on Systems, Man, and Cybernetics, 1981
openaire   +1 more source

A Nivat theorem for weighted picture automata and weighted MSO logics

Journal of Computer and System Sciences, 2019
exaly  

A new methodology for fuzzy control based on weighted fuzzy logics

Shyi-Ming Chen
exaly  

Weighted Temporal Logic.

openaire