922 search results - page 112 / 185 » A generalization of the Lin-Zhao theorem |
SCALESPACE
2005
Springer
14 years 2 months ago
2005
Springer
This study is concerned with the uncertainty principles which are related to the Weyl-Heisenberg, the SIM(2) and the Affine groups. A general theorem which associates an uncertaint...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
CP
2003
Springer
14 years 2 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
ICDT
2003
ACM
14 years 2 months ago
2003
ACM
We state and solve the query reformulation problem for XML publishing in a general setting that allows mixed (XML and relational) storage for the proprietary data and exploits redu...
ISMVL
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...