Sciweavers

1466 search results - page 232 / 294
» Complexity of Reasoning over Temporal Data Models
Sort
View
ECCV
2004
Springer
15 years 11 months ago
Adaptive Probabilistic Visual Tracking with Incremental Subspace Update
Visual tracking, in essence, deals with non-stationary data streams that change over time. While most existing algorithms are able to track objects well in controlled environments,...
David A. Ross, Jongwoo Lim, Ming-Hsuan Yang
SLP
1994
77views more  SLP 1994»
14 years 11 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
DBSEC
2009
122views Database» more  DBSEC 2009»
14 years 11 months ago
An Approach to Security Policy Configuration Using Semantic Threat Graphs
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
Simon N. Foley, William M. Fitzgerald
AAAI
2007
15 years 3 days ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
ESIAT
2009
IEEE
14 years 7 months ago
Ocean Primary Production in China Shelf Sea Estimated with SeaWiFS and MODIS
Ocean primary production (OPP) is an important indicator of ocean ecological system. The spatial and temporal pattern of OPP is helpful for global climate change study. Remote sens...
Pifu Cong, Limei Qu, Zheng Niu