Sciweavers

3 search results - page 1 / 1
» Building Petri Nets from Video Event Ontologies
Sort
View
ISVC
2007
Springer
13 years 11 months ago
Building Petri Nets from Video Event Ontologies
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
Gal Lavee, Artyom Borzin, Ehud Rivlin, Michael Rud...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
13 years 10 months ago
Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
Wen-Yu Liu, Kwoting Fang
CCS
2001
ACM
13 years 9 months ago
Events in security protocols
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
Federico Crazzolara, Glynn Winskel