20066 search results - page 322 / 4014 » T Spaces |
182
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
172
click to vote
ICDT
2005
ACM
16 years 9 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
156
click to vote
SCALESPACE
2005
Springer
16 years 8 days 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...
164
click to vote
SSS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
202
click to vote
WAIM
2005
Springer
16 years 8 days ago
2005
Springer
The Resource Space Model (RSM) is a semantic data model based on orthogonal classification semantics for effectively managing various resources in interconnection environment. In p...