5639 search results - page 466 / 1128 » Timed Abstract Non-interference |
154
click to vote
NIPS
2008
15 years 6 months ago
2008
Abstract: Structure learning of dynamic Bayesian networks provide a principled mechanism for identifying conditional dependencies in time-series data. This learning procedure assum...
156
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
131
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: In this paper we present and discuss a new approach for securing multimedia communication, which is based on three innovations. The first innovation is the integration of...
162
click to vote
SCN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...
246
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
Abstract-- We present COLR-Tree, an abstraction layer designed to support efficient spatio-temporal queries on live data gathered from a large collection of sensors. We use COLR-Tr...