116 search results - page 16 / 24 » Bisimulation for Neighbourhood Structures |
113
click to vote
CORR
2011
Springer
14 years 5 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
15 years 11 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
15 years 4 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
15 years 1 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
15 years 4 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...