Sciweavers

438 search results - page 36 / 88
» Temporized and Localized Rule Sets
Sort
View
CVPR
2012
IEEE
11 years 10 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»
14 years 1 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»
13 years 7 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»
14 years 8 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»
13 years 7 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...