Sciweavers

3047 search results - page 57 / 610
» A Temporal Consensus Model
Sort
View
DEXAW
1999
IEEE
108views Database» more  DEXAW 1999»
15 years 2 months ago
Towards a Model for Spatio-Temporal Schema Selection
Schema versioning provides a mechanism for handling change in the structure of database systems and has been investigated widely, both in the context of static and temporal databa...
John F. Roddick, Fabio Grandi, Federica Mandreoli,...
ICAIL
2007
ACM
15 years 1 months ago
Variants of temporal defeasible logics for modelling norm modifications
This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for ...
Guido Governatori, Antonino Rotolo, Régis R...
ECAI
2010
Springer
14 years 11 months ago
Parallel Model Checking for Temporal Epistemic Logic
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
COMPSAC
2002
IEEE
15 years 2 months ago
Hybrid Role Hierarchy for Generalized Temporal Role Based Access Control Model
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...
James Joshi, Elisa Bertino, Arif Ghafoor
ICCV
2011
IEEE
13 years 9 months ago
Modeling Temporal Coherence for Optical Flow
Despite the fact that temporal coherence is undeniably one of the key aspects when processing video data, this concept has hardly been exploited in recent optical flow methods. I...
Sebastian Volz, Andres Bruhn, Levi Valgaerts, Henn...