116 search results - page 14 / 24 » Bisimulation for Neighbourhood Structures |
122
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...
149
click to vote
JLP
2007
15 years 5 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
132
click to vote
IJFCS
2006
15 years 5 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
138
Voted
BMVC
2010
15 years 3 months ago
2010
In this paper we address the problem of recognising interactions between two people in realistic scenarios for video retrieval purposes. We develop a per-person descriptor that us...
148
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...