6300 search results - page 321 / 1260 » We have it easy, but do we have it right |
101
click to vote
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes α-expansion moves and iterative refinement ove...
102
click to vote
AAMAS
2005
Springer
15 years 7 months ago
2005
Springer
We report on an investigation of the learning of coordination in cooperative multi-agent systems. Specifically, we study solutions that are applicable to independent agents i.e. ...
104
click to vote
FOSSACS
2003
Springer
15 years 7 months ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
128
click to vote
DEON
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...