1086 search results - page 24 / 218 » Event Structures with Symmetry |
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
MMM
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. Can we discover audio-visually consistent events from videos in a totally unsupervised manner? And, how to mine videos with different genres? In this paper we present our...
TSD
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we propose the codification of argument and event structures in wordnets, providing information on selection properties, semantic incorporation phenomena and internal...
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
IFM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...