3119 search results - page 520 / 624 » General Default Logic |
134
click to vote
AISC
2010
Springer
15 years 4 months ago
2010
Springer
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
128
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
100
Voted
AAAI
2007
15 years 3 months ago
2007
Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...
127
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
107
Voted
ARGMAS
2008
Springer
15 years 3 months ago
2008
Springer
Norms represent what ought to be done, and their fulfillment can be seen as benefiting the overall system, society or organisation. However, individual agent goals (desire) may con...