493 search results - page 33 / 99 » Alternating Weighted Automata |
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
This work derives and simulates two choice models applying the weighted utility theory, a generalization of the expected utility theory. It shows one set of assumptions, which jus...
EOR
2000
13 years 8 months ago
2000
In this paper, we present a model allowing to determine the weights related to interacting criteria. This is done on the basis of the knowledge of a partial ranking over a referen...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
ACL
2010
13 years 6 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...