373 search results - page 39 / 75 » Synthesis of Trigger Properties |
ICIP
2005
IEEE
14 years 3 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 ...
ICCAD
1997
IEEE
14 years 2 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...
ATVA
2008
Springer
13 years 12 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...
CLIMA
2010
13 years 11 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...
ICCV
2003
IEEE
14 years 12 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...