11151 search results - page 1851 / 2231 » On the Complexity of Model Expansion |
185
click to vote
WINE
2009
Springer
16 years 1 months ago
2009
Springer
Congestion games are a fundamental and widely studied model for selfish allocation problems like routing and load balancing. An intrinsic property of these games is that players ...
196
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
160
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In large, collaborative, heterogeneous teams, team members often collect information that is useful to other members of the team. Recognizing the utility of such information and d...
177
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we studied the geometry of a three-dimensional tableau from a single realist painting – Scott Fraser’s Three way vanitas (2006). The tableau contains a carefully ...
181
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...