116 search results - page 16 / 24 » Bisimulation for Neighbourhood Structures |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
This paper presents a novel approach for detecting affine invariant interest points. Our method can deal with significant affine transformations including large scale changes. Such...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
In this study, we investigate self-organizing social hierarchies in multi-agent systems. Agents occupy the nodes of a smallworld network and interact exclusively with other agents...
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...