493 search results - page 33 / 99 » Alternating Weighted Automata |
112
click to vote
SEMWEB
2005
Springer
15 years 8 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...
106
click to vote
EOR
2000
15 years 2 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...
107
click to vote
ICALP
2004
Springer
15 years 8 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...
133
click to vote
ACL
2010
15 years 1 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 ...
158
click to vote
TACAS
2010
Springer
15 years 10 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...