Sciweavers

438 search results - page 36 / 88
» Temporized and Localized Rule Sets
Sort
View
CVPR
2012
IEEE
13 years 8 months ago
Nonparametric discovery of activity patterns from video collections
We propose a nonparametric framework based on the beta process for discovering temporal patterns within a heterogenous video collection. Starting from quantized local motion descr...
Michael C. Hughes, Erik B. Sudderth
TACAS
2004
Springer
135views Algorithms» more  TACAS 2004»
15 years 11 months ago
Liveness with Incomprehensible Ranking
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
INFORMATICALT
1998
91views more  INFORMATICALT 1998»
15 years 5 months ago
Forecasting Automation: an Emerging Branch of Forecasting Engineering
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
Andrey Kharchenko
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
16 years 6 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
CVIU
2007
158views more  CVIU 2007»
15 years 6 months ago
Local velocity-adapted motion events for spatio-temporal recognition
In this paper, we address the problem of motion recognition using event-based local motion representations. We assume that similar patterns of motion contain similar events with c...
Ivan Laptev, Barbara Caputo, Christian Schüld...