835 search results - page 33 / 167 » An algorithmic approach to event summarization |
ESANN
2008
14 years 11 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...
105
click to vote
ASM
2010
ASM
15 years 1 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
As high-speed networks have proliferated across the globe, their topologies have become sparser due to the increased capacity of communication media and cost considerations. Relia...
166
click to vote
TASE
2012
IEEE
13 years 5 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
89
Voted
TCSV
2010
14 years 4 months ago
2010
This paper presents a novel approach for automatic recognition of group activities for video surveillance applications. We propose to use a group representative to handle the recog...