440 search results - page 62 / 88 » Local reasoning for abstraction and sharing |
120
click to vote
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
153
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
139
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
189
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
Abstract-- We introduce the novel notion of explanationbased diversification to address the well-known problem of overspecialization in item recommendations. Over-specialization in...