2449 search results - page 192 / 490 » Tensor Embedding Methods |
154
Voted
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
157
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
145
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose a novel stochastic framework for unsupervised manifold learning. The latent variables are introduced, and the latent processes are assumed to characteriz...
176
Voted
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Nowadays, one of the main research issues of great interest is the efficient tracking of mobile objects that enables the effective answering of spatiotemporal queries. This line o...
124
Voted
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a new method for attaching data to digital audio-visual (AV) documents. Our method is steganographic, i.e., a secondary data stream is integrated or embedded into a giv...