1523 search results - page 108 / 305 » Partially ordered secretaries |
82
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
101
Voted
SEFM
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
126
click to vote
WMP
2000
15 years 4 months ago
2000
This paper is an attempt to summarize the basic elements of the multiset theory. We begin by describing multisets and the operations between them, then we present hybrid sets and t...
97
Voted
WSC
2007
15 years 3 months ago
2007
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...
89
Voted
AAAI
2006
15 years 2 months ago
2006
Since the 1970s AI as a science has progressively fragmented into many activities that are very narrowly focused. It is not clear that work done within these fragments can be comb...