373 search results - page 39 / 75 » Synthesis of Trigger Properties |
177
click to vote
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Infinitely divisible cascades (IDC) were first introduced in one dimension to provide multifractal time series to model the so-called intermittency phenomenon in hydrodynamical ...
167
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
146
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
155
click to vote
CLIMA
2010
15 years 7 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
178
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
A commonly used representation of a visual pattern is the set of marginal probability distributions of the output of a bank of filters (Gaussian, Laplacian, Gabor etc...). This re...