3552 search results - page 524 / 711 » Proof theory in the abstract |
158
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...
155
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
172
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
162
click to vote
BRAIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. By adopting neurological theories on the role of emotions and feelings, an agent model is introduced incorporating the reciprocal interaction between believing and feelin...
153
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...