Sciweavers

2223 search results - page 77 / 445
» Events in Property Patterns
Sort
View
FLAIRS
2003
14 years 11 months ago
Optimal Approach for Temporal Patterns Discovery
This paper presents new technique for discovering temporal patterns when considered primitives are intervals. Apriori technique is the most used one to deal with temporal patterns...
Khellaf Bouandas, Aomar Osmani
CORR
2010
Springer
141views Education» more  CORR 2010»
14 years 7 months ago
Modeling Dynamical Influence in Human Interaction Patterns
We present a new way for modeling 1) social influence and 2) the well-observed property of social influence
Wei Pan, Manuel Cebrián, Wen Dong, Taemie K...
LICS
2003
IEEE
15 years 3 months ago
Model-checking Trace Event Structures
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...
P. Madhusudan
ICLP
1997
Springer
15 years 1 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
MMS
2006
14 years 9 months ago
Information assimilation framework for event detection in multimedia surveillance systems
Most multimedia surveillance and monitoring systems nowadays utilize multiple types of sensors to detect events of interest as and when they occur in the environment. However, due...
Pradeep K. Atrey, Mohan S. Kankanhalli, Ramesh Jai...