Sciweavers

1466 search results - page 232 / 294
» Complexity of Reasoning over Temporal Data Models
Sort
View
138
Voted
ECCV
2004
Springer
16 years 5 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
128
Voted
SLP
1994
77views more  SLP 1994»
15 years 5 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
138
Voted
DBSEC
2009
122views Database» more  DBSEC 2009»
15 years 4 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
149
Voted
AAAI
2007
15 years 6 months 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
128
Voted
ESIAT
2009
IEEE
15 years 1 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