116 search results - page 14 / 24 » Bisimulation for Neighbourhood Structures |
80
Voted
ICTAC
2005
Springer
15 years 5 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...
100
click to vote
JLP
2007
14 years 11 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...
82
Voted
IJFCS
2006
14 years 11 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...
87
Voted
BMVC
2010
14 years 9 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...
87
Voted
ICALP
2005
Springer
15 years 5 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...