12741 search results - page 2206 / 2549 » Editorial and call for papers |
169
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
180
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...
175
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present our ideas for an Arimaa-playing program (also called a bot) that uses plans and pattern matching to guide a highly selective search. We restrict move gener...
193
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...
184
click to vote
WASA
2009
Springer
16 years 1 months ago
2009
Springer
Social network popularity continues to rise as they broaden out to more users. Hidden away within these social networks is a valuable set of data that outlines everyone’s relatio...