1615 search results - page 160 / 323 » Computer science and decision theory |
119
click to vote
SOUPS
2009
ACM
15 years 7 months ago
2009
ACM
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
71
Voted
LATA
2009
Springer
15 years 7 months ago
2009
Springer
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
111
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
110
click to vote
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
103
Voted
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
As defined by Aumann in 1959, a strong equilibrium is a Nash equilibrium that is resilient to deviations by coalitions. We give tight bounds on the strong price of anarchy for loa...